CPP基础--变量和基本类型之处理类型

作者 by adtxl / 2021-03-09 / 暂无评论 / 501 个足迹

处理类型

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,它的作用是选择并返回操作数的数据类型。在此过程中,编译器分析表达式并得到它的类型,却不实际计算表达式的值

独特见解