C++11之后的decltype类型指示符-创新互联
- 一、什么是decltype类型指示符
- 二、typeid运算符
- 三、使用decltype指示符
- 四、decltype和引用
- 五、decltype(auto)
- 六、本章代码汇总
有时会遇到这种情况：希望从表达式的类型推断出要定义的变量的类型，但是不想用该表达式的值初始化变量。为了满足这一要求，C++11 新标准引入了另一种类型说明符 decltype ，它的作用是选择并返回操作数的数据类型。在此过程中，编译器分析表达式并得到它的类型，却并不实际计算表达式的值。
decltype(f()) sum = x; // sum 的类型就是函数f的返回类型编译器并不实际调用函数f，而是使用当调用发生时f的返回值类型作为sum的类型。换句话说，编译器为sum指定的类型是什么呢？就是假如f被调用的话将会返回的那个类型。
二、typeid运算符C++标准提供了一个typeid运算符来获取与目标操作数类型有关的信息。获取的类型信息会包含在一个类型为std::type_info的对象里。我们可以调用成员函数name获取其类型名，例如：
#includeusing namespace std;
templateauto sum(T1 t1, T2 t2) ->decltype(t1 + t2)
{
return t1 + t2;
}
int main()
{
auto s1 = sum(2, 3);
cout<< "sum(2, 3)="<< s1<< endl;
cout<< "s1 type: "<< typeid(s1).name()<< endl;
auto s2 = sum(2.0, 3.0);
cout<< "sum(2.0, 3.0)="<< s2<< endl;
cout<< "s2 type: "<< typeid(s2).name()<< endl;
return 0;
} 
值得注意的是，成员函数name返回的类型名在C++标准中并没有明确的规范，所以输出的类型名会因编译器而异。比如，MSVC会输出一个符合程序员阅读习惯的名称，而GCC则会输出一个它自定义的名称。
另外，还有3点也需要注意。
typeid的返回值是一个左值，且其生命周期一直被扩展到程序生命周期结束。
typeid返回的std::type_info删除了复制构造函数，若想
保存std::type_info，只能获取其引用或者指针，例如：auto t1 = typeid(int); // 编译失败，没有复制构造函数无法编译 auto &t2 = typeid(int); // 编译成功，t2推导为const std::type_info& auto t3 = &typeid(int); // 编译成功，t3推导为const std::type_info*typeid的返回值总是忽略类型的 cv 限定符，也就是
typeid(const T)== typeid(T))
gcc的扩展中还提供了一个名为typeof的运算符，它可以在编译期就获取操作数的具体类型，但typeof并不是C++ 标准。typeid可以获取类型信息并帮助我们判断类型之间的关系，但遗憾的是，它并不能像typeof那样在编译期就确定对象类型。
三、使用decltype指示符常规用法如下：
int x1 = 0;
decltype(x1) x2 = 0;
std::cout<< typeid(x2).name()<< std::endl; // x2的类型为int
double x3 = 0;
decltype(x1 + x3) x4 = x1 + x3;
std::cout<< typeid(x4).name()<< std::endl; // x1+x3的类型为double
decltype({1, 2}) x5; // 编译失败，{1, 2}不是表达式形参列表中也可以使用：
int x1 = 0;
decltype(x1) sum(decltype(x1) a1, decltype(a1) a2)
{
return a1 + a2;
}
auto x2 = sum(5, 10);decltype在尾置返回类型时有着很大用处，例如：
templateauto sum(T1 t1, T2 t2) ->decltype(t1 + t2)
{
return t1 + t2;
} 需要说明的是，上述用法只推荐在C++11标准的编译环境中使用，因为C++14标准已经支持对auto声明的返回类型进行推导了，所以以上代码可以简化为：
#includeusing namespace std;
templateauto sum(T1 t1, T2 t2)
{
return t1 + t2;
}
int main()
{
auto res = sum(1, 2.0);
cout<< "res="<< res<< endl;
cout<< "res type: "<< typeid(res).name()<< endl;
return 0;
} 
那既然在C++14 标准中decltype的作用又被auto代替了，是否从C++14标准以后decltype就没有用武之地了呢？并不是这样的，auto作为返回类型的占位符还存在一些问题，请看下面的例子：
templateauto return_ref(T& t)
{
return t;
}
int x = 0;
cout<< "x is reference value: "<< std::is_reference_v<< endl; 在上面的代码中，我们期望return_ref返回的是一个T的引用类型，但是如果编译此段代码，会发现auto被推导为值类型。如果想正确地返回引用类型，则需要用到decltype说明符，例如：
templateauto return_ref(T& t) ->decltype(t)
{
return t;
} 以上两段代码几乎相同，只是在return_ref函数的尾部用decltype(t)声明了返回类型。
当然了，还有一种方法也可以，使用 auto& ：
templateauto& return_ref1(T& t)
{
return t;
} 如果 decltype 使用的表达式不是一个变量，则 decltype 返回表达式结果对应的类型。有些表达式将向 decltype 返回一个引用类型。一般当这种情况发生时，意味着该表达式的结果对象能作为一条赋值语句的左值：
int i = 42, *p = &i, &r = i;
decltype(r + 0) b; // 正确，加法的结果是int，因此b是一个（未初始化的）int
decltype(*p) c; // 错误，c是int&， 必须初始化如果表达式的内容是解引用操作，则decltype将得到引用类型，所以decltype(*p)的结果类型是int&，而非int。
decltype 和 auto 的重要区别是，decltype 的结果类型与表达式形式密切相关。有一种情况需要特别注意：对于 decltype 来说，如果变量名加上了一对括号，则得到的类型与不加括号时会有所不同。不加括号的话，得到的结果就是该变量的类型。如果给变量加上了一层或多层括号，编译器就会把它当成是一个表达式。变量是一种可以作为赋值语句左值的特殊表达式，所以这样的decltype就会得到引用类型：
decltype((i)) d; // 错误，d是int&，必须初始化
decltype(i) e; // 正确，e是一个未初始化的int总结就是：
- decltype((val)) 的结果永远是引用。
- decltype(val) 的结果，只有当val本身就是一个引用时，才是引用
在 C++14 标准中出现了 decltype 和 auto 两个关键字的结合体：decltype(auto)。它的作用简单来说，就是告诉编译器用decltype的推导表达式规则来推导auto。另外需要注意的是，decltype(auto)必须单独声明，也就是它不能结合指针、引用以及cv限定符。
int i;
int&& f();
auto x1a = i; // x1a推导类型为int
decltype(auto) x1d = i; // x1d推导类型为int
auto x2a = (i); // x2a推导类型为int
decltype(auto) x2d = (i); // x2d推导类型为int&
auto x3a = f(); // x3a推导类型为int
decltype(auto) x3d = f(); // x3d推导类型为int&&
auto x4a = { 1, 2 }; // x4a推导类型为
std::initializer_listdecltype(auto) x4d = { 1, 2 }; // 编译失败, {1, 2}不是表达式
auto *x5a = &i; // x5a推导类型为int*
decltype(auto)*x5d = &i; // 编译失败，decltype(auto)必须单独声明 有了decltype(auto)之后，我们又多了一种返回引用的形式：
templatedecltype(auto) return_ref(T& t)
{
return t;
} 在C++17 标准中，decltype(auto)还能作为非类型模板形参的占位符，例如：
#includetemplatevoid f()
{
std::cout<< N<< std::endl;
} #includeusing namespace std;
templateauto sum(T1 t1, T2 t2)
{
return t1 + t2;
}
templateauto return_ref(T& t)
{
return t;
}
templateauto& return_ref1(T& t)
{
return t;
}
templateauto return_ref2(T& t) ->decltype(t)
{
return t;
}
templatedecltype(auto) return_ref3(T& t)
{
return t;
}
templatevoid f()
{
cout<< N<< endl;
}
int main()
{
auto res = sum(1, 2.0);
cout<< "res="<< res<< endl;
cout<< "res type: "<< typeid(res).name()<< endl;
int x = 0;
cout<< "x is reference value: "<< std::is_reference_v<< endl;
cout<< "x is reference value: "<< std::is_reference_v<< endl;
cout<< "x is reference value: "<< std::is_reference_v<< endl;
cout<< "x is reference value: "<< std::is_reference_v<< endl;
return 0;
}
你是否还在寻找稳定的海外服务器提供商？创新互联www.cdcxhl.cn海外机房具备T级流量清洗系统配攻击溯源，准确流量调度确保服务器高可用性，企业级服务器适合批量采购，新人活动首月15元起，快前往官网查看详情吧
本文名称：C++11之后的decltype类型指示符-创新互联
链接分享：http://scjbc.cn/article/cepgis.html
