匿名结构体中声明的函数名称解析：f定义参数列表的A、B、C应被解析吗？

是的，这段代码里f函数参数列表中的A、B、C完全符合C++标准的解析规则，Clang最新版本能正常编译运行是正确的行为。下面我们拆解一下背后的逻辑：

1. 原始声明中的名字查找逻辑 #

先看ns::S::x内部的f声明：

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

这里的参数名查找遵循C++的作用域链规则：

• C：直接在当前匿名结构体作用域找到定义的struct C；
• B：匿名结构体是ns::S的成员，所以向上查找外层的ns::S作用域，找到struct B；
• A：继续向上到ns命名空间，找到struct A。

2. 函数定义中的名字查找逻辑 #

再看全局作用域中的函数定义：

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

这里的std::type_identity_t<decltype(ns::S::x)>等价于ns::S内部那个匿名结构体的类型（type_identity_t的作用就是返回传入的原始类型）。

根据C++标准，成员函数定义的参数列表会优先在该函数所属类/结构体的作用域中查找名字，再向外层延伸：

• 首先进入匿名结构体的作用域，直接匹配到C；
• 接着向上到ns::S作用域，匹配到B；
• 最后向上到ns命名空间，匹配到A。

这种查找规则是C++作用域解析的核心规则之一，Clang准确实现了这一点，所以代码可以正常编译。

内容的提问来源于stack exchange，提问作者Tomilov Anatoliy