C++11 auto和decltype關鍵字

可以用 auto 關鍵字定義變數，編譯器會自動判斷變數的型別。例如：

auto i =100;  // i 是 int
auto p = new A();  // p 是 A*
auto k = 34343LL;  // k 是 long long

有時，變數的型別名特別長，使用 auto 就會很方便。例如：

map <string, int, greater <string> >mp;
for( auto i = mp.begin(); i != mp.end(); ++i)
cout << i -> first << ", " << i -> second;

編譯器會自動判斷出 i 的型別是 map<string, int, greater<string> >::iterator。

decltype 關鍵字可以用於求表示式的型別。例如：

int i;
double t;
struct A { double x; };
const A* a = new A();
decltype(a) x1;  //x1 是 A*
decltype(i) x2;  //x2 是 int
decltype(a -> x) x3;  // x3 是 double

在上面的例子中，編譯器自動將 decltype (a) 等價為A*，因為編譯器知道 a 的型別是A*。

auto 和 decltype 可以一起使用。例如：

#include <iostream>
using namespace std;
struct A {
    int i;
    A(int ii) : i(ii) {}
};
A operator + (int n, const A & a)
{
    return A(a.i + n);
}
template <class T1, class T2>
auto add(T1 x, T2 y) -> decltype(x + y) {
    return x + y;
}
int main() {
    auto d = add(100, 1.5);  // d 是 double 型別，d = 101.5
    auto k = add(100, A(1));  // k 是 A 型別，因為表示式“100+A(1)”是A型別的
    cout << d << endl;
    cout << k.i << endl;
    return 0;
}

程式的輸出結果如下：
101.5
101

第 12 行告訴編譯器，add 的返回值型別是decltype(x+y)，即返回值的型別和x+y這個表示式的型別一致。編譯器將 add 範例化時，會自動推斷出x+y的型別。

在 C++11 中，函數返回值若為 auto，則需要和 decltype 配合使用。在 C++14 中，則可以不用 decltype，例如下面的程式沒有問題：

auto add (int a, int b)
{
    int i = a + b;
    return i;
}