Question

我正在使用定义了不同枚举集的多个不同版本的库，并且我尝试根据是否存在不同的值来在编译时切换。我使用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。

Answer 1

对我来说看起来像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);

SFINAE明确但不含蓄

1 个答案: