《C++ Primer》读书笔记-第二章 06 处理类型

作者：马志峰
链接：https://zhuanlan.zhihu.com/p/23430921
来源：知乎
著作权归作者所有。商业转载请联系作者获得授权，非商业转载请注明出处。

声明：

• 文中内容收集整理自《C++ Primer 中文版 （第5版）》，版权归原书所有。
• 原书有更加详细、精彩的释义，请大家购买正版书籍进行学习。
• 本文仅作学习交流使用，禁止任何形式的转载

类型别名

类型别名让复杂的类型名字变得简单明了

有两种方式定义类型别名

• typedef
• 别名声明（using)

typedef

typedef double wages;  
typedef wages base, *p;

需要牢记一点：
typedef 是作为声明语句中基本数据类型的一部分
把typedef作为基本类型的一部分来理解后，上面的语法和变量声明没什么区别。

如果声明了复杂类型的别名，不能进行简单的代入

typedef char *pstring;  
const pstring cstr = 0;  
const pstring *ps;

我们要注意到，后面两句中别名pstring占据的是声明语句中基本数据类型的位置
不能把pstring代表的复合类型拆分代入

第一句定义pstring是char *的类型别名，pstring是指针
那么 cstr 是指针类型，且是一个常量，因此cstr是一个常量指针
ps前有*标识，是一个指针，它指向的内容是一个常量指针

using

相对来说更加直观、简单

using SI = SalesItem;

auto类型说明符

auto让编译器来推测变量的类型

auto i = 0, *p = &i;

编译器会根据初始值进行推测

有两点需要注意：

1. 引用类型作为初始值时

int i = 0, &r = i;  
auto a = r;

a会是int类型，因为引用不是对象，使用了引用所绑定的对象进行初始化

2. auto会忽略顶层const

int i = 0;  
const int ci = i, &cr = ci;  
auto b = ci;  
auto c = cr;

b和c都是整数类型

decltype类型指示符

在不计算表达式的值的情况下，推测出它的类型

decltype( fun() ) sum = x;

sum的类型是函数返回值的类型

引用总是那么特殊，在这里也是

int i = 42, *p = &i, &r = i;  
decltype(r) a;  
decltype(r + 1) b;  
decltype(*p) c;

1. 推测引用变量本身的类型得到的仍是引用

a是一个引用，却未初始化，语法错误

r+1是一个表达式，表达式的结果是int类型，b是int类型

2. 如果表达式的内容是解引用操作，decltype将得到引用类型

p是一个指针，*p得到的是指针所指向的对象，decltype(*p)得到引用类型

3. 推测变量的类型时，如果多加了一层括号，结果差别很大

decltype( i ） d;  
decltype( (i) ) e;

i是一个变量，
(i)是一个表达式，
因此得到的结果完全不同

d是整数类型，e是引用

作者说：

1. auto一般会忽略掉顶层const
2. decltype(variable), 只有当variable本身就是一个引用时，结果才是引用