std::decay存在的原因是什么？
std::decay在什么情况下有用？
【问题讨论】：
decay_t<decltype(...)> 是一个不错的组合，看看auto 会得出什么结论。
标签： c++ c++11 standard-library
在处理采用模板类型参数的模板函数时，您通常具有通用参数。通用参数几乎总是一种或另一种引用。它们也是 const-volatile 合格的。因此，大多数类型特征并不像您期望的那样对它们起作用：
template<class T>
void func(T&& param) {
if (std::is_same<T,int>::value)
std::cout << "param is an int\n";
else
std::cout << "param is not an int\n";
}
int main() {
int three = 3;
func(three); //prints "param is not an int"!!!!
}
http://coliru.stacked-crooked.com/a/24476e60bd906bed
这里的解决方法是使用std::decay:
template<class T>
void func(T&& param) {
if (std::is_same<typename std::decay<T>::type,int>::value)
std::cout << "param is an int\n";
else
std::cout << "param is not an int\n";
}
【讨论】：
decay 非常具有攻击性，例如如果应用于对数组的引用，它会产生一个指针。对于这种元编程恕我直言，它通常过于激进。
remove_const_t< remove_reference_t<T> >，可能包含在自定义元函数中。
int、const int、int&、const int&、int&&、const int&&、volatile int、volatile int&、volatile int&&等都是不同的。
std::atomic类型衰变为非放射性类型。
N2609 是提出std::decay 的论文。论文解释：
简单地说，
decay<T>::type是身份类型转换，除了 如果 T 是数组类型或对函数类型的引用。在那些 在decay<T>::type产生一个指针或指向函数的指针的情况下， 分别。
激励的例子是 C++03 std::make_pair:
template <class T1, class T2>
inline pair<T1,T2> make_pair(T1 x, T2 y)
{
return pair<T1,T2>(x, y);
}
通过值接受其参数以使字符串文字起作用：
std::pair<std::string, int> p = make_pair("foo", 0);
如果它通过引用接受了它的参数，那么T1将被推断为一个数组类型，然后构造一个pair<T1, T2>将是错误的。
但显然这会导致显着的低效率。因此需要decay，应用在按值传递时发生的一组转换，让您获得通过引用获取参数的效率，但仍然获得您的代码使用所需的类型转换字符串字面量、数组类型、函数类型等：
template <class T1, class T2>
inline pair< typename decay<T1>::type, typename decay<T2>::type >
make_pair(T1&& x, T2&& y)
{
return pair< typename decay<T1>::type,
typename decay<T2>::type >(std::forward<T1>(x),
std::forward<T2>(y));
}
注意：这不是实际的 C++11 make_pair 实现 - C++11 make_pair 也解开 std::reference_wrappers。
【讨论】：