autoauto可以像别的语言一样自动推导出变量的实际类型。在实际中auto像是一个”占位符“使用auto声明的变量必须要进行初始化以让编译器推导出它的实际类型在编译时将auto换成真正的类型。语法auto 变量名 变量值实际使用例子#include iostream using namespace std; int main() { //没有const修饰 auto x 3.14; //double auto y 520; //int auto z a; //char //auto nb; //语法错误 //auto double nbl; //语法错误 int temp 110; auto* a temp; //temp:int* auto*:int* auto:int auto b temp; //auto:int* auto c temp; //auto:int auto d temp; //auto:int //有const修饰 int tmp 250; const auto a1 tmp; //auto:int a1:const int auto a2 a1; //a1不是指针也不是引用 auto:int a2:int const auto a3 tmp; //a3:const int auto:int auto a4 a3; //a3是引用类型 a3:const int a4:const int auto:const int auto:const int auto* pt4 a1; //a1是地址 a1:const int pt4:const int* auto:const int system(pause); return 0; }需要注意的是在auto和指针、引用结合在一起时推导的结果会保留const、volatile关键字volatile表示变量经常修改的变量当变量不是指针或者引用类型时推导的结果中不会保留const、volatile关键字。当变量时指针或者引用类型时推导的结果中会保留const、volatile关键字。就如上述代码中的//有const修饰后面的代码需要注意变量是否为指针或者引用类型。auto不能推导的4个情况1. 不能作为函数参数使用因为只有在函数调用的时候才会给函数参数传递实参auto要求必须要给修饰的变量赋值因此二者不矛盾。int func(auto a, auto b) { //error cout a: a , b: b endl; }2.不能用于类的非静态成员变量的初始化class Test { auto v1 0; //error static auto v2 0; //error,类的静态非常量成员不允许在类内部直接初始化 static const auto v3 10; //ok };3. 不能使用auto关键字定义数组int func() { int array[] { 1, 2, 3, 4, 5 }; //定义数组 auto t1 array; //ok, t1被推导为 int* 类型 auto t2[] array; //error, auto无法定义数组 auto t3[] { 1, 2, 3, 4, 5 }; //error, auto无法定义数组 }4. 无法使用auto推导出模板参数template typename T struct Test {}; int func() { Testdouble t; Testauto t1 t; //error,无法推导出模板类型 return 0; }auto常用用途1. 用于STL容器的遍历在遍历时我们会写mapint, string::iterator it mp.begin();这样的迭代器在有了auto之后可以用auto代替mapint, string::iterator#include iostream #include map using namespace std; int main() { //key:int , value:string mapint, stringmp; mp.insert(make_pair(1, ace)); mp.insert(make_pair(2, sabo)); mp.insert(make_pair(3, luffy)); //mapint, string::iterator it mp.begin(); auto it mp.begin(); for (; it ! mp.end(); it) { cout key: it-first , value: it-second endl; } system(pause); return 0; }如上述代码在有了auto之后迭代器的定义简单方便了很多。2. 用在泛型编程在使用模板的时候很多情况下我们不知道变量应该定义成什么类型比如下面的代码#include iostream #include map using namespace std; class T1 { public: static int get() { return 10; } }; class T2 { public: static string get() { return hello, world; } }; //templateclass T, typename P template class T void func() { auto ret T::get(); //P ret T::get(); cout ret: ret endl; } int main() { funcT1(); funcT2(); //funcT1, int(); //funcT2, string(); system(pause); return 0; }上述代码中T1::get()返回int类型T2::get()返回string类型。在模板中调用时就能不确定返回什么类型的值使用auto解决了这一问题如果不用auto只能像注释中的那样多定义一个模板参数来确定返回的值时什么类型。decltypeC11增加了decltype关键字它是在编译器编译的时候推导出一个表达式的类型decltype不需要定义变量不需要初始化变量也可以推导类型。语法decltype(表达式)decltype是declare type的缩写译为声明类型。decltype的推导是在编译时完成的只是用于推导表达式的类型并不会计算表达式的值如下int a 10; decltype(a) b 99; //a:int b:int decltype(a3.14) c 3.14159; //a3.14:double c:double decltype(ab*c) d 234.2343; //ab*c:double d:double decltype(a) e; //a:int e:intdecltype只是使用了括号中表达式的类型后面的变量定义和括号中表达式值的大小无关。auto只能推导已初始化的变量类型decltype推导的可以不进行初始化。decltype的推导规则decltype的3个场景的使用规则1. 表达式为普通变量或者普通表达式或者类表达式表达式为普通变量或者普通表达式后者类表达式时decltype推导出的类型和表达式的类型是一样的。#include iostream using namespace std; class Test { public: int num 9; string text; static const int value 110; }; int main() { int x 99; const int y x; decltype(x) a x; //x:int a:int decltype(y) b x; //y:const int b:const int decltype(Test::value) c 0; //Test::value : const int c:const int Test t; decltype(t.text) d hello, world; //t.text : string d:string system(pause); return 0; }2.表达式是函数调用表达式是函数调用的时候decltype推导出的类型和函数返回值是一致的。#include iostream using namespace std; class Test { public: int num 9; string text; static const int value 110; }; //函数声明 int func_int() {}; int func_int_r() {}; int func_int_rr() {}; const int func_cint() {}; const int func_cint_r() {}; const int func_cint_rr() {}; const Test func_ctest() {}; int main() { int n 100; decltype(func_int()) a 0; //func_int():int a:int decltype(func_int_r()) b n; //func_int_r():int b:int decltype(func_int_rr()) c 0; //func_int_rr():int c:int decltype(func_cint()) d 0; //func_cint():const int d:int (这里是因为func_cint()函数返回的值是一个纯右值就会被推导为int对于右值而言只有类类型可以携带const、volatile限定符其他需要忽略这两个限定符) decltype(func_cint_r()) e 0; //func_cint_r():const int e:const int decltype(func_cint_rr()) f 0; //func_cint_rr():const int f:const int decltype(func_ctest()) g Test(); //func_ctest:const Test g:const Test system(pause); return 0; }上述代码中func_cint()返回的是一个纯右值再func_cint()运行之后不再存在数据也就是返回的是临时性的数据对于纯右值而言只有类类型会携带const、volatile限定符其他需要忽略这两个限定符。上例中用到了int等右值引用这里补充一下右值引用相关内容以int为例int是左值引用绑定到可命名、可持久存在的对象C11引入了int右值引用int为右值引用绑定到临时对象或将要被销毁的对象用于移动语义和完美转发。int a 10; int b a; //正确 int c 30; //错误 int r a; //错误 int d 30; //正确 int e 2010; //正确int的最重要的应用移动语义在移动右值的时候可以避免深拷贝性能更高vectorint a {1,2,3}; vectorint b std::move(a);其中std::move()是c11引入的一个函数它的作用是把一个对象强制转换成右值引用从而触发移动语义注意std::move()本身并不会移动任何数据它只是一个类型转换。#include iostream