C++11:02decltype关键字

decltype

0、课前秀

  • 获取表达式的“声明类型”(Declared Type),所以命名为decltpe
  • 思考:typeid与decltype的异同
    • typeid用于返回指针或引用所指对象的实际类型。

1、获知表达式的类型

  • 在编译时推导出一个表达式的类型,参考sizeof
  • 理解以下代码
int x = 0;
decltype(x) y = 1;  //y -> int
decltype(x+y) z = 0; //z->int

const int& i = 1;
decltype(i) j = y; //j -> const int &

const decltype(z) *p = &z;  //*p -> const int, p->const int *
decltype(z)* pi = &z;  // *pi ->int, pi->int*
decltype(pi)* pp = π // *pp ->int*, pp->int**

2、decltype的推导规则

  • 规则1:exp是标识符、类访问表达式,decltype(exp)和exp的类型一致。
    • int i = 0; decltype(i) x = 0;
  • 规则2:exp是函数调用,decltype(exp)和返回值的类型一致
    • int add(int ,int ); decltype(add());
  • 规则3:其它情况,若exp是一个左值,则decltype(exp)是exp类型的左值引用,否则和exp类型一致。
struct Foo {int x;};
decltype(foo.x) a = 0; // a->int
// 左值就是左值引用,右值,就是原类型
decltype((foo.x)) b = a; // b->const int &  

3、decltype的实际应用

  • 初学,体会不深
  • 作者讲得例子理解不深,但我倒想到一个例子,sum(T1 x, T2 y),返回值到底用哪个的问题,现在可以类型推导了。

4、其它知识点

  • 使用decltype进行推导时,其成员不会继承const或volatile限制符

5、总结

  • 在非泛型编程中,我们不用对类型进行推导,因为任何表达式中变量的类型都是明确的,而运算、函数调用等也都有明确的返回类型。在泛型编程中,类型成了未知数
    • add (T a1, Y a2);//两个不同的类型,add()的返回值类型怎么写?在这种情况下产生了类型推导。
  • decltype和auto异同

ReadMe

  • 1、 20200420第1版:参考《深入应用C++11》1.1.2的内容
    • 第3节“实际应用”理解得不深
上一篇:将com组装成dll,供java调用


下一篇:c – __declspec(align)用于多个声明