编程时,需要把表达式的值赋给变量,这就要求在声明变量时清楚知道表达式的类型。为了解决这个问题,C++11引入auto类型说明符,用它就能让编译器替我们去分析表达式所属的类型。auto让编译器通过初值来推算变量的类型。因此,auto定义的变量必须有初始值。
auto能在一句中定义多个变量,但是这几个变量的初始值类型必须一致。
注意:使用引用其实是使用引用的对象,特别是当引用被用作初始值时,真正参与初始化的其实是引用对象的值。此时编译器以引用对象的类型作为auto的类型。
int i = 0, &r = i;
auto a = r; //a是一个整数(r是i的别名,而i是一个整数)
同时,auto一般会忽略顶层const,同时底层const会保留下来
const int ci = i, &cr = ci;
auto b = ci; //b是一个整数(ci的顶层const特性被忽略掉了)
auto c = cr; //c是一个整数(cr是ci的别名,ci本身是一个顶层const)
auto d = &i; //d是一个整型指针(整数的地址就是指向整数的指针)
auto e = &ci; //e是一个指向整数常量的指针(对常量对象取地址是一种底层const)
如果希望推断出的auto类型是一个顶层const,需要明确指出:
const auto f = ci; //ci的推演类型是int,f是const int
#include<iostream>
#include <string>
#include <vector>
using namespace std;
int main()
{
string str("some string");
for (auto c : str)
cout << c << endl;
int arr[] = { 1, 2, 3, 4, 5 };
for (auto d : arr)
cout << d << endl;
return 0;
}
for循环把变量c和str联系了起来。通过使用auto关键字,让编译器来决定c的类型(此处为char)。每次迭代,str的下一个字符被拷贝给c。
#include<iostream>
#include <string>
#include <vector>
using namespace std;
int main()
{
string str("some string");
for (auto c : str)
cout << c << " ";
cout << endl;
for (auto &d : str) //此处必须带引用
d = toupper(d);
cout << str << endl;
return 0;
}