C++中的decltype

1,095 阅读2分钟

在实际的c++开发中我们可能会有这么一种需求,就是想通过表达式的类型来定义变量的类型,但是不想用该表达式的值来初始化变量,那么这时候就可以用到decltype这个类型指示符来操作。

decltype的作用:

用于获取表达式的类型

使用

//temp的类型就是exp这个表达式的类型
decltype(exp) temp = 3;

decltype处理const与引用类型

decltype处理const和引用的方式与auto有些许不同。如果decltype使用的表达式是一个变量,则decltype返回该变量的类型

const int i = 0, &j = i;
decltype(i) x = 0;  //x的类型是const int
decltype(j) y = x;  //y的类型是const int&,y绑定变量x
decltype(j) z      //报错,因为z是const int&类型,必须被初始化

如果decltype使用的表达式不是一个变量,则decltype则返回表达式结果对应的类型

int i = 1, *p = &i, &q = i;
decltype(q + 0) x;  //表达式q + 0的结果是int类型,所以b的类型是未初始化的int类型
decltype(*p) y;     //报错,y是int &类型,必须被初始化
/*如果表达式的内容是解引用,则decltype将得到引用类型。
  正如我们熟悉的那样,解引用指针可以得到指针所指的对象,
  而且还能给这个对象赋值。因此decltype(*p)的类型就是int &,而非int
*/

decltype与auto的区别

decltypeauto的一个重要的区别是:decltype的结果类型与表达式形式密切相关。

如果变量名加上一对括号,得到的类型与不加括号时会有所不同,如果decltype使用的是一个不加括号的变量,则得到的结果就是该变量的类型如果给变量加上一层或多层括号,编译器会把它当成是一个表达式,变量是一种可以作为赋值语句左值的特殊表达式,所以这样的decltype就会得到引用类型。

int i = 10;
decltype((i)) x;    //错误,x是int &类型,必须要初始化
decltype(i) y;      //正确,y是未初始化值的int类型

decltype与typeid的区别

typeid的作用与decltype相似,都可以得到一个变量或者表达式的类型,不同的是,typeid方法得到的类型不能用于定义变量,可以用来进行类型的比较。

	int i = 10;
	decltype(i) x = 20;
	if (typeid(i) == typeid(x)) {
		cout << "ture" << endl;
	} else {
		cout << "false" << endl;
	}
	//使用typeid(x).name()还可以打印出这个类型
	cout << typeid(x).name() << endl;