MSVC10 SFINAE导致致命的错误，而不是替代失败

Question

我有一个（相对）简短的代码示例在这里。

#include <type_traits> 

template<typename T> class function; 
template<typename Ret> class function<Ret()> { 
public: 
    template<typename Func> function(Func f, typename std::enable_if<std::is_same<Ret, decltype(f())>::value, int>::type x = 0) { 
    } 
}; 
template<typename Ret, typename A1> class function<Ret(A1)> { 
public: 
    template<typename Func> function(Func f, typename std::enable_if<std::is_same<Ret, decltype(f(*((A1*)nullptr)))>::value, int>::type x = 0) { 
    } 
}; 

namespace lols { 
    int x() { return 0; } 
    int y(int) { return 0; } 
} 
void func(function<int()>) {} 
void func(function<int(int)>) {} 

int main() { 
    func(&lols::x); 
    func(&lols::y); 
} 

MSVC抛出此，说type不是enable_if<false, int>一员，这是一种点的。我没有得到的是为什么这会导致一个致命的错误，而不仅仅是一个替代失败 - 在GCC上，这个代码的行为与预期完全一致，并且干净地编译。

Answer 1

clang编译和运行您的代码没有抱怨。