c++ - 型式の decltype

Question

次の例のダミー関数を回避する方法はありますか?

template<class T1, class T2>
struct A {

    static T1 T1_ ();
    static T2 T2_ ();

    typedef decltype (T1_ () + T2_ ()) sum_type;
};

書きたいと思います

typedef decltype (T1+T2) sum_type;

しかし、T1andT2は変数ではなく型であるため、それは不可能です。私の上記の解決策は本当に最も簡単なものですか？

Answer 1

聖なる基準はstd::declvalまさにこの目的のために規定しています:

typedef decltype (declval<T1>()+declval<T2>()) sum_type;

<utility>ヘッダーを含めます。

Answer 2

あなたはこれを行うことができます：

typedef decltype(*(T1*)0 + *(T2*)0) sum_type;