随着程序的复杂化,程序中用到的类型也越来越复杂化,经常体现在:
1.类型难以拼写
2.含义不明确导致容易出错
在C语言阶段处理这类问题的方法,可以使用typedef给类型取别名,但有时typedef也会出现很多问题,例如,要修饰的对象很多,是否需要每个都typedef定义一个别名呢?
在C++11中,关键字auto被赋予了新的含义可以解决这类型问题。
auto关键字
早期C\C++中auto的含义是:使用auto修饰的变量,是具有自动存储器的局部变量,但由于一般函数内没有声明为static的变量总是具有自动存储期的局部变量,导致关键字auto被遗弃。
而在C++11中,标准委员会赋予了auto全新的含义:
auto不再是一个存储类型指示符,而是作为一个新的类型指示符来指示编译器,auto声明的变量必须由编译器在编译时期推导而得。
int main(void)
{
int a = 10;
auto b = a;
auto c = 'a';
cout << typeid(b).name() << endl;
cout << typeid(c).name() << endl;
return 0;
}
【注意】关键字typeid:打印变量类型
int main(void)
{
double d = 1.1;
int i = 10;
auto a = i + d;
cout << a << endl;
return 0;
}
auto a;
【注意】这种情况属于编译错误,使用auto定义变量时必须对其进行初始化,在编译阶段编译器需要根据初始化表达式来推导auto的实际类型。
因此,auto并非时一种“类型”的声明,而是一个类型声明时的“占位符”,编译器在编译期间会将auto替换为变量实际的类型。
auto的使用细则
1.auto与指针和引用结合起来使用
int main(void)
{
int i = 10;
auto a = i;
auto* b = &a;//auto此时为int
auto c = &a;//auto此时为int*
return 0;
}
使用auto声明指针类型时,用auto和auto*没有区别。
int main(void)
{
int i = 10;
auto a = i;
auto& b = a;//auto此时为int
auto c = a;//auto此时为int
return 0;
}
auto声明引用类型时必须加&
2.在同一行定义多个变量
int main(void)
{
auto a = 1, b = 2;//编译成功
auto c = 3, d = 4.4//编译失败
return 0;
}
c和d的初始化表达式类型不同
所以当同一行声明多个变量时,这些变量必须时相同的类型,否则编译器将会报错,因为编译器实际只对第一个类型进行推导,然后用推导出来的类型定义其他容量。
auto使用场景
1.auto不能作为函数的参数
void Func(auto a){}
此代码为错误代码,代码会编译失败,auto不能作为形参类型,因为编译器无法对a的实际类型进行推导。
2.auto不能声明变数组
auto a[] = {1,2,3};
此代码为错误代码,代码会编译失败,主要因为数组的大小在声明时需要明确的指定,而auto是根据初始化表达式来推导类型的,无法确定数组的大小。
3.为了避免与C++98中的auto发生混淆,C++11只保留了auto作为类型指示符的用法。