C++11关键字-auto

前言

你以为我说的自动变量类型auto吗?非也,我们知道C语言中其实也有auto关键字,它和早期C++中的auto关键字一样,它修饰局部变量,表示自动存储期(更多内容也可以阅读《全局变量,静态全局变量,局部变量,静态局部变量》)不过由于默认就是这种,因此我们其实常常见不到这样的写法:

1
auto int a =10;

本文要介绍的并不是上面的auto,而是C++11中引入的auto关键字。

效果

看看下面的代码:

1
2
3
4
5
6
7
8
9
10
11
#include<iostream>
#include<vector>
int main()
{
std::vector<int> vec{1,2,3,4,5};
for(std::vector<int>::const_iterator it = vec.begin();it != vec.end();++it)
{
std::cout<<*it<<std::endl;
}
return 0;
}

对于it的类型,你自己能快速写出来吗?我反正是写不出来。

再看auto版本:

1
2
3
4
5
6
7
8
9
10
11
#include<iostream>
#include<vector>
int main()
{
std::vector<int> vec{1,2,3,4,5};
for(auto it = vec.begin();it != vec.end();++it)
{
std::cout<<*it<<std::endl;
}
return 0;
}

是不是简洁了许多?

没错,今天就是介绍自动类型推导关键字auto。

auto的作用

说实在的,程序员有时候就是“懒”,可能连个表达式的类型都不想写,auto就是这样一个关键字,它让编译器替我们去分析表达式的类型。

当然了,分析的前提是auto定义的变量有初值,如果连值都没有,怎么可能知道它是什么类型?

auto用法

普通类型推导

例如:

1
2
3
auto i = 10;//i为int类型
auto d = 10.2//d 为double类型
auto f = 10.2f//f为float类型

const关键字修饰的类型推导

通常auto会忽略掉顶层const(本身是常量,如int *cosnt p),而会保留底层const(指向的对象是常量,如const int* p)。关于const的更多内容可以参考《》
举个例子顶层const的例子:

1
2
3
const int ci = 10;
auto aci = ci;//忽略顶层const,推导ci是int,所以aci类型是int
const auto ca = ci//推导ci是int,但是前面有const,所以ca是const int

再说一个底层const的例子:

1
2
const int arr[] = {11};
auto p = arr;//arr 是const int *,这是底层const,推导后,保留底层const,所以p是 const int*

arr数组名被当成指针是,是const int*类型,或者说是int const*,它指向的对象是只读的,因此是底层const,保留,最终p的类型也是int const *。

当然auto还可以设置引用类型,例如:

1
2
const int ci = 10;
auto &cp = ci;//cp是一个整型常量引

如果是字面值,则必须加上const:

1
const auto &ref = 10;//10是字面值,常量引用才能绑定字面值

想一想

想想下面推导的size类型是什么?

1
2
std::vector<int> vec;
auto size = vec.size();

没错,它是std::vector::size_type。
要你写下来你肯定不愿意。

下面这段程序帮你查看真正类型的名称,仅供参考

1
2
3
4
5
6
7
8
9
10
11
12
13
14
#include <iostream>
#include <vector>
#include <cxxabi.h>
#include <typeinfo>
int main()
{
int status;
char *realname;
auto type = 1.1;
realname = abi::__cxa_demangle(typeid(type).name(), 0, 0, &status);
std::cout << typeid(type).name() << " => " << realname <<std::endl;
free(realname);
return 0;
}

输出结果:

1
double

总结

乍一看,好像挺简单的那么一回事,不过使用auto最好注意类型推导规则,不是很明确的规则不建议以代码可读性为代价而简化代码。

当然了,它也有以下特点:

  • 可能使得代码可读性差
  • 某些情况auto得到的类型可能不是你想要的

因此一定要合理使用。

守望 wechat
关注公众号[编程珠玑]获取更多原创技术文章
出入相友,守望相助!