为啥在没有 -DPASS 的情况下编译下面的测试用例对 sfinae 不友好

Posted 2023-02-17

【中文标题】为啥在没有 -DPASS 的情况下编译下面的测试用例对 sfinae 不友好

【英文标题】：why compiling below testcase without -DPASS is not sfinae friendly为什么在没有 -DPASS 的情况下编译下面的测试用例对 sfinae 不友好

【发布时间】：2020-08-08 11:20:46

【问题描述】：

 $cat test.cc
 
   #include <type_traits>
    struct foo
    ;
    
    template<typename F,typename A>
    struct other
       
         template<typename f, typename a,
    #ifndef PASS
             typename = decltype(std::declval<F>()(std::declval<A>()))>
    #else
             typename = decltype(std::declval<f>()(std::declval<a>()))>
    #endif
           static std::true_type     _Fn(int);
     
         template<typename...>
           static std::false_type _Fn(...);
    
         typedef decltype(_Fn<F,A>(0)) type;
       ;
    
    int main() 
        static_assert(std::is_same<std::false_type,other<foo&,int>::type>::value,"PASSED");
        return 0;
    


Compilation command: 
g++ test.cc -std=c++11

为什么没有 -DPASS sfinae 在这里不起作用？ 我正在努力编译原始测试用例（没有 -DPASS），但我想出了解决方案（-DPASS），但我无法理解其中的区别？

【参考方案1】：

因为与类方法相关的 SFINAE 作用于方法本身的模板参数，而不是包含类的方法。

您可以使用以下技巧绕过此限制“转换”方法参数中的类参数

template <typename T>
struct foo
   
     template <typename U = T,
         typename = /* some test over U */>
     void bar ();

     // ...

这样U是方法bar的模板参数，但与类的模板参数类型相同，T。

【讨论】：

简而言之，SFINAE 需要对成员函数/函数本身进行模板化，无论它们属于何处（即类、命名空间等）。

如果类模板参数是完全相同的类型，为什么不能直接在方法的重载解析中使用？