クラスメンバ関数の戻り値の型

Question

私は、Aというメソッドのクラスのようなものをいくつか持っています。たとえば、get_value()は、さまざまな型の値を返します。そして1つのクラスBは、メソッドvalue()で値を返します。例：

ここで、これらのクラスの値を取得する関数が必要です。それは私に始まるVS2010でコンパイルエラーの数与え

template<typename T> 
auto get_value(const T & t) -> result_of<decltype(&T::get_value)(T)>::type 
{ 
    return t.get_value(); 
} 

：Bについて

Error 1 error C2061: syntax error : identifier 'type' c:\_data\work\vmxi\c++\vox\vox\template_specialization.h 51 

を、私は正常に動作し、過負荷を、持っている私は、機能を持っています。質問は、どのようにresult_of<>()で動作するようにget_value()ですか？

P.S.うーん、私はちょうど-> decltype(T().get_value())を使っていたかもしれないことに気づきました。うまくいきます。しかし、なぜresult_of<>()は機能しませんか？

result_of<decltype(&A_like1::get_value)(A_like1)>::type i=0; 

Answer 1

typenameは依存名は、std::result_of<T>::typeように、タイプであることを宣言するために使用することができますキーワード：加えて、私は.cppファイル内の変数を宣言することができました。それ以外の場合は、std::result_of<T>::typeがデータメンバーであると考えられます。 C++ 14では、いくつかのタイプ特性がtypenameキーワードを含むusingエイリアスを取得しました。これらのエイリアスは常に特性と同じ名前で、接尾辞は_tです。

試してみてください。C++ 14と

typename result_of<decltype(&T::get_value)(T)>::type 

または、：

result_of_t<decltype(&T::get_value)(T)>