using指令/声明引入的名称能否作为友元声明的详述类型说明符？

原问题 #

通过using指令（using-directive）或using声明（using-declaration）引入的名称能否用作友元声明的详述类型说明符（elaborated-type-specifier）？

为何主流编译器（GCC、Clang、MSVC）能成功编译以下代码？

namespace impl {
class A;
} // namespace impl

namespace api {
using namespace impl;
} // namespace api

class B
{
    friend class api::A;     // (1)
};

我认为此类友元声明需要使用详述类型说明符（即class关键字后跟类名），但当前翻译单元中并不存在api::A类——using指令并未声明该类，仅影响名称查找规则。因此我预期标记为(1)的行会编译失败，提示api命名空间中无class A，但主流编译器均接受该代码，我遗漏了什么？

核心解答 #

你遗漏了C++标准中**限定名称查找（qualified name lookup）**的特殊规则：

当使用形如N::X的限定名称时，查找规则并非仅局限于命名空间N的直接成员：

1. 首先在N及其内联命名空间集合中查找X；
2. 如果找不到，会递归查找所有被N中的using-directive引入的命名空间，以及这些命名空间的using-directive引入的其他命名空间。

回到你的代码：

• 查找api::A时，先检查api的直接成员，找不到A；
• 由于api中有using namespace impl;，会继续在impl中查找，最终找到impl::A；
• 因此friend class api::A;会被解析为将impl::A声明为B的友元，符合标准，编译器自然接受。

后续问题解答 #

若将using指令替换为using声明using impl::A;，会在api命名空间中直接引入名称A——它并非独立的新类型，而是impl::A的别名（准确来说，是在api中声明了一个名称A，其指代的就是impl::A）。此时api::A是api命名空间的合法成员，friend class api::A;完全合规，编译器当然会接受。

内容的提问来源于stack exchange，提问作者Igor G