原文链接:https://www.cnblogs.com/lenmom/p/7988635.html
熟悉脚本语言的人都知道,很多脚本语言都引入了“类型自动推断”技术:比如python,可以直接声明变量,在运行时进行类型检查。随着C++11标准的发布,C++语言也引入了类型自动推断的功能,这就是我们今天要介绍的auto关键字。
C++是一种强类型语言,声明变量时必须明确指出其类型。但是,在实践中,优势我们很难推断出某个表达式的值的类型,尤其是随着模板类型的出现,要想弄明白某些复杂表达式的返回类型就变得更加困难。为了解决这个问题,C++11重新定义了auto关键字的语义,用于进行自动类型推断。为什么说“重新定义”呢?auto关键字在C++98中已经出现,用于自动变量的声明,但是极少被使用(关于此定义,可以查看这里)。
用法
C++引入auto关键字主要有两种用途:一是在变量声明时根据初始化表达式自动推断该变量的类型,二是在声明函数时作为函数返回值的占位符。
自动类型推断
使用auto从初始化表达式中推断出变量的数据类型,可以大大简化我们的编程工作,特别是对于一些类型冗长复杂的变量。比如,在以前的做法中,对于vector类型的变量,如果我们需要获取它的迭代器,我们需要这样声明vector::iterator iter,而使用auto关键字后我们可以让编译器帮我们推断出迭代器的具体类型。另外,在模板函数定义时,如果变量的类型依赖于模板参数,我们也很难确定变量的类型,使用auto关键字则可以把这些“脏活累活”交给编译器完成。
下面看一些简单的例子:
#include <iostream>
#include <vector>
using namespace std;
template<class T, class U>
void add(T t, U u)
{
auto s = t + u;
cout << "type of t + u is " << typeid(s).name() << endl;
}
int main()
{
// 简单自动类型推断
auto a = 123;
cout << "type of a is " << typeid(a).name() << endl;
auto s("fred");
cout << "type of s is " << typeid(s).name() << endl;
// 冗长的类型说明(如迭代器)
vector<int> vec;
auto iter = vec.begin();
cout << "type of iter is " << typeid(iter).name() << endl;
// 使用模板技术时,如果某个变量的类型依赖于模板参数,使用auto确定变量类型
add(101, 1.1);
}
函数返回值占位符
在这种情况下,auto主要与decltype关键字配合使用,作为返回值类型后置时的占位符。此时,关键字不表示自动类型检测,仅仅是表示后置返回值的语法的一部分。
示例如下:
template<class T, class U>
auto add(T t, U u) -> decltype(t + u)
{
return t + u;
}
注意事项
1、使用auto关键字的变量必须有初始值。
2、可以使用valatile,*(指针类型说明符),&(引用类型说明符),&&(右值引用)来修饰auto关键字。
auto a = 10;
auto *pa = new auto(a);
auto **rpa = new auto(&a);
cout << typeid(a).name() << endl; // 输出: int
cout << typeid(pa).name() << endl; // 输出: int *
cout << typeid(rpa).name() << endl; // 输出: int **
3、函数参数和模板参数不能被声明为auto。
4 、使用auto关键字声明变量的类型,不能自动推导出顶层的CV-qualifiers和引用类型,除非显示声明。例如:
使用auto关键字进行类型推导时,如果初始化表达式是引用类型,编译器会去除引用,除非显示声明。例如:
int i = 10;
int &r = i;
auto a = r;
a = 13; // 重新赋值
cout << “i = ” << i << ” a = ” << a << endl; // 输出i=10,a=13
// 显式声明
auto &b = r;
b = 15; // 重新赋值
cout << "i = " << i << " b = " << b << endl; // 输出i=15,a=15
使用auto使用auto关键字进行类型推导时,编译器会自动忽略顶层const,除非显示声明。例如:
const int c1 = 10;
auto c2 = c1;
c1 = 11; // 报错,c1为const int类型,无法修改const变量
c2 = 14; // 正确,c2为int类型
// 显示声明
const auto c3 = c1;
c3 = 15; // 报错,c3为const int类型,无法修改const变量
5、对于数组类型,auto关键字会推导为指针类型,除非被声明为引用。例如:
int a[10];
auto b = a;
cout << typeid(b).name() << endl; // 输出:int *
auto &c = a;
cout << typeid(c).name() << endl; // 输出:int [10]