プレースホルダ型指定子 (C++11以上)

#include <iostream>
#include <utility>
 
template<class T, class U>
auto add(T t, U u) { return t + u; } // 戻り値の型は operator+(T, U) の型です。
 
// 関数呼び出しの完全転送は、呼ぶ関数が参照で返す場合は、
// decltype(auto) を使用しなければなりません。
template<class F, class... Args>
decltype(auto) PerfectForward(F fun, Args&&... args) 
{ 
    return fun(std::forward<Args>(args)...); 
}
 
template<auto n> // C++17 の auto 引数推定。
auto f() -> std::pair<decltype(n), decltype(n)> // auto は波括弧初期化子から推定することはできません。
{
    return {n, n};
}
 
int main()
{
    auto a = 1 + 2;            // a の型は int です。
    auto b = add(1, 1.2);      // b の型は double です。
    static_assert(std::is_same_v<decltype(a), int>);
    static_assert(std::is_same_v<decltype(b), double>);
 
    auto c0 = a;             // c0 の型は int であり、 a のコピーを保持します。
    decltype(auto) c1 = a;   // c1 の型は int であり、 a のコピーを保持します。
    decltype(auto) c2 = (a); // c2 の型は int& であり、 a の別名です。
    std::cout << "a, before modification through c2 = " << a << '\n';
    ++c2;
    std::cout << "a, after modification through c2 = " << a << '\n';
 
    auto [v, w] = f<0>(); // 構造化束縛の宣言。
 
    auto d = {1, 2}; // OK、 d の型は std::initializer_list<int> です。
    auto n = {5};    // OK、 n の型は std::initializer_list<int> です。
//  auto e{1, 2};    // C++17 以降はエラー、それまでは std::initializer_list<int> でした。
    auto m{5};       // OK、 m は C++17 以降は int、それまでは initializer_list<int> でした。
//  decltype(auto) z = { 1, 2 } // エラー、 {1, 2} は式ではありません。
 
    // auto はラムダ式のような名前のない型のためによく使用されます。
    auto lambda = [](int x) { return x + 3; };
 
//  auto int x; // C++98 では有効、 C++11 以降はエラー。
//  auto x;     // C では有効、 C++ ではエラー。
}