関数の見出しにある矢印演算子（->）

私は次のコードに出くわしました：

template <typename T, typename T1> auto compose(T a, T1 b) -> decltype(a + b) {
   return a+b;
}

理解できないことが1つあります。

->関数の見出しで矢印演算子（）が何を意味するかはどこで確認できますか？純粋に論理的には、->演算子が型を決定し、それautoが推定されると思いますが、これをまっすぐに取得したいと思います。情報が見つかりません。

C ++ 11では、関数宣言には2つの構文があります。

    戻り型 識別子 ( 引数宣言... )

そして

    auto 識別子の ( 引数宣言... ) -> return_type

それらは同等です。これらが同等であるのに、なぜ後者を使用したいのですか？さて、C ++ 11 decltypeは、式のタイプを記述できるこの素晴らしいものを導入しました。したがって、引数の型から戻り値の型を導出したい場合があります。だからあなたは試してみます：

template <typename T1, typename T2>
decltype(a + b) compose(T1 a, T2 b);

コンパイラーは、それが何であるかaを知らずb、decltype引数に含まれていることを通知します。これは、引数リストによってのみ宣言されているためです。

declvalと宣言済みのテンプレートパラメータを使用すると、問題を簡単に回避できます。お気に入り：

template <typename T1, typename T2>
decltype(std::declval<T1>() + std::declval<T2>())
compose(T1 a, T2 b);

今は本当に冗長になっていますが。したがって、代替宣言構文が提案および実装され、今、あなたは書くことができます

template <typename T1, typename T2>
auto compose(T1 a, T2 b) -> decltype(a + b);

冗長性が低く、スコープルールを変更する必要がありませんでした。

C ++ 14の更新： C ++ 14では、

    auto 識別子の ( 引数宣言... )

関数が使用前に完全に定義されており、すべてのreturnステートメントが同じ型に推定される限り。->あなたがソースファイルで体を非表示にする場合の構文は、（ヘッダで宣言さ）公共の機能のために有用まま。テンプレートではそれができないことはやや明らかですが、他の方法では書くのが難しいいくつかの具象型（通常はテンプレートメタプログラミングによって派生）があります。

わかりやすい英語では、戻り値の型は、との合計の推定型であることを示しaていbます。