コンパイル時にタイプに "bool operator ==（const type＆、const type＆）"というウェイテストがありますか？

Question

"type == type"をテストするクラスを作成しますが、typeに演算子がない場合は失敗します。

template <typename _Type> 
double _test(...){ 
    return 0; 
} 

template <typename _Type> 
auto _test(_Type&& t)->decltype(t == t){ 
    return 0; 
} 

template <typename _Type> 
struct has_equal_to 
{ 
    static const bool value = sizeof(_test(std::declval<_Type>())) == sizeof(char); 
}; 

struct test{}; 

int main() 
{ 
    std::cout << has_equal_to<test>::value << std::endl; // compile failed ~~~~ 
    return 1; 
} 

誰でも手伝ってもらえますか？ それとも、このようなクラスを記述することは不可能である.....

Answer 1

_Typeを推定することができず、とにかくそのコンテキストでは関係ありませんとあなたの最初のtestの過負荷は、テンプレートではありません。

double _test(...){ 
    return 0; 
} 

Live Demo

---

あなたは少し少ない定型を使用して同じことを達成することができますC++ 17の（あなたが簡単にC++ 11のために自分自身を実装することができます）std::void_t：

template <typename T, typename = void> 
struct has_equal_to : std::false_type{}; 

template <typename T> 
struct has_equal_to<T, 
     std::void_t<decltype(std::declval<T>() == std::declval<T>())>> 
: std::true_type{}; 

Live Demo

---

それとも、さらに少ないためstd::experimental::is_detectedを使用することができます。無関係なノートで

template <typename T> 
using equal_to_t = decltype(std::declval<T>() == std::declval<T>()); 

template <typename T> 
using has_equal_to = std::experimental::is_detected<equal_to_t, T>; 

Live Demo

---

を、あなたは私たちいけませんアンダースコアで始まる名前。それらは実装に予約されています。