我来拆解你困惑的两个核心问题，用更直白的逻辑和例子帮你理解：

首先搞懂：什么是「合成」三路比较？ #

这里的**「合成」（synthesized）并不是指编译器给你的类凭空生成一个operator<=>成员函数**（那是你写operator<=>() = default;才会触发的编译器生成成员行为）。

它的真实含义是：当你的代码里出现a <=> b的表达式，但你的类既没有直接定义operator<=>，也没有用= default让编译器生成它时，编译器会尝试在这个表达式的调用点，临时按照规则计算出该表达式的返回值——注意是计算表达式结果，不是给你的类新增成员函数，只是在用到a<=>b的地方，替你把这个表达式的结果凑出来。

关于「可行重载候选既允许又阻止合成」的矛盾逻辑 #

这个规则看起来绕，本质是优先级判断逻辑，我们拆成三步看就清晰了：

1. 优先使用已有的operator<=>重载 #

规则第一条的核心是：如果a <=> b的重载决议能找到可用的候选（比如你自己定义了一个返回std::strong_ordering的operator<=>），而且这个候选的返回值能通过static_cast<T>转成你期望的目标类型T（比如你写a<=>b时要的是std::strong_ordering），那直接用这个重载的结果转成T即可——这时候走现成的重载，不需要触发后续的合成逻辑。

2. 已有重载但不可用？直接报错（阻止合成） #

如果a <=> b的重载决议找到了至少一个可行候选，但不满足第一条的条件（比如你定义的operator<=>返回bool，没法转成std::strong_ordering），那编译器会直接判定「合成三路比较未定义」——也就是编译报错。

这是因为：编译器看到你已经主动定义了operator<=>，说明你想自己控制三路比较的行为，但你的重载又没法满足当前表达式的需求，编译器不会自作主张走兜底的合成逻辑，直接提示你代码有问题。

3. 完全没有operator<=>重载时，才走兜底合成 #

只有当a <=> b的重载决议完全找不到任何可行候选，同时满足以下三个条件：

• 目标类型T是C++标准库的比较分类类型（std::strong_ordering/weak_ordering/partial_ordering）
• a == b的重载决议有可用候选
• a < b的重载决议有可用候选

编译器才会触发后续的兜底合成逻辑：用==和<的结果，按照目标分类类型的规则，拼凑出三路比较的返回值（比如用a==b判断相等性，用a<b判断大小，最终返回对应的strong_ordering::equal/less/greater等值）。

举个例子帮你落地理解 #

场景1：没有定义operator<=>，触发兜底合成 #

struct MyInt {
    int val;
    // 只定义==和<
    bool operator==(const MyInt& other) const { return val == other.val; }
    bool operator<(const MyInt& other) const { return val < other.val; }
};

// 代码中用到a<=>b
int main() {
    MyInt a{1}, b{2};
    std::strong_ordering cmp = a <=> b; // 触发合成逻辑
    // 编译器会替你把这个表达式转换成：
    // a==b ? std::strong_ordering::equal : a<b ? std::strong_ordering::less : std::strong_ordering::greater
}

场景2：定义了不可用的operator<=>，直接报错 #

struct MyInt {
    int val;
    bool operator==(const MyInt& other) const { return val == other.val; }
    bool operator<(const MyInt& other) const { return val < other.val; }
    // 定义了一个返回bool的operator<=>，和目标类型不兼容
    bool operator<=>(const MyInt& other) const { return val != other.val; }
};

int main() {
    MyInt a{1}, b{2};
    std::strong_ordering cmp = a <=> b; // 编译报错
    // 原因：重载决议找到了bool返回的候选，但无法转成std::strong_ordering，直接触发「合成未定义」
}

核心总结 #

1. 合成≠生成成员函数：是编译器在a<=>b的调用点临时计算结果，不是给你的类新增operator<=>成员。
2. 重载决议的优先级逻辑：
   • 有可用的operator<=>重载 → 直接用现成的
   • 有不可用的operator<=>重载 → 报错，不走兜底
   • 完全没有operator<=>重载 → 检查==和<是否可用，可用则兜底合成结果