c++ - Gcc检查给定的类是否具有运算符+

我在下面创建了一个代码来测试2个类是否存在operator +重载:

template<typename T, typename U>
struct _has_plus_hlp {
    template<typename X, typename Y>
    static std::true_type _check(X&, Y&, decltype(std::declval<X>() + std::declval<Y>()) = {});
    static std::false_type _check(...);

    using type = decltype(_check(std::declval<T>(), std::declval<U>()));
};
template<typename X, typename Y>
constexpr bool has_plus_v = _has_plus_hlp<X, Y>::type::value;

int main()
{
    std::cout << std::boolalpha << detail::has_plus_v<int, std::string> << std::endl;
    auto f = [](auto& a, auto& b) {
        std::cout << std::boolalpha << detail::has_plus_v<decltype(a), decltype(b)> << std::endl;
    };
    std::string str = "HELLO";
    int num = 5;
    f(num, str);
}

这是我在g++(7.4.0)中得到的:



我希望两者都像clang一样都是假的:



我有什么问题吗？

最佳答案

您的原始版本不起作用，因为std::declval<>返回一个r值，并且常规引用无法绑定(bind)到它。解决方法是绑定(bind)到转发引用:

static std::true_type _check(X&&, Y&&, decltype(std::declval<X>() + std::declval<Y>()) = {});

稍微简单一点的版本:

template<class T, class U>
auto has_plus_test(T&& t, U&& u) -> decltype(static_cast<void>(t + u), std::true_type{});

std::false_type has_plus_test(...);

template<class T, class U>
using has_plus = decltype(has_plus_test(std::declval<T>(), std::declval<U>()));

template<class T, class U>
constexpr bool has_plus_v = has_plus<T, U>::value;

int main() {
    std::cout << std::boolalpha << has_plus_v<int, int> << '\n'; // Outputs true.
    std::cout << std::boolalpha << has_plus_v<int, std::string> << '\n'; // Outputs false.
    std::cout << std::boolalpha << has_plus_v<std::string, std::string> << '\n'; // Outputs true.
}