C++ | 处理类型
类型别名
类型别名是一个名字,它是某种类型的同义词
1 | typedef double wages; // wages是double的同义词 |
新标准规定了一种新的方法,使用别名声明来定义类型的别名:
1 | using SI = Sales_item; // SI是Sales_item的同义词 |
指针、常量和类型别名
1 | typedef char *pstring; |
注:
1 | const char *cstr = 0; // 是对const pstring cstr的错误理解 |
auto类型说明符
auto类型说明符,可以让编译器替我们去分析表达式所属的类型。
1 | auto item = val1 + val2; // item初始化为val1与val2相加的结果。 |
auto一般会忽略掉顶层const,同时底层const则会保留下来,比如初始值是一个指向常量的指针时:
1 | const int ci = i, &cr = ci; |
decltype类型指示符
从表达式的类型推断出要定义的变量的类型,但是不想用该表达式的值初始化变量
1 | decltype(f()) sum = x; // sum的类型就是函数f的返回类型 |
decltype处理顶层const和引用的方式与auto有些许不同。
1 | const int ci = 0, &cj = ci; |
如果decltype使用的表达式不是一个变量,则decltype返回表达式结果对应的类型。
1 | // decltype的结果可以是引用类型 |
因为r是一个引用,因此decltype®的结果是引用类型。如果想让结果类型是r所指的类型,可以把r作为表达式的一部分,如r+0,显然这个表达式的结果将是一个具体值而非一个引用。
另一方面,如果表达式的内容是解引用操作,则decltype将得到引用类型。正如我们所熟悉的那样,解引用指针可以得到指针所指的对象,而且还能给这个对象赋值。因此,decltype (*p)的结果类型就是int&,而非int。
1 | decltype((i)) d; // 错误;d是int&,必须初始化 |
切记:decltype((variable))(注意是双层括号)的结果永远是引用,而decltype(variable)结果只有当variable本身是就是一个引用时才是一个引用。