decay-copy

template< class T > typename std::decay<T>::type decay-copy( T&& value ); // 仅用于阐述		(C++11 起) (C++20 前)
template< class T > requires std::convertible_to<T, std::decay_t<T>> constexpr std::decay_t<T> decay-copy( T&& value ) // 仅用于阐述 noexcept(std::is_nothrow_convertible_v<T, std::decay_t<T>>);		(C++20 起)

返回（隐式转换到退化后类型的）std::forward<T>(value)，它是 value 退化后的纯右值副本。

value

-

要复制的值

value 退化后的副本，它是纯右值。

decay-copy 由 LWG 问题 929 的解决方案引入。它首先用于并发支持库以确保实参在按值传递时会退化，后续用于范围库。

C++23 中引入的语言特性 auto(x) 同样允许创建作为纯右值的退化后副本。两者唯一的区别是 decay-copy 始终会实质化 value 并产生副本，而 auto(expr) 在 expr 是纯右值时不会进行任何操作。

从 C++23 开始，标准库中除 views::all、ranges::take_view 和 ranges::drop_view 以外所有用到 decay-copy 的地方（见下文）都替换成了 auto(x)。

下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。

缺陷报告	应用于	出版时的行为	正确行为
LWG 3724	C++20	`decay-copy` 没有受到约束	补充约束

(构造函数)	构造新的 `thread` 对象 (`std::thread` 的公开成员函数)
(构造函数)	创建新的 `jthread` 对象 (`std::jthread` 的公开成员函数)
async (C++11)	异步运行一个函数（有可能在新线程中执行），并返回保有它的结果的 std::future (函数模板)
ranges::begin (C++20)	返回指向范围起始的迭代器 (定制点对象)
ranges::end (C++20)	返回指示范围结尾的哨位 (定制点对象)
ranges::rbegin (C++20)	返回指向范围的逆向迭代器 (定制点对象)
ranges::rend (C++20)	返回指向范围的逆向尾迭代器 (定制点对象)
ranges::size (C++20)	返回等于范围大小的整数 (定制点对象)
ranges::data (C++20)	获得指向连续范围的起始的指针 (定制点对象)
views::all_tviews::all (C++20)	包含 `range` 的所有元素的 `view` (别名模板) (范围适配器对象)
ranges::take_viewviews::take (C++20)	由另一 `view` 的前 N 个元素组成的 `view` (类模板) (范围适配器对象)
ranges::drop_viewviews::drop (C++20)	由另一 `view` 跳过首 N 个元素组成的 `view` (类模板) (范围适配器对象)

仅用于阐述的实体
*decay-copy* (C++11)
synth-three-waysynth-three-way-result (C++20)(C++20)