前言
在C++11中新增了一个关键字decltype,其功能是在编译时期进行自动类型推导,与auto类似,但是两者的具体使用方式不同。
decltype 全称 declare type,意思是 “声明类型”
具体用法
代码示例:
int exp = 1;
decltype(exp) newExp = exp;
从示例中,我们可以知道decltype的作用是推导出某一变量的类型,并以此类型声明一个变量和赋值;
但是decltype不仅仅只是这个作用;
decltype(exp) variableName = value;
这里的exp代表一个表达式,variableName是变量名,value是值;
decltype根据表达式(exp)推导出的数据类型去声明一个变量并赋值;
推导规则
decltype的推导规则有三条
- 如果表达式(exp)不被括号包含,且它是一个单独的变量、类成员访问表达式,那么decltype推导出的类型和表达式类型一直;
- 如果表达式(exp)是函数调用,那么decltype推导出的类型和函数返回值的类型一致;
- 如果表示式(exp)是一个左值,或者是被括号包含,那么decltype推导出的类型就是表达式(exp)的引用(T&);
代码示例
规则一
// 单独变量
int exp = 0;
const int &r = exp;
decltype(exp) a = exp; // exp的类型为 int, a的类型为 int
decltype(r) b = exp; // r的类型为 const int& , b 的类型为 const int&
// 类成员访问表达式
class people
{
public:
string name;
int age;
}
people p;
decltype(p.name) child = "cxk"; // 类成员变量name的类型为string, child的类型为string
规则二
int function(int a); // 返回值为 int
int& function(string b); // 返回值为 int&
int&& funciton(int a, int b); // 返回值为 int&&
const int& function(int a, int b, int c); // 返回值为 const int&
const int&& function(void); //返回值为 const int&&
int n = 100;
decltype(function(100)) a = n; //a 的类型为 int
decltype(function("ss")) a = n; //a 的类型为 int&
decltype(function(1,2)) b = 0; //b 的类型为 int&&
decltype(function(1,2,3)) x = n; //x 的类型为 const int &
decltype(function()) y = 0; // y 的类型为 const int&&
规则三
class Sample
{
public:
int x;
};
Sample obj;
decltype(obj.x) a = 0; //obj.x 为类的成员访问表达式,符合推导规则一,a 的类型为 int
decltype((obj.x)) b = a; //obj.x 带有括号,符合推导规则三,b 的类型为 int&。
int n = 0, m = 0;
decltype(n + m) c = 0; //n+m 得到一个右值,符合推导规则一,所以推导结果为 int
decltype(n = n + m) d = c; //n=n+m 得到一个左值,符号推导规则三,所以推导结果为 int&
// 一个错误示例
int function(int a, int b)
{
return 0;
}
decltype(function(1, 2)) a = 1;
decltype((function(1, 2))) b = a;
// 以上两条 decltype(exp)都是int
// 这里第二条不满足规则三
扩展
C++有一个typeid运算符能够在运行时获取类型的信息,但是其返回的字符串会受到编译器的影响。
typeid(int).name()
不同编译器返回的字符串可能不同