std::is_comparable

`std::is_comparable`是C++标准库中的一个模板元宏，它来自头文件`<type_traits>`。这个宏用于类型 trait 技术，用于检查两个给定类型的是否可以进行比较操作。如果这两个类型都支持比较运算符（如`==`, `!=`, `<`, `>`, `<=`, `>=`），那么`std::is_comparable<T, U>::value`将返回`true`，否则为`false`。

例如：

template <typename T, typename U>
struct is_comparable : std::integral_constant<bool,
    std::is_arithmetic<T>::value && std::is_arithmetic<U>::value ||
    std::is_same_v<T, U> ||
    std::is_convertible_v<T, U> || std::is_convertible_v<U, T>>
{};

int main() {
    static_assert(is_comparable<int, int>::value, "ints are comparable");
    static_assert(!is_comparable<int, std::string>::value, "ints and strings not comparable");
}