(C++奇技淫巧）如何在编译期间检测两个类型之间是否能进行某种运算。

Croper

翻了半天的boost库总结出来的,把hana::is_valid翻写了一个容易理解点的版本：
以“==”操作为例：

1. using namespace std;
   
2. template <typename T1,typename T2>
   
3. struct CanEqual{
   
4. private:
   
5.         template <typename =decltype(declval<T1>()==declval<T2>())>
   
6.         constexpr static auto answer(int) { return true; };
   
7.         constexpr static auto answer(...) { return false; };
   
8. public:
   
9.         constexpr operator bool(){
   
10.                 return answer(0);
    
11.         }
    
12. };
    

复制代码

测试：

1. struct Test1 {};  //没有任何转换函数
   
2. 
   
3. struct Test2 {
   
4.         bool operator==(int) const; //能够与int进行==操作
   
5. };
   
6. 
   
7. 
   
8. int main() {
   
9.         constexpr bool a = CanEqual<int, int>();  //true
   
10.         constexpr bool b = CanEqual<double, int>();//true
    
11.         constexpr bool c = CanEqual<string, int>();//false
    
12.         constexpr bool d = CanEqual<Test1, int>();//false
    
13.         constexpr bool e = CanEqual<Test2, int>();//true
    
14. }

复制代码