当前草案是否允许形成由两个非静态成员声明组成的重载集，其中一个具有引用限定符

问题描述

basic.scope#scope-3.3.1 说

两者都声明具有相同参数类型列表的函数，等价的 ([temp.over.link]) 尾随 requires 子句（如果有，除非在 [temp.friend] 中指定），并且，如果两者都不是-静态成员，相同的 cv 限定符（如果有）和 ref 限定符（如果两者都有）

上面的规则可以理解为，对于两个具有相同参数类型列表的非静态成员函数，如果有人有一个cv-qualifiers，那么两个声明应该有相同的cv-qualifiers；如果两个声明都有 ref-qualifier，则它们应该具有相同的 ref-qualifier。否则，它们不对应。

struct A{
    void show();  //#1
    void show() const &;  //#2
};

在这个片段中，#1 是否对应于 #2？由于 #2 有一个 cv 限定符但 #1 没有，即使具有相同 ref-qualifier 的条件为真，根据规则（注意该规则中强调的 和 )，它们不对应。那么，这是否意味着草案允许从这两个声明中形成一个重载集？毕竟，over.load#2.3 部分已被 P1787 删除。

解决方法

此更改是 phrasing the rules more orthogonally 的无意结果，但由于这种正交性允许一些额外的有意义的重载集，因此并不急于“修复”它。特别是，它可能适用于目前正在考虑的 proposal for deducing this。