初窥C++11：自己主动类型推导与类型获取

auto

话说C语言还处于K&R时代，也有auto a = 1;的写法。中文译过来叫自己主动变量。跟c++11的不同。C语言的auto a = 1;相当与 auto int a = 1;语句。 而C++11的auto是有着严格的类型推导出来的。曾经是这么写

int a = 1;

如今，编译器知道a是int型了。所以能够这么写

auto a = 1;

对于类型比較长的，如vector<string>::iterator这类的，能少敲些字符了。

假设只就这点作用。那么对编程实在没什么太大的益处。尽管自己主动类型推导对于编译器而言，是个高大上的话题。实际上，作用远远不止这点啊。适当地使用auto，会是你的代码更优雅，举例说明：

template <typename BuiltType, typename Builder>

void makeAndProcessObject (const Builder& builder)

{

    BuiltType val = builder.makeObject();

    // do stuff with val

}

从这代码来看，BuiltType的用处不大，但必须这么写才干编译过。

有了auto后，你能够这么写

template <typename Builder>

void makeAndProcessObject(const Builder& builder)

{

     auto val = builder.makeObject();

     // do stuff with val

}

这比上段代码就优雅些了。但是假设我要返回val的值呢？我们还是要传入BuildTye，由于c++11并没有提供通过返回值来推导返回类型（如今最终明确了。不是系统推导不出来，而是c++11没有提供罢了，c++14将会有这个特性。2014/5/14）

在看一遍auto a = 1;表达式。发现自己主动类型推导具有这种特点：它能够先不必知道是什么类型，而是依据后面的信息来推导。

假设我们能把返回类型先用auto取代，然后在给些信息让编译器推导出来。这就须要派上decltype了。

decltype

decltype意为declared Type，即声明类型。

decltype(x)表示从x中提取类型。因此。能够这样写：

decltype(x) y = x;

当然，x也能够换成一个表达式，decltype(builder.makeObject())将得到makeObject()返回的类型。

假设我们结合auto和decltype就能够写出例如以下代码：

template <typename Builder>

auto makeAndProcessObject(const Builder& builder) -> decltype(builder.makeObject())

{

     auto val = builder.makeObject();

     // do stuff with val

     return val;

}

这就是返回类型后置。从上面的样例能够看出。decltype对于模板编写会有所帮助。

假设不用自己写模板的话，也许用的并不多。

decltype这个特性，BS在2002年就提议标准化这类操作符了。gcc c++编译器于2008增加该特性。visual c++ 2010以扩展形式提供了该特性，到c++11才增加标准。而普及到大众程序猿的时间大概是2013前后吧。

可见，技术的发展也许快，然而这仅仅是局部性的。要普及到大众，速度就有点慢了。

想想人生真正奋斗的时间也就短短几十年，推广普及一个技术，真要消耗人的一生光阴。

如今的BS已经是白发苍苍矣。