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

问：

请考虑以下代码：

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

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

警告：显式默认的相等比较运算符是 隐式删除 [-Wdefaulted-function-deleted] bool 运算符 == （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;
}

...所以从理论上讲，标准也可以做同样的事情。