C++11新特性：自动类型推断和类型获取

阅读量：6535 次

发布时间：2019-06-24

本文共 2745 字，大约阅读时间需要 9 分钟。

声明：本文是在Alex Allain的文章的基础上写成的。

加入了很多个人的理解，不是翻译。

转载请注明出处 http://blog.csdn.net/srzhz/article/details/7934483

自动类型推断

当编译器能够在一个变量的声明时候就推断出它的类型，那么你就能够用auto关键字来作为他们的类型：

[cpp]

auto x = 1;

编译器当然知道x是integer类型的。所以你就不用int了。接触过泛型编程或者API编程的人大概可以猜出自动类型推断是做什么用的了：帮你省去大量冗长的类型声明语句。

比如下面这个例子：

在原来的C++中，你要想使用vector的迭代器得这么写：

[cpp]

vector<int> vec;

vector<int>::iterator itr = vec.iterator();

看起来就很不爽。现在你可以这么写了：

[cpp]

vector<int> vec;

auto itr = vec.iterator();

果断简洁多了吧。假如说自动类型推断只有这样的用法的话那未免也太naive了。在很多情况下它还能提供更深层次的便利。

比如说有这样的代码：

[cpp]

template <typename BuiltType, typename Builder>

void

makeAndProcessObject (const Builder& builder)

{

BuiltType val = builder.makeObject();

// do stuff with val

}

这个函数的功能是要使用builder的makeObject产生的实例来进行某些操作。但是现在引入了泛型编程。builder的类型不同，那么makeObject返回的类型也不同，那么我们这里就得引入两个泛型。看起来很复杂是吧，所以这里就可以使用自动类型推断来简化操作：

[cpp]

template <typename Builder>

void

makeAndProcessObject (const Builder& builder)

{

auto val = builder.makeObject();

// do stuff with val

}

因为在得之builder的类型之后，编译器就已经能知道makeObject的返回值类型了。所以我们能够让编译器自动去推断val的类型。这样一来就省去了一个泛型。

你以为自动类型推断只有这样的用法？那也太naive了。C++11还允许对函数的返回值进行类型推断

新的返回值语法和类型获取（Decltype)语句

在原来，我们声明一个函数都是这样的：

[cpp]

int temp(int a, double b);

前面那个int是函数的返回值类型，temp是函数名，int a, double b是参数列表。

现在你可以将函数返回值类型移到到参数列表之后来定义：

[cpp]

auto temp(int a, double b) -> int;

后置返回值类型可以有很多用处。比如有下列的类定义：

[cpp]

class Person

{

public:

enum PersonType { ADULT, CHILD, SENIOR };

void setPersonType (PersonType person_type);

PersonType getPersonType ();

private:

PersonType _person_type;

};

那么在定义getPersonType函数的时候我们得这么写：

[cpp]

Person::PersonType Person::getPersonType ()

{

return _person_type;

}

因为函数所在的类Person是声明在函数返回值之后的，所以在写返回值的时候编译器并不知道这个函数是在哪个类里面。由于PersonTYpe是Person类的内部声明的枚举，所以在看到PersonType的时候，编译器是找不到这个类型的。所以你就得在PersonTYpe前面加上Person：：，告诉编译器这个类型是属于Person的。这看起来有点麻烦是吧。当你使用新的返回值语法的时候呢就可以这么写：

[cpp]