C++关键字auto、decltype，内存模型

自动类型推导：auto关键字

int a = 10;
auto au_a = a;//自动类型推断，au_a为int类型
cout<<typeid(au_a).name()<<endl;

auto的使用限制

• auto变量必须在定义时初始化，这类似于const关键字

auto a1 = 10;//正确
auto b1; 错误，编译器无法推导b1类型
b1 = 10;

• 定义在一个auto序列的变量必须始终推导成同一类型

auto a4 = 10, a5{20};//正确
auto b4{10},b5 = 20.0;错误，没有推导为同一类型

• 如果初始化表达式是引用或者const，则去除引用或const语义。

auto不管&和const

int a{10};
int& b = a;
auto c = b; //c的类型为int而不是int&

const int a1{10};
auto b1 = a1;//b1的类型为int而不是const int；

• 如果auto关键字带上&号，则不去除引用或const语义

int a{10};
int& b = a;
auto& c = b; //c的类型为int&

const int a1{10};
auto& b1 = a1;//b1的类型为const int；

• 初始化表达式为数组时，auto关键字推导类型为指针

int a3[3] = {1,2,3};
auto b3 = a3;
cout<<typeid(b3).name<<endl;//输出int*（输出与编译器有关）

• 若表达式为数组且auto带上&，则推到类型为数组类型。

int a3[3] = {1,2,3};
auto& b3 = a3;
cout<<typeid(b3).name<<endl;//输出int [3]（输出与编译器有关）

特别的：
C++14中，auto可以作为函数的返回值类型和参数类型

尽量使用auto (AAA)

使用auto是为了代码的正确性、性能、可维护性、健壮性，以及方便

保证在声明变量时即初始化
int x = 3;
auto x = int{3};

自动类型推导：decltype关键字

利用已知类型 声明新变量
在编译时期推导一个表达式的类型，而不初始化

#include<iostream>
int fun1(){return 10;}
auto fun2(){return ‘g’}注意此处返回值修改为任意类型，main函数里都不会出错
int main(){
  decltype( fun1() ) x;
  decltype( fun2() ) y = fun2();
  std::cout << typeid(x).name() << std::endl;
  std::cout << typeid(y).name() << std::endl;
  return 0;
}

decltype主要用于泛型编程(模板)

简化的C++内存模型

• Stack(栈)
  编译器自动分配释放
• Heap(堆)
  一般由程序员分配释放(new/delete)，若程序员不释放，程序结束时可能由os回收
• Global/Static(全局区/静态区)
  全局变量和静态变量的存储是放在一起的。
  可以简单的认为：
  程序启动 全局/静态变量就在此处
  程序结束释放
• Constant(常量区)
  可以简单理解为所有常量都放在一起
  该区域内容不可修改