【C++关键字】auto的使用(C++11)

auto关键字

早期C\C++中auto的含义是：使用auto修饰的变量，是具有自动存储器的局部变量，但由于一般函数内没有声明为static的变量总是具有自动存储期的局部变量，导致关键字auto被遗弃。

而在C++11中，标准委员会赋予了auto全新的含义：

auto不再是一个存储类型指示符，而是作为一个新的类型指示符来指示编译器，auto声明的变量必须由编译器在编译时期推导而得。

int main(void)
{
  int a = 10;
  auto b = a;
  auto c = 'a';
  cout << typeid(b).name() << endl;
  cout << typeid(c).name() << endl;
  return 0;
}

【注意】关键字typeid：打印变量类型

int main(void)
{
  double d = 1.1;
  int i = 10;
  auto a = i + d;
  cout << a << endl;
  return 0;
}

auto a;

【注意】这种情况属于编译错误，使用auto定义变量时必须对其进行初始化，在编译阶段编译器需要根据初始化表达式来推导auto的实际类型。

因此，auto并非时一种“类型”的声明，而是一个类型声明时的“占位符”，编译器在编译期间会将auto替换为变量实际的类型。

auto的使用细则

1.auto与指针和引用结合起来使用

int main(void)
{
  int i = 10;
  auto a = i;
  auto* b = &a;//auto此时为int
  auto c = &a;//auto此时为int*
  return 0;
}

使用auto声明指针类型时，用auto和auto*没有区别。

int main(void)
{
  int i = 10;
  auto a = i;
  auto& b = a;//auto此时为int
  auto c = a;//auto此时为int
  return 0;
}

auto声明引用类型时必须加&

2.在同一行定义多个变量

int main(void)
{
  auto a = 1, b = 2;//编译成功
  auto c = 3, d = 4.4//编译失败
  return 0;
}

c和d的初始化表达式类型不同

所以当同一行声明多个变量时，这些变量必须时相同的类型，否则编译器将会报错，因为编译器实际只对第一个类型进行推导，然后用推导出来的类型定义其他容量。

auto使用场景

1.auto不能作为函数的参数

void Func(auto a){}

此代码为错误代码，代码会编译失败，auto不能作为形参类型，因为编译器无法对a的实际类型进行推导。

2.auto不能声明变数组

auto a[] = {1,2,3};

此代码为错误代码，代码会编译失败，主要因为数组的大小在声明时需要明确的指定，而auto是根据初始化表达式来推导类型的，无法确定数组的大小。

3.为了避免与C++98中的auto发生混淆，C++11只保留了auto作为类型指示符的用法。