gpt4 book ai didi

c++ - SFINAE 显式工作但不隐式工作

转载 作者:行者123 更新时间:2023-11-30 03:54:26 26 4
gpt4 key购买 nike

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

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/

26 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com