关于std::variant及其vector的C++概念兼容性问题问询

问题1：包含不可比较类型的std::variant误通过Concept检查 #

核心原因 #

当前的operator_compatible/operator_compatible_with概念大概率采用了存在性验证逻辑——只要存在该类型的某个实例能执行目标运算符，Concept就会通过。对于std::variant<int, non_comparable>，当两个对象都持有int值时，std::less<>{}(var1, var2)是合法的，因此Concept判定通过，但这与“所有备选类型都需支持运算符”的预期不符。

修正方案 #

将Concept改为全称性验证，确保std::variant的所有备选类型都满足运算符兼容要求。利用模板参数包和折叠表达式实现：

// 基础：检查单个类型对是否支持目标运算符
template <template <class...> class Op, class Lhs, class Rhs>
concept operator_compatible_with = requires(Lhs lhs, Rhs rhs) {
    Op{}(lhs, rhs);
};

// 针对单个类型的运算符兼容检查
template <template <class...> class Op, class T>
concept operator_compatible = operator_compatible_with<Op, T, T>;

// 特化std::variant的检查逻辑：所有备选类型都需满足
template <template <class...> class Op, class... Ts>
concept operator_compatible<Op, std::variant<Ts...>> = (... && operator_compatible<Op, Ts>);

修改后，只有当std::variant的所有备选类型都支持目标运算符时，Concept才会通过，完全匹配预期。

问题2：vector<std::variant<...>>触发Concept评估硬错误 #

核心原因 #

编译器在评估std::vector<std::variant<int, non_comparable>>的Concept约束时，会尝试实例化vector元素的比较逻辑。std::variant的比较运算符在编译阶段会检查所有备选类型的兼容性，当遇到non_comparable这类不支持比较的类型时，会直接触发编译错误，而非SFINAE友好的约束失败。

修正方案 #

使用上文修改后的operator_compatibleConcept，针对std::variant做特殊处理，直接验证其所有备选类型的兼容性，而非调用variant自身的比较运算符。这样在检查vector元素时，会递归验证variant的每个备选类型，一旦发现不兼容类型，会通过SFINAE优雅地拒绝，避免硬错误。

示例约束函数：

template <class Container>
requires operator_compatible<std::less<>, typename Container::value_type>
void foo(Container) {
    // 函数实现
}

此时传入std::vector<std::variant<int, non_comparable>>时，Concept会因non_comparable不满足约束而SFINAE失败，不会触发硬错误。

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