auto作为一个C语言就存在的关键字,在C语言和C++之间却有很大区别。
在C语言中auto修饰的变量,是具有自动存储器的局部变量,但因为局部变量默认类别默认是auto修饰导致一直没有人去使用它。
C++11中,标准委员会赋予了auto全新的含义即:auto不再是一个存储类型指示符,而是作为一 个新的类型指示符来指示编译器,auto声明的变量必须由编译器在编译时期推导而得。
而这就意味着auto定义变量时必须对其进行初始化
编译结果:
注:
使用 auto定义变量时必须对其进行初始化,在编译阶段编译器需要根据初始化表达式来推导auto 的实际类型。因此auto并非是一种**“类型”的声明,而是一个类型声明时的“占位符”**,编译器在编译期会将auto****替换为变量实际的类型。
用auto声明指针类型时,用auto和auto*没有任何区别,但用auto声明引用类型时则必须 加&
当在同一行声明多个变量时,这些变量必须是相同的类型,否则编译器将会报错,因为编译
器实际只对第一个类型进行推导,然后用推导出来的类型定义其他变量。
因为编译器无法对a的实际类型进行推导
在C++中因为类,命名空间等语法会出现如std::map<std::string, std::string>::iterator这样的特别长的类别,若单纯用typedef来简略代码则会出现新的麻如:
所以auto无疑是十分不错的选择
C++的auto
关键字最初在C++11中引入,主要用于自动类型推导,使编程更简洁。在后续的C++14和C++17标准中,对auto
的使用进行了一些扩展和更新,进一步提高了其灵活性和功能性。下面详细介绍这些更新:
auto
的更新返回类型推导:
在C++14中,auto
可以用于推导普通函数的返回类型。这意味着你可以在函数定义时使用auto
关键字指定返回类型,编译器会根据返回语句推导出具体的类型。这样做可以增加代码的可读性和灵活性,特别是在模板编程和使用lambda表达式时。
示例:
泛型Lambda表达式:
虽然Lambda表达式在C++11中就已经支持,但在C++14中增强了Lambda的能力,允许使用auto
关键字作为参数类型,从而创建泛型Lambda。这样的Lambda可以接受任何类型的参数,提高了代码的复用性。
示例:
auto
的更新类成员初始化:
C++17允许在类中使用auto
关键字来声明成员变量,并通过构造函数列表初始化语法或默认成员初始化器来推导类型。这提供了一种更为灵活的方式来初始化类成员,特别是当类型表达式较为复杂或冗长时。
示例:
模板参数推导:
C++17引入了模板参数推导,这意味着在使用模板时不再总是需要显式指定模板参数。对于函数模板,如果使用auto
来指定参数类型,编译器可以根据传递的实参推导出模板参数类型。
示例:
在这个例子中,fixed_multiply
函数模板接受一个类型为T
的值和一个auto
类型的常量N
,然后返回乘积。在实例化时,N
的类型会根据提供的常量自动推导。
结构化绑定:
C++17还引入了结构化绑定,这允许使用auto
来解构数组、结构体和tuple,从而更容易地访问复合数据类型的元素。
示例:
这些更新让auto
在C++中的应用更加广泛和灵活,尤其是在编写模板代码或者处理复杂类型时,大大简化了代码的编写。