c++新特性--decltype与auto

一般来说，decltype总能给到我们想要的结果，不像auto时不时会给我们一些惊喜。如果你还不是那么了解auto的推导发展，建议你去看看我的另一篇文章。

关于auto的推导法则

decltype值得注意的就两点：

1.告诉你这个变量或者表达式的类型（几乎是百分百值得信赖的，当然也会有意外，不过这个意外对于大多数人而言可能一辈子也碰不到）。

举例：

const int i = 0;
//decltype(i) 是 const int


bool f(const Widget& w);
//decltype(w) 是 const Widget&
//decltype(f) 是 bool(const Widget&)

struct Point {
    int x;
    int y;
};
//decltype(Point::x) 是 int

Widget p;
//decltype(p) 是 Widget

if(f(p))
//decltype(f(p)) 是 bool


template<template T>
class vector {
public:
    ...
    T& operator[](std::size_t index);
    ...
};

vector<int> v;
//decltype(v) 是 vector<int>
//decltype(v[0]) 是 int&

看，它是如此的可靠，如果换成auto推导，你可能早就抓狂了。

2.给一个类型加括号推导，会返回引用

比如x是int，decltype( (x) )得到的就是int&

一般来说，decltype与auto配合使用会比较好

比如，推导函数的返回值类型。

template<typename Container, typename Index>
auto authAndAccess(Container& c, Index i) ->decltype(c[i]) {
    authenticateUser();
    return c[i];
} 

请你先忽略->decltype(c[i])我稍后会讲，首先c是一个容器，然后我们会返回其中下标为i的元素的引用（对于容器c[i]返回的一般是引用）。我们也希望函数的返回值也是引用类型，但是如果你熟悉auto的推导规则的话，你就知道这是不可能的，也许您想用auto&来解决，但如果c[i]恰好是bool类型的话你就完蛋了，因为bool类型是没有引用的。

这时，decltype的作用就出来了，->decltype(c[i])称为尾随返回类型技术。它的作用就是让编译器从函数的实现来推导这个函数的返回类型。这其实已经不是auto的模板类型推到了。

那如果我们想通过模板类型推导来得到正确的结果呢？

我们可以这么用

template<typename Container, typename Index>
decltype(auto) authAndAccess(Container& c, Index i) {
    authenticateUser();
    return c[i];
} 

以上就是全部内容了。