c++处理类型

一、类型别名

类型别名：把一个复杂类型名用通俗易懂的名称代替。见例子1，特别注意，如果类型别名指代的是复合类型或者常量，如果不小心就会出问题，见例子2。

例子1
typedef double wanges;  // double 和 wanges等价
typedef wanges base, *p; // base 是double等价 ， p是double *等价
wanges a;  //等价于 double a;

例子2
typeof char *pastring;  // pastring是char *的别名，因此pastring代表的类型是指针
const pastring cstr = 0; // 由于const是修饰给定类型，而pastring是指向char的指针的别名
//因此cstr是指向char的常量指针，而非指向常量字符的指针
const char * cstr = 0; //是对 const pastring cstr = 0的错误理解

二、auto

auto在c++11引入的，auto让编译器自动判断变量的类型，auto也可以在一条语句中声明多个变量，但是一条声明语句只能有一个基本类型，所以在auto声明多个变量的基本类型要一致。auto在推算const和引用变量的时候会发送改变，具体改变见例子3：

 //1、当auto推算的引用的时候会被忽略掉引用
int i =0, &r = i;
auto a = r;  
//2、auto推算常量时候，会忽略顶层const，但会保留底层const
int i = 100;
const int ci = i, &cr = ci; 
auto b = ci; // b是一个int (ci的顶层const被忽略)
auto c = cr; // c是一个int（首先引用推算会被忽略，cr是ci的别名，而ci本身就是个顶层const，最后顶层const被忽略）
auto d = &i; //d是一个int *
auto e = &ci; //e是一个int const *,ci本身常量，&ci是指向int常量指针，它本身是具有底层const，因此const也就保留了下来
//3、如果程序员需要保留顶层const该咋办，其实不难，由于auto推到的类型不包含就加上不就行了
const auto f = ci ; // f是一个const int
//4、设置一个类型auto的引用时候，初始值的顶层const将被保留
const &m = ci; // m是一个const int &(常量引用)

课后习题解析

const int i = 42;
auto j = i; // i 是一个 int
const auto &k = i; //是一个const int & ，其中这里auto在编译后会变成int &
auto *p  = &i; //是一个const int *,其中这里auto在编译后会变成const int *
const auto j2 = i, &k2 = i; //j2 是一个const int , k2是一个const int &，其中auto会变成 int 

三、decltype类型指示符（c++11)

decltype类型推断指示符：用在我们需要从表达式判断变量的类型，同时又不想要计算该表达式的值。见例子

decltype(f()) sum = x; // sum的类型就是函数f的返回值类型
// 编译器在指向这个话的时候，并不直接调用f函数，而是直接给sum变量制定f函数的返回值类型

auto与decltype区别:
(1) decltype不会忽略顶层const
(2) decltype的结果与表达式形式密切相关，例如加不加括号有着很大的区别：decltype((variable))的结果永远是引用，decltype(variable)结果只有当variable是引用的时候是引用。

//（1）
const int ci =  0, &cj = ci;
decltype(ci) x = 0;  // x是一个const int
decltype(cj) y = x;  // y是一个const int &
//（2）
int i = 42, *p = &i; &r = i;
decltype(r+0) b ; //b是一个int，这是由于表达式的结果是int决定的
decltype(*p) c; //错误：c是int &必须初始化，由于*是一个接指针操作，*p代表了是int &,因此等到的结果也是int &

课后练习

int a = 3, b = 4;
decltype(a) c = a;
decltype(a = b) d = a;
d = 1000;
cout << a << " " << b << " " << c << " " << d; // 1000 4 3 1000
//从结果可知，d是个int &,由于赋值是会产生引用的一类表达式，引用类型是左值的类型，也是就是i是int,则表达式 i=x的类型是int &