嵌套类和 ADL

Question

代码如下：

namespace Namespace
{
    struct L0
    {
        enum SomeEnum
        {
            EnumVal
        };

        struct L1
        {
            friend void f(SomeEnum)
            {
                std::cout << "f()" << std::endl;
            }
        };

        friend void g(SomeEnum)
        {
            std::cout << "g()" << std::endl;
        }
    };
}

int main()
{
    f(Namespace::L0::EnumVal); // error: f not defined
    g(Namespace::L0::EnumVal); // good
}

这里的思路是让编译器通过ADL找到f()和g()。

但是，此代码无法使用 gcc 或 clang 编译。类似的代码似乎在 MSVC 下编译得很好。

也许我错过了一些东西，但我真的不明白代码有什么问题，以及它是否有问题。如果有人能对此有所了解，那就太好了。

PS。新年快乐：）

Answer 1

SomeEnum 不是 L1 的成员，因此 ADL 找不到 L1 中定义的函数。

我相信，这是您正在寻找的报价：

首先在类或类模板 X 中的友元声明中声明的名称成为 X 的最内层封闭命名空间的成员，但不能用于查找（除了考虑 X 的参数相关查找），除非在提供了命名空间范围 - 有关详细信息，请参阅命名空间。