C++11 中的 has_equal_operator 实现

Question

我正在尝试在 C++11 中实现 has_equal_operator，到目前为止提出了以下解决方案。它适用于int 或struct A{} 等简单情况，但对于std::vector<A> 则失败（返回误报）。为什么会失败以及如何解决？

#include <vector>
#include <iostream>

template<typename T>
constexpr auto has_equal_operator(int) -> decltype(std::declval<T>() == std::declval<T>(), bool()) { return true; }
template<typename T>
constexpr bool has_equal_operator(...) { return false; }

struct A {};

void test()
{
    std::cout << "has_equal_operator<int>: " << has_equal_operator<int>(0) << std::endl;
    std::cout << "has_equal_operator<A>:   " << has_equal_operator< A >(0) << std::endl;
    std::cout << "has_equal_operator<std::vector<A>>:   " << has_equal_operator< std::vector<A> >(0) << std::endl;
}

输出：

has_equal_operator<int>: 1
has_equal_operator<A>:   0
has_equal_operator<std::vector<A>>: 1

Answer 1

为什么会失败？

std::vector<A> 有一个非成员 operator== 函数模板，它与代码中 std::declval<T>() == std::declval<T>() 中的 == 匹配。所以检查成功。

该函数模板的主体无法编译的事实与 SFINAE 无关；重要的是声明是有效的。

如何解决这个问题？

我能想到的唯一方法是手动将您的特征专门用于标准容器。