C++ totally_ordered概念误报：非传递自定义序被判定为全序

import std;

class obj_t {
private:
    int8_t val;
    // An object that stores the sign. BUT I define the inequality as
    // -ve sign < 0 < +ve sign < -ve sign.
    // My < and > operators here are symmetric and reflexive NOT transitive.
    // It is somewhat like rock paper scissor with equality defined.
public:
    bool operator == (const obj_t& B) const {
        return ((val > 0 && B.val > 0) || (val < 0 && B.val < 0) || (val == B.val && val == 0));
    }
    auto operator <=> (const obj_t& B) const {
        if (val > 0) {
            if (B.val > 0) return (0 <=> 0);
            else if (B.val < 0) return (0 <=> 1);
            else return (1 <=> 0);
        }
        else if (val < 0) {
            if (B.val > 0) return (1 <=> 0);
            else if (B.val < 0) return (0 <=> 0);
            else return (0 <=> 1);
        }
        else return (val <=> B.val);
    }
    void fill(double n) {
        //  Stores the sign. double -- to accept a large range of any type of number.
        if (n > 1.0e-10) val = 1;
        else if (n < -1.0e-10) val = -1;
        else val = 0;
        return;
    }
};

int main(void) {
    std::println("{}", std::totally_ordered<obj_t>);
    // Prints 'true' -- Meaning the concept fails to catch the
    // unmet "transitivity" condition for total ordering.
    return 0;
}

背景 #

在C++23环境下，上述代码实现了仅存储-1、0、1三个值的obj_t类，其排序逻辑类似“石头剪刀布”：-1 < 0、0 < 1但1 < -1。该序满足自反性、对称性，但不满足传递性，既不属于全序也不属于偏序。然而运行代码后，std::totally_ordered<obj_t>输出为true，由此引出以下问题：

1. C++20概念库是否仅检查spaceship运算符（<=>）或比较运算符是否重载，而非验证全序的传递性等性质？ #

是的，C++标准库的概念不会验证全序所需的语义性质（比如传递性、反对称性等），仅做语法层面的检查：

• 确认类型支持==运算符，且语法上符合等价关系的基本要求；
• 确认类型支持<=>运算符（或能通过<=>合成所有比较运算符），返回类型符合规范；
• 确保比较操作的语法逻辑自洽（比如a < b等价于(a <=> b) < 0）。

标准不做语义验证的核心原因是：这类性质依赖具体运行时值，编译器无法枚举所有可能的对象组合来验证逻辑是否合规，只能约束语法接口。

2. 这是否意味着自定义比较逻辑的结构体在std::vector或std::map等排序容器中使用仍不可靠，需开发者自行确保序的正确性？概念的作用究竟是什么？ #

关于容器可靠性

是的，开发者必须自行保证自定义比较逻辑满足容器要求的语义规则：

• std::sort要求比较器定义严格弱序；
• std::map、std::set要求比较器定义严格弱序，且等价关系符合!comp(a,b) && !comp(b,a)；
  如果比较逻辑违反这些规则（比如上述代码的非传递性），容器行为将是未定义的，可能出现排序错误、查找失效、内存异常等问题。

概念的作用

概念的核心价值不是“验证语义正确性”，而是：

• 接口约束：作为模板参数的门槛，确保传入类型满足模板所需的语法和基础语义约定（比如std::totally_ordered表明该类型支持全序所需的所有比较操作）；
• 清晰的编译错误：若传入类型不支持必要运算符或语法，编译器会给出明确的错误提示，避免陷入复杂的模板展开报错；
• 代码文档化：通过概念标注模板参数要求，让代码意图更直观，比如看到template<std::totally_ordered T>就知道该类型需要支持全序比较。

本质上，概念是语法契约的检查工具，而非语义正确性的验证器——语义层面的合规性始终需要开发者自行保障。

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