当父 class 没有为自己定义宇宙飞船运算符时覆盖宇宙飞船运算符

Question

编译器对以下代码的处理方式不同：

#include <compare>

struct A;

struct I {
    virtual std::strong_ordering operator <=>(const A&) const { 
        return std::strong_ordering::equal; 
    }
};

struct A : I {
    virtual std::strong_ordering operator <=>(const A&) const = default;
};

GCC 和 MSVC 都接受它，但 Clang 不接受它返回错误：

warning: explicitly defaulted three-way comparison operator is implicitly deleted [-Wdefaulted-function-deleted]
    virtual std::strong_ordering operator <=>(const A&) const = default;
defaulted 'operator<=>' is implicitly deleted because there is no viable three-way comparison function for base class 'I'
error: deleted function 'operator<=>' cannot override a non-deleted function
    virtual std::strong_ordering operator <=>(const A&) const = default;

演示： https://gcc.godbolt.org/z/WGrGTe89z

似乎 Clang 是这里唯一的一个，因为I::operator <=>(const I&) const没有定义，所以A::operator <=>(const A&) const必须被隐式删除，并且是一个删除的方法无法覆盖I中未删除的方法。 其他编译器是否也有权接受代码？

Answer 1

一旦您编写了A a; a < a; A a; a < a; ，这让我觉得 Clang 过早地拒绝了它。 在[class.compare.default]中，标准说：

用于 class C 的比较运算符 function C 在其第一个声明中默认并且未定义为已删除，当它被使用或需要常量评估时隐式定义。 比较运算符 function 的默认定义中的名称查找是从与其函数体等效的上下文中执行的。 出现在 class 中的默认比较运算符的定义应是该 function 的第一个声明。

由于在您的示例中没有解析为A::operator<=>(const A&)的表达式，因此不需要定义并且不应拒绝它，即使 function 总是最终被删除。