匿名结构中声明的函数的名称解析

Question

A、B、C 在f 定义的参数列表中的以下代码中的名称解析是否应该工作？

namespace ns
{
struct A {};
struct S
{
    struct B {};
    struct
    {
        struct C {};
        void f(A, B, C);
    } x;
};
}

#include <type_traits>

void std::type_identity_t<decltype(ns::S::x)>::f(A, B, C) {}

int main()
{
}

其实是works最新clang。

Answer 1

[basic.lookup.unqual]/8 对于X 类的成员，在X 定义之外的类成员定义中使用的名称... ，在成员的 declarator-id(24) 之后，应以下列方式之一声明：
...
(8.2) — 应该是 X ... 类的成员，或者
(8.3) — 如果X 是类Y (11.4.10) 的嵌套类，则应是Y 的成员，...或
...
(8.5) — 如果X 是命名空间N 的成员，或者是作为N 成员的类的嵌套类，...在使用名称之前，在命名空间N 中或在N 的封闭命名空间之一中。

脚注 24) 即，出现在例如 parameter-declaration-clause 或 noexcept-specifier 中的类型中的非限定名称。

这里X 是decltype(ns::S::x)，Y 是S，N 是ns。因此，A 是通过 (8.5)、B 通过 (8.3)、C 通过 (8.2) 找到的。