为什么 C++20 允许默认比较即使被删除也能编译？

问题描述

考虑以下代码：

struct A {
};
struct B {
    A a;
    bool operator == (const B& other) const = default;
};

clang 给出了一个很好的警告：

警告：明确默认的相等比较运算符是 隐式删除 [-Wdefaulted-function-deleted] bool operator == (const B& other) const = default;

但我想知道为什么这个代码甚至被标准所接受。 我假设如果有人在他的非模板结构/类中默认 operator ==，他的意图是从不被删除 operator ==。

但这是具有一百万个极端情况的 C++，所以可能有一个很好的理由。 也许不是特殊情况模板？

但是 clang 足够聪明，不会警告这段代码......

struct A {
};

template<typename T>
struct TS{
    T t;
    bool operator == (const TS& other) const = default;
};
int main() {
    TS<int> ti;
}

...所以理论上标准也可​​以这样做。

解决方法

在模板中，如果可以存在，您可能需要 ==，否则不需要。

相同的技术用于复制/移动/分配特殊成员函数； =default; 也可以删除成员函数。