auto关键字
auto在C++11中,作为一个类型指示符来指示编译器,auto声明的变量必须由编译器再编译时期推导而得。
注意:
使用auto
定义变量时必须对其进行初始化,在编译阶段编译器需要根据初始化表达式来推导auto
的实际类型。因此auto
并非是一种“类型”的声明,而是一个类型声明时的“占位符”,编译器在编译期会将auto
替换为变量实际的类型。这是很容易理解的。
使用细节注意
auto
与指针和引用结合起来使用
用auto
声明指针类型时,用auto
和auto*
没有任何区别,但用auto
声明引用类型时则必须加&
- 在同一行定义多个变量
当在同一行声明多个变量时,这些变量必须是相同的类型,否则编译器将会报错,因为编译器实际只对第一个类型进行推导,然后用推导出来的类型定义其他变量。
auto不能推导的场景
- auto不能作为函数的参数
- auto不能直接用来声明数组
- C++11中auto被剥离了以前auto(C++98)的用法。
- auto也可以简化写法,替代模板类型书写、范围for循环等等。
基于范围的for循环
for循环后的括号由冒号“ :”分为两部分:第一部分是范围内用于迭代的变量,第二部分则表示被迭代的范围。
int main()
{
int array[] = { 1 , 2 , 3 };
for (auto x : array)
{
cout << x << endl;
}
for (auto& x : array) // 希望改变范围中的变量时,使用引用
{
x *= 2;
}
return 0;
}
ps:continue、break在范围for中也起作用。
使用条件
- for循环迭代的范围必须是确定的
对于数组而言,就是数组中第一个元素和最后一个元素的范围;对于类而言,应该提供begin和end的方法,begin和end就是for循环迭代的范围。
错误示例: - 迭代的对象要实现++和==的操作。
指针空值nullptr
在书写代码时,常常进行这样的操作以使我们的代码更加安全:
#include <iostream>
using namespace std;
int main()
{
int* a = NULL;
int* b = 0;
return 0;
}
防止野指针的产生,常常赋值NULL或0。
实际上NULL就是0;
这样也会产生一些麻烦;
#include <iostream>
using namespace std;
void f(int)
{
cout << "f(int)" << endl;
}
void f(int*)
{
cout << "f(int*)" << endl;
}
int main()
{
f(0); // f(int)
f(NULL); // f(int)
f((int*)NULL); // f(int*)
return 0;
}
程序本意是想通过f(NULL)调用指针版本的f(int*)函数,但是由于NULL被定义成0,因此与程序的初衷相悖。
在C++98中,字面常量0既可以是一个整形数字,也可以是无类型的指针(void*)常量,但是编译器默认情况下将其看成是一个整形常量,如果要将其按照指针方式来使用,必须对其进行强转(void *)0。
注意
-
在使用nullptr表示指针空值时,不需要包含头文件,因为nullptr是C++11作为新关键字引入的。
-
在C++11中,sizeof(nullptr) 与 sizeof((void*)0)所占的字节数相同。
-
为了提高代码的健壮性,在后续表示指针空值时建议最好使用nullptr。