一、自动推导类型 auto in C++
在 C 语言和 C++98 中,关键字 auto 用于修饰变量的存储类别(自动存储的局部变量)。然而,在 C++11 中,auto 获得了全新的含义,不再用于修饰变量,而是作为一个类型指示符,用于在编译时推导其声明的变量的数据类型。
1.1 语法:
auto 变量名 = 初始值;
为了在 C++11 及以上版本中使用 auto,需要在编译时加上 -std=c++11 参数。
注意事项
-
auto 声明的变量必须在定义时进行初始化。
auto value; // 错误!auto 声明需要在定义时进行初始化
-
初始化的右值可以是具体的数值,也可以是表达式和函数的返回值等。
auto number = 42; // 初始化为整数 auto result = 3.14 * 2; // 初始化为表达式计算结果 auto greet = getGreetingMessage(); // 初始化为函数的返回值
-
auto 不能作为函数的形参类型。
void processValue(auto x) { // 错误!auto 不能用作函数形参类型 // 函数实现 }
-
auto 不能直接声明数组。
auto a={1,2,3,4}; // 错误!auto 不能直接声明数组
-
auto 不能定义类的非静态成员变量。
class MyClass { public: auto instanceVar = 42; // 错误!auto 不能定义类的非静态成员变量 static auto staticVar; // 正确,auto 可以定义类的静态成员变量 };
实际用途
-
简化变量声明:auto 可以代替冗长复杂的类型声明,使代码更加清晰简洁。
void fun(int a,int b,float c){ } int main() { void(*pfun)(int,int,float)=fun; pfun(1,2,12.3); //使用auto简化写法 auto ppfun=fun; ppfun(1,2,12.3); }
-
模板中使用:在模板中,auto 可用于声明依赖于模板参数的变量,从而避免重复写出复杂的类型。
-
函数模板返回值:当函数模板的返回值依赖于模板参数时,可以使用 auto 简化函数的声明。
-
Lambda 表达式:在 Lambda 表达式中,auto 可以用于声明捕获的变量,避免重复书写类型。