【C++学习记录】—— 【5】【变量和基本类型】【处理类型】

一.类型别名

1.两种别名

①typedef

常规的typedef就是C语言中使用的，就像这样：

typedef int u8;
u8 time = 23;
// 这里的time就是int类型

②C++别名声明

using  u8 = int;

效果与①一样，这种方法，以using别名声明开始，后紧跟别名和等号，其作用就是把等号左侧的名字规定成等号右侧类型的别名。

2.指针、常量和类型别名

如果某个类型别名呆滞的是复合类型的常量，那么把它用到声明语句里会产生奇奇怪怪的结果。就像下面这样：

typedef char *ptr;
const ptr cstr = 0;		//cstr是个指向char的常量指针
const ptr *ps;	//ps是一个指针，它的对象是指向char的常量指针

其中的const ptr cstr不可以等价为const char *cstr

二.auto类型说明符

1.auto

auto类型能让编译器替我们分析表达式所属的类型。所以auto的定义变量必须有初始值：

auto price = 10 + 20;

但是，因为在一条语句声明多个变量的时候，所以所有的变量类型必须保持一致：

auto i = 0, *p = &i;	//正确，i是整数，p是整数型指针
auto sz = 0, pi = 3.14	//错

2.复合类型、常量和auto

如果编译器推断出来的auto类型有时候与初始值类型不完全一样，编译器就会适当地改变结果类型使其符合初始化规则，就像：

int i = 0, &r = i;
auto a = r; 	//此时 a是int类型

其次，auto会忽略掉顶层const，保留底层const,如同这样：

const int ci = i, &cr = ci;
auto b = ci;	//b是一个整数
auto c = cr;	//c是一个整数
auto d = &i;	//d是一个整形指针
auto e = &ci;	//e是一个指向整数常量的指针

但是如果希望推断出的auto是顶层const，就直接在auto前面加上const就好了
例如:const auto i = 1 + 1;

三.decltype类型

1.decltype

在C++11后，我们可以使用第二种类型说明符decltype来选择并返回操作数的数据类型。编译器会通过分析表达式来得到他的类型，而不计算表达式的值。
假设一个函数fun()返回的是一个int类型。那么：

decltype(fun()) sum = x;	//这个sum就是int类型

如果decltype变量使用的表达式是一个变量，则其返回的是该变量的类型(包括顶层const和引用在内)：

const int ci = 0, &cj = ci;
decltype(ci) x = 0;	//x是const int
decltype(cj) y = x;	//y是const int&， y绑定到变量x
decltype(cj) z;	//错误，因为z是一个引用，需要初始化

2.decltype和引用

如果decltype使用的表达式不是一个变量，则其返回表达式结果对应的类型。有些表达式会返回一个引用类型。发生这种情况时，说明了该表达式的结果对象能作为一条赋值语句的左值：

int i = 233, *p = &i, &r = i;
decltype(r + 0) b; 		//此时，加法结果为int，因此b是一个未初始化的int
decltype(*p) c; 	//错误 此时的c是int&，必须初始化

重要的地方说三次
重要的地方说三次
重要的地方说三次
！！！解引用指针可以得到指针所指的对象，而且还能给这个对象赋值，因此decltype(*p)的结果类型就是int&，而非int！！！！

如果decltype使用的是一个不加括号的变量，则得到的结果就是该变量的类型；如果给变量加上了一层或多层括号，编译器就会把它当做一个表达式。变量是一种可以作为赋值语句左值的特殊表达式，所以这样的decltype就会得到应用类型。

decltype((i)) d; 	//错误，d是int&，必须初始化
decltype(i) e; 	//正确，e是一个未初始化的int