STD：：STRONG_ORDING和STD：：STWAY_ORDING的现实意义

我读了一些关于C++20的consistent comparison(即operator<=>)的内容，但无法理解std::strong_ordering和std::weak_ordering之间的实际区别(_equality版本也是如此)。
除了描述类型的可替换性之外，它还会影响生成的代码吗？它是否添加了任何有关如何使用该类型的约束？
我很想看到一个真实的例子来证明这一点。

---

解决方案

它是否添加了任何有关如何使用该类型的约束？

一个非常重要的约束(这不是原始文章的目的)是采用strong_orderingbyP0732的重要性作为类类型可以用作非类型模板参数的指示符。由于模板等效性的工作方式，weak_ordering对于这种情况是不够的。不再是这种情况，因为非类型模板参数不再以这种方式工作(有关问题的解释，请参阅P1907R1；有关新规则的措辞，请参阅P1907R1)。

通常，一些算法可能只需要weak_ordering，但其他算法需要strong_ordering，因此能够在类型上注释它可能意味着编译错误(提供的排序不够强)，而不是简单地在运行时无法满足算法的要求，因此只是未定义的行为。但我所知道的标准库和Ranges TS中的所有算法都只需要weak_ordering。我不知道有哪一个需要strong_ordering从我的头顶上移走。

它是否确实会影响生成的代码？

在需要strong_ordering或算法根据比较类别显式选择不同行为的情况下，否。