decltypeの比較

Question

decltypeの結果をC++ 11で比較する方法はありますか？

つまり

は、なぜこのコードは無効です：

template<typename T, typename U> 
void func(T& t, U& u) { 
    if(decltype(t) == decltype(u)) { 
     // Some optimised version for this case 
    } else { 
     // A more general case for differing types 
    } 
} 

私はいくつかのケースでは、この特定の問題は、テンプレートの部分特殊化によって解決することができることを知っています。私の質問はdecltypeの比較です。

編集： SFINAEを介してフリー機能のデフォルトを提供しようとする過程で質問が出てきました。これが無効である理由を、より良い質問がされているだろうおそらく：

template<bool B> 
bool SomeFunction() { ... } 

template<typename T, typename U> 
bool SomeFunctionWrapper(T& t, U& u) { 
    SomeFunction<decltype(t) == decltype(u)>(); 
} 

私は以来、別の解決策を見つけた（つまり、すべてのテンプレートを含まない）が、1つの段階で、私はこの試みた：

// If it exists, the free function is defined as 
// bool AFreeFunction(); 
typedef struct { char } undefined; 
template<typename T = void> 
undefined AFreeFunction(); 

template<bool B> 
bool AFreeFunctionWrapper_() { 
    return false; 
} 

template<> 
bool AFreeFunctionWrapper_<false>() { 
    return AFreeFunction(); 
} 

bool AFreeFunctionWrapper() { 
    return AFreeFunctionWrapper_<decltype(AFreeFunction()) == decltype(undefined)>(); 
} 

を

私は最終的にGCC 4.6で動作するこの戦略の変種を得ましたが、2012 RCであっても、デフォルトのテンプレート引数はMSVCのテンプレート関数には使用できません。したがって、最終的な解は次のようになります。

class AFreeFunction { 
public: 
    operator bool() { return false; } 
}; 

関数が定義されていれば、呼び出されます。そうでない場合は、そのクラスのコンストラクタとして解釈され、暗黙的にboolにキャストされます。

Answer 1

通常、この問題はタグのディスパッチによって解決します。また、すでに「宣言された型」がt、u-T&およびU&になっています。等価の型を比較す​​るには、std::is_sameを使用します。しかし、オーバーロードの解決は、すでにあなたのため、この問題を解決：fに、両方の引数が同じ型である場合

template<class T> 
void f(T& v1, T& v2){ ... } // #1 

template<class T, class U> 
void f(T& t, U& u){ ... } // #2 

＃1は＃2よりも特化しています。あなたは、どんな理由であれ、手動式の比較です介してこれを解決することを主張した場合、ここでは前述のポイントを適用するどのように見えるかです：

#include <type_traits> 

namespace detail{ 
template<class T, class U> 
void f(T& t, U& u, std::true_type){ ... } // #1 

template<class T, class U> 
void f(T& t, U& u, std::false_type){ ... } // #2 
} // detail:: 

template<class T, class U> 
void f(T& t, U& u){ 
    detail::f(t, u, std::is_same<T,U>()); // tag dispatching 
} 

std::is_sameは、両方のタイプが同じであればstd::true_typeから派生し、std::false_typeから場合しますない。

Answer 2

なぜ無効ですか？ decltypeの結果は、よくタイプです。だから、それは明らかに言語が許さないようなものを言っています。

if (int == int) 

関数の2つの部分を分けて、特殊な部分を特殊なクラスの関数の中に入れ、そこに呼び出しを転送する必要があります。それは痛い。

または実装で正しく実装されている場合は、実行時の型情報typeidを使用することもできますが、プログラムの実行時にすべてを延期します（これにより、最適化はより少なくなります）。

Answer 3

あなたはこのSFINAE（std::enable_if）を使用して行うことができます。Mehrdadが言うようdecltype(t)とdecltype(u)は種類（T &それぞれU &）、値ではありませんので、値式のレベルで比較することはできません、

template<typename T, typename U> 
typename std::enable_if<std::is_same<T, U>::value, void>::type func(T& t, U& u) { 
    std::cout << "same\n"; 
} 
template<typename T, typename U> 
typename std::enable_if<!std::is_same<T, U>::value, void>::type func(T& t, U& u) { 
    std::cout << "different\n"; 
} 

をが、メタ表現（テンプレート）レベルで比較されなければならない。