处理类型
1. 类型别名
类型别名(type alias)是一个名字,它是某种类型的同义词。使用类型别名还有很多好处,它让复杂的类型名字变得简单明了、易于理解和使用,还有助于清楚地知道使用该类型的真实目的。
- typedef
typedef double wages; // wages是double的同义词
typedef wages base, *p; // base是double的同义词,p是double*的同义词
- using
C++11标准规定了一种新的方法,使用别名声明(alias declaration)来定义类型的别名
using SI = Sales-iteml // SI是Sales_item的同义词 - 指针、常量和类型别名
如果某个类型别名指代的是复合类型和常量,那么把它用到声明语句里就会产生意向不到的后果
typedef char *pstring;
const pstring cstr = 0; // cstr是一个指向char的常量指针
const pstring *ps; // ps是一个指针,它的对象是指向char的常量指针
const是对给定类型的修饰,此时pstring实际上是一个指向char的指针,因此,const pstring就是指向char的常量指针,而非指向常量字符的指针。
遇到一条使用了类型别名的声明语句时,人们往往会错误地尝试把类型别名替换成它本来的样子,以理解该语句的含义:
const char *cstr = 0; // 是对const pstring cstr的**错误理解**
声明语句中用到了pstring时,其基本数据类型是指针。可是用char*重写了声明语句后,数据类型就变成了char,*成为了声明符的一部分。这样改写的结果是,const char成了基本数据类型。
2. auto类型说明符
auto类型说明符,可以让编译器替我们去分析表达式所属的类型。
使用auto也能在一条语句中声明多个变量。因为一条声明语句只能有一个基本数据类型,所以该语句中所有变量的初始基本数据类型都必须一样:
auto i = 0, *p = &i; // 正确:i是整数、p是整型指针
auto sz = 0, pi = 3.14; // 错误:sz和pi的类型不一致
- 复合类型、常量和auto
编译器推断出来的auto类型有时候和初始值的类型并不完全一样,编译器会适当地改变结果类型使其更符合初始化规则。
其次,auto一般会忽略掉顶层const,同时底层const则会保留下来,比如当初始值是一个指向常量的指针时:
int i = 0, &r = i;
auto a = r;
const int ci = i, &cr = ci;
auto b = ci; // b是一个整数(ci的顶层const特性被忽略掉了)
auto c = cr; // c是一个整数
auto d = &i; // d是一个整型指针
auto e = &ci; // e是一个指向整数常量的指针(对常量对象取地址是一种底层const)
如果希望推断出的auto类型是一个顶层const,则需要明确指出:
const auto f = ci; // ci的推演类型是int,f是const int
3. decltype类型指示符
有时会遇到这种情况:希望从表达式的类型推断出要定义的变量的类型,但是不想用该表达式的值初始化变量。
decltype,它的作用是选择并返回操作数的数据类型。在此过程中,编译器分析表达式并得到它的类型,却不实际计算表达式的值
评论 (0)