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 的成员，这就是重点。我不明白的是为什么这会导致致命错误而不仅仅是替换失败——在 GCC 上，这段代码的行为完全符合预期并且编译干净。

Answer 1

clang 毫无怨言地编译并运行您的代码。