使用std::is_invocable检查模板类型可比较性时出现异常结果

你遇到的这个情况其实是C++模板系统里一个很典型的「签名存在但实例化失败」的场景，咱们一步步拆解清楚：

1. 先搞懂std::vector的operator==到底是什么 #

std::vector的相等比较运算符是一个模板函数，它的核心签名大概长这样：

template <class T, class Allocator>
bool operator==(const std::vector<T, Allocator>& lhs, const std::vector<T, Allocator>& rhs);

这个函数的存在性只依赖于两个参数是同类型的std::vector——不管元素类型T有没有定义operator==，这个函数模板都是存在的。只有当你真正实例化这个函数（也就是实际调用它）的时候，编译器才会去检查函数体里的逻辑：遍历两个vector的元素，逐个执行element == element。

2. std::is_invocable_v的检查逻辑是什么 #

std::is_invocable_v的作用是判断：给定一组参数类型，是否能形成一个有效的调用表达式。对于函数模板来说，它只会检查参数类型是否能匹配模板参数推导，不会去实例化函数体内部的代码。

回到你的例子：std::vector<TNonComparable>作为参数，完全能匹配operator==的模板参数（T推导为TNonComparable，Allocator用默认值），所以is_invocable_v会认为这个调用是可行的，返回true——它不会管函数体里的元素比较是否能通过编译，因为那是实例化阶段的事情，不属于is_invocable的检查范围。

3. 为什么直接调用vec == vec会报错？ #

当你写vec == vec的时候，编译器需要生成这个operator==的具体实例，这时候才会去编译函数体里的代码：遍历元素并比较。这时候发现TNonComparable没有定义operator==，所以触发编译错误——这一步是实例化阶段的错误，而不是「找不到匹配的函数」的错误。

4. 那怎么正确检查vector是否能实际执行相等比较？ #

如果你想判断一个std::vector<T>是否真的能执行==，需要同时检查元素类型T是否可与自身比较，比如：

template <class T>
struct is_vector_equality_valid {
    static constexpr bool value = std::is_invocable_v<std::equal_to<>, T, T>;
};

// 调用示例
std::cout << is_vector_equality_valid<std::vector<TNonComparable>>::value << "\n"; // 0

或者用C++20的requires表达式做更直接的表达式检查：

template <class T>
constexpr bool is_equality_valid() {
    if constexpr (requires(const T& a, const T& b) { a == b; }) {
        return true;
    } else {
        return false;
    }
}

// 调用示例
std::cout << is_equality_valid<std::vector<TNonComparable>>() << "\n"; // 0

这种方式会直接尝试构建a == b的表达式，包括触发函数模板的实例化，能准确判断是否真的可以执行比较。

内容的提问来源于stack exchange，提问作者Ivan Smirnov