什么是std::decay ?什么时候应该使用它?

std::decay存在的原因是什么? 在什么情况下std::decay是有用的?< / p >

64312 次浏览

在处理接受模板类型形参的模板函数时,通常使用通用形参。通用形参几乎总是这样或那样的引用。它们也是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";
}

http://coliru.stacked-crooked.com/a/8cbd0119a28a18bd

它显然是用来将放射性std::atomic类型衰变为非放射性类型的。

N2609是提出std::decay的论文。论文解释道:

简单地说,decay<T>::type是标识类型转换except 如果T是数组类型或函数类型的引用。在那些 在decay<T>::type产生指针或指向函数的指针的情况下, 分别。< / p >

激励的例子是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还解包了__abc2。