C＆＃x2B;＆＃x2B; `使用命名空间指令使全球范围操作员消失了吗？

Question

由于我不明白的原因，以下C ++代码未能在VS 2022上编译（方言设置为C ++ 20）：

#include <compare>

namespace N1
{}

namespace N1::N2
{
    class A {};
    A operator-(A&);
}

std::strong_ordering operator-(std::strong_ordering o);

namespace N1
{
    using namespace N2; // (1) !!!

    std::strong_ordering foo();
    inline std::strong_ordering bar()
    {
        return -foo(); // (2) !!!
    }
}

在（2），编译器文件投诉：错误c2678：biarmin' - '：no发现操作员采用了“ std :: strong_ordering”类型的左手操作数（或没有可接受的转换）。

当使用命名空间 在（1）上删除指令时，编译器愉快地找到了运算符 -在全球范围上定义的std :: stront :: strong_ordering类型。

这引起了一系列问题：

1. 该vs 2022行为（a）一个错误，（b）允许甚至（c）根据语言标准进行强制性？
2. 如果是（b）或（c），如何？标准中的哪些特定句子允许/要求编译器到 在全局范围上找到ocerator-？
3. 您将如何建议解决这个问题，以假设使用命名空间指令的是否可以留下来？

实时演示

Answer 1

您的编译器是正确的，我希望其他编译器同意。

有关A 使用指导的行为，请参见C ++ 20 [namespace.udir]/2：

a 使用指导性指定指定名称空间中的名称可以在使用指导后出现使用出现的范围中使用。 。在不合格的名称查找（6.5.2）中，名称出现
好像它们是在最近的封闭名称空间中声明的，该空间包含使用指导和提名的名称空间。

换句话说，如果n1包含使用名称空间N2;，则仅出于未合格的名称查找的目的，则n2中的名称将显示为它们处于n1和n2的最低祖先名称空间。由于n2在n1内N2在执行不合格的名称查找时出现N1。

这意味着运算符的无限制查找 -将找到n2 ::操作员 -，并且不会进入全局名称空间以继续搜索其他声明。请参阅[basic.lookup.unqual]/1：

在6.5.2中列出的所有情况下，范围搜索以各自类别中列出的顺序搜索声明；名称查找后立即结束该名称的声明。如果找不到声明，则该程序的形式不佳。

要解决这个问题，有两种策略。一种是将运算符 -放置在声明该类型的名称空间中的类型，以便通过参数依赖性查找找到。但是，您不允许将操作员的过载添加到std名称空间。另一种策略是重新运行操作员 -您要使用使用declaration ：

using namespace N2;
using ::operator-;

这有效地带来了您想要的operator-“一个级别”更深的”，将其与其他运算符 -相同的水平，这要归功于使用指导性的，因此，无限制的名称查找将同时找到，并且编译器将执行执行超负荷分辨率。

Answer 2

运算符 - 来解决问题。

...
namespace std
{
    strong_ordering operator-(strong_ordering o);
}
...

我现在通过让运算符 -在std ::，即：我不确定搞乱是否很好的练习中，通过使用std :: namespace;欢迎评论。