c++11 类型的转换的traits

最新推荐文章于 2025-02-11 23:26:53 发布

metarun

最新推荐文章于 2025-02-11 23:26:53 发布

阅读量243

点赞数

CC 4.0 BY-SA版权

分类专栏： C++11

本文链接：https://blog.youkuaiyun.com/ffmemcpy/article/details/105991293

C++11 专栏收录该内容

21 篇文章

订阅专栏

本文深入探讨了C++中的类型特质，包括移除和添加const、引用、指针，以及处理数组和函数的规则。通过实例展示了如何使用remove_const、add_const、remove_reference等模板结构来操作类型，同时解释了decay在不同场景下的应用。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

template<class T>

struct remove_const; 移除const

template<class T>

struct add_const; 添加const

template<class T>

struct remove_reference; 移除引用

template<class T>

struct add_lvalue_reference; 添加左值引用

template<class T>

struct add_rvalue_reference; 添加右值引用

template<class T>

struct remove_extent; 移除数组顶层的维度

template<class T>

struct remove_all_extent; 移除数组所有的维度

template<class T>

struct remove_pointer; 移除指针

template<class T>

struct add_pointer; 添加指针

template<class T>

struct decay; 移除cv（const volatile）或添加指针

template<class T>

struct common_type; 获取公共类型

使用如下：

cout << is_same<int, remove_reference<int&>::type>::value << endl; //1
cout << is_same<int, remove_reference<int&&>::type>::value << endl; //1

cout << is_same<int, remove_extent<int[]>::type>::value << endl; //1
 cout << is_same<int[2], remove_extent<int[][2]>::type>::value << endl; //1
 cout << is_same<int[2][3], remove_extent<int[][2][3]>::type>::value << endl; //1
 cout << is_same<int, remove_all_extents<int[][2][3]>::type>::value << endl; //1

typedef common_type<unsigned char, short, int>::type NumberType;
cout << is_same<int, NumberType>::value << endl; //1

template<typename T>
typename remove_cv<typename remove_reference<T>::type>::type* Create()
{
typedef typename remove_cv<typename remove_reference<T>::type>::type U;
return new U();
}

或

template<typename T>
typename decay<T>::type* Create()
{
typedef typename decay<T>::type U;
return new U();
}

int* p = Create<const volatile int&>(); //ok

对于普通类型，decay是移除引用和cv符，除了普通类型，decay还可以用于数组和函数，具体规则如下：

先移除T类型的引用，得到类型U，U定义为remove_reference<T>::type

如果is_array::value为true，修改类型type为remove_extent::type

否则，如果is_function::value为true，修改类型type为add_pointer::type

否则，修改类型type为remove_cv::type