C++20下Adapter/Decorator模式代码的==运算符歧义警告原因咨询

问题的核心在于C++20中隐式合成比较运算符的规则，以及装饰器嵌套顺序对重载解析候选函数集的影响：

1. 两种嵌套顺序的差异 #

情况1：Ordered<Addable<Value<int>>> #

Ordered模板显式定义了operator==，根据C++20规则，只要类显式声明了任意比较运算符，编译器就不会为其合成其他比较运算符。因此，当比较该类型的两个对象时，重载解析的候选函数只有Ordered中定义的operator==，没有其他可行候选，自然不会产生歧义。

情况2：Addable<Ordered<Value<int>>> #

Addable模板仅定义了加法相关的运算符，没有显式声明任何比较运算符。此时C++20编译器会自动为Addable合成一个隐式的operator==，这个合成运算符的逻辑是递归比较所有基类和非静态成员——对于Addable来说，就是调用其基类Ordered<Value<int>>的operator==来完成比较。

同时，Addable继承了Ordered<Value<int>>的operator==，这个继承来的运算符也会被纳入重载解析的候选函数集。

2. 歧义产生的直接原因 #

当比较两个Addable<Ordered<Value<int>>>对象时，编译器会找到两个可行的operator==候选：

• 合成的Addable<Ordered<Value<int>>>::operator==(const Addable<Ordered<Value<int>>>&)：参数完全匹配当前类型，无需额外转换。
• 继承自Ordered<Value<int>>的operator==(const Ordered<Value<int>>&)：需要将Addable对象隐式转换为基类Ordered<Value<int>>类型。

虽然从理论上讲，合成的运算符匹配度更高，但GCC 15.2.1在C++20模式下的重载解析逻辑中，认为这两个候选的匹配优先级足够接近，因此触发了歧义警告。

解决思路 #

要消除这个警告，只需在Addable模板中显式声明operator==，让编译器不再合成隐式版本即可：

template <typename T>
struct Addable : T {
    using T::T;
    Addable operator+(const Addable& other) const {
        return Addable(static_cast<const T&>(*this) + static_cast<const T&>(other));
    }
    // 显式声明operator==，复用基类的实现
    bool operator==(const Addable& other) const {
        return static_cast<const T&>(*this) == static_cast<const T&>(other);
    }
};

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