c++ - SFINAE显式而非隐式地工作

我正在使用库的多个不同版本，这些版本定义了不同的枚举集，并且我试图根据是否存在不同的值在编译时进行切换。我正在使用decltype() vs ...技巧:

enum E {
    FOO = 0,
    BAR
};

template <typename U>
inline void add_FOO(std::vector<U>& v, decltype(U::FOO)* ) {
    std::cout << "YES\n";
}

template <typename U>
inline void add_FOO(std::vector<U>& v, ... ) {
    std::cout << "NO\n";
}

但是当我尝试使用它时:

std::vector<E> v;
add_FOO(v, nullptr);      // prints NO
add_FOO<E>(v, nullptr);   // prints YES

为什么会有所不同？ U应该被推导为E，那么为什么我需要显式指定它？我正在gcc 4.7.2上编译。

最佳答案

对我来说似乎是一个GCC错误。有很多解决方法。例如:

template <typename U>
inline auto add_FOO(std::vector<U>& v, int) -> decltype(U::FOO, void()) {
    std::cout << "YES\n";
}

template <typename U>
inline void add_FOO(std::vector<U>& v, ... ) {
    std::cout << "NO\n";
}

add_FOO(v, 0);

要么

template <typename U, decltype(U::FOO)* = nullptr>
inline void add_FOO(std::vector<U>& v, int) {
    std::cout << "YES\n";
}

template <typename U>
inline void add_FOO(std::vector<U>& v, ... ) {
    std::cout << "NO\n";
}

add_FOO(v, 0);

关于c++ - SFINAE显式而非隐式地工作，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/29521615/