C++11 引入了
auto 和
decltype 这两个关键字实现了类型推导,让编译器来操心变量的类型。
这使得
C++ 也具有了和其他现代编程语言一样,某种意义上提供了无需操心变量类型的使用习惯。
一. auto
C++11之前:如果一个变量没有声明为 register变量,将自动被视为一个 auto 变量。
C++11开始:register 被弃用,auto赋予了其他含义,即类型自动推导。
1. 一个最为常见而且显著的例子就是迭代器
传统C++:
for (vector<int>::const_iterator itr = vec.cbegin(); itr != vec.cend(); ++itr) |
C++11:
for (auto itr = vec.cbegin(); itr != vec.cend(); ++itr) |
2. 一些其他的常见用法
#include
<iostream> |
注意: auto 不能用于函数传参,因此下面的做法是无法通过编译的(考虑重载的问题,我们应该使用模板)
int add(auto x, auto y); |
二. decltype
decltype 关键字是为了解决 auto 关键字只能对变量进行类型推导的缺陷而出现的。
有时候,我们可能需要计算某个表达式的类型,例如:
auto x = 1; auto y = 2; decltype(x + y) z; |
三. 尾返回类型、auto 与 decltype 配合
1. 考虑这样一个加法函数的例子
在传统 C++ 中我们必须这么写:
template<typename R, typename T, typename U> R add(T x, U y) { return x + y } |
这样的代码很丑陋,因为在编写这个模板函数的时候,必须明确指出返回类型,
但事实上我们并不知道这个函数会返回什么类型。
2. C++11 开始这个问题得到解决
你可能马上反应出来使用 decltype 推导x+y 的类型,写出这样的代码:
decltype(x + y) add(T x, U y) |
但事实上这样的写法并不能通过编译。
这是因为在编译器读到 decltype(x+y)时, x 和 y 尚未被定义。
3. 尾返回类型(trailing return type)
为了解决上面的问题,C++11 引入了一个叫做尾返回类型(trailing return type) ,
利用 auto 关键字将返回类型后置:
template<typename T, typename U> auto add(T x, U y) -> decltype(x + y) { return x + y; } |
C++14 函数具备返回值推导,因此下面的写法变得合法:
template<typename T, typename U> auto add(T x, U y) { return x + y; } |