std :: result_ofとdecltypeの違い

std::result_ofC ++ 0xでの必要性を理解するのに問題があります。私が正しく理解した場合result_ofは、特定のタイプのパラメーターを持つ関数オブジェクトを呼び出す結果のタイプを取得するために使用されます。例えば：

template <typename F, typename Arg>
typename std::result_of<F(Arg)>::type
invoke(F f, Arg a)
{
    return f(a);
}

次のコードとの違いは本当にわかりません。

template <typename F, typename Arg>
auto invoke(F f, Arg a) -> decltype(f(a)) //uses the f parameter
{
    return f(a);
}

または

template <typename F, typename Arg>
auto invoke(F f, Arg a) -> decltype(F()(a)); //"constructs" an F
{
    return f(a);
}

これら2つのソリューションで私が目にできる唯一の問題は、次のいずれかを行う必要があることです。

• decltypeに渡される式で使用するファンクタのインスタンスがあります。
• ファンクタの定義済みコンストラクタを知っています。

唯一の違いと考え中アムIの権利decltypeとは、result_of第二にはないのに対し、最初の1が式を必要とするということですか？

result_ofはBoostで導入され、次にTR1に組み込まれ、最後にC ++ 0xに組み込まれました。したがってresult_of、（適切なライブラリを使用して）下位互換性があるという利点があります。

decltype C ++ 0xのまったく新しいものであり、関数の戻り値の型だけに限定されず、言語機能です。

とにかく、gcc 4.5ではresult_of、次の点で実装されていますdecltype。

  template<typename _Signature>
    class result_of;

  template<typename _Functor, typename... _ArgTypes>
    struct result_of<_Functor(_ArgTypes...)>
    {
      typedef
        decltype( std::declval<_Functor>()(std::declval<_ArgTypes>()...) )
        type;
    };

関数呼び出しのようなものではないタイプのものが必要な場合std::result_ofは、適用されません。decltype()任意の式のタイプを与えることができます。

私たちは関数呼び出し（間の戻り値の型を決定するだけで、さまざまな方法に自分自身を制限する場合std::result_of_t<F(Args...)>とdecltype(std::declval<F>()(std::declval<Args>()...)）、その差があります。

std::result_of<F(Args...) と定義されている：

INVOKE (declval<Fn>(), declval<ArgTypes>()...)評価されていないオペランドとして扱われるときに式 が適切に形成されている場合（条項5）、メンバーのtypedef型は型をdecltype(INVOKE (declval<Fn>(), declval<ArgTypes>()...)); 別の名前で指定し、メンバーの型はありません。

違いresult_of<F(Args..)>::typeとは、decltype(std::declval<F>()(std::declval<Args>()...)すべてのことについてですINVOKE。declval/をdecltype直接使用することは、タイプするのがかなり長くなるだけでなく、Fが直接呼び出すことができる場合にのみ有効です（関数オブジェクトタイプまたは関数または関数ポインター）。result_ofさらに、メンバー関数へのポインターとメンバーデータへのポインターをサポートします。

最初はdeclval/ を使用decltypeするとSFINAEに適した式が保証されましたstd::result_ofが、控除の失敗ではなくハードエラーが発生する場合がありました。これはC ++ 14で修正されました：std::result_ofSFINAEに対応する必要があります（このペーパーのおかげで）。

したがって、準拠するC ++ 14コンパイラでstd::result_of_t<F(Args...)>は、完全に優れています。より明確で短く、正しく^†はより多くFの^‡をサポートしています。

^‡例外あり。メンバーへのポインターをサポートしresult_ofていますが、無効なtype-idをインスタンス化しようとしても機能しません。これらには、関数を返す関数や、値によって抽象型を取得する関数が含まれます。例：

template <class F, class R = result_of_t<F()>>
R call(F& f) { return f(); }

int answer() { return 42; }

call(answer); // nope

正しい使い方はresult_of_t<F&()>でしたが、それはあなたが覚えておく必要のない詳細ですdecltype。