姓名查询说明

Question

$10.2/4- "[ 注意：在以下位置查找姓名 详细类型说明符 (3.4.4) 或基说明符（第 10 条），对于 实例，忽略所有非类型 声明，同时查找名称 在嵌套名称说明符中 (3.4.3) 忽略函数、变量和 枚举器声明。”

在描述名称查找时，我发现此语句在本节中非常令人困惑。

void S(){}

struct S{
   S(){cout << 1;}
   void f(){}
   static const int x = 0;
}; 

int main(){ 
   struct S *p = new struct ::S;  // here ::S refers to type
   p->::S::f();

   S::x;  // base specifier, ignores the function declaration 'S'

   ::S(); // nested name specifier, ignores the struct declaration 'S'.
   delete p;
} 

我的问题：

1. 我对规则的理解正确吗？

2. 为什么执行 new 的行中的 ::S 自动处理为 struct S，而在最后一行 ::S 表示函数 <全局命名空间中的 code>S

3. 这是否表明文档中存在歧义，还是我又要留下来了 。远离 C++ 标准文档？

Answer 1

问1：我想是的。

Q2：与 C 的兼容性。当您在 C 中声明 struct 时，标记名称就是标记名称。为了能够以独立的方式使用它，您需要一个 typedef。在 C++ 中，你不需要 typedef，这让生活变得更容易。但 C++ 规则由于需要能够导入现有的 C 标头而变得复杂，这些标头用函数名称“重载”了标记名称。典型的例子是 Unix stat() 函数，它使用 struct stat* 作为参数。

Q3：标准阅读通常是相当困难的……你需要知道没有其他地方可以修改你正在阅读的内容。知道如何做到这一点的人是语言律师，这并不奇怪......

Answer 2

您对第二条评论有误。在 S::x 中，S 是嵌套名称说明符中的名称。标准所指的“基本说明符”如下，

namespace B { struct X { }; void X() }
struct A : B::X { }; // B::X is a base-specifier

您对此也不正确：

::S(); // 嵌套名称说明符，忽略结构声明 'S'。`

该代码调用该函数不是因为 ::S 将是一个嵌套名称说明符（它不是一个嵌套名称说明符！），但因为如果函数和类/枚举都在同一范围内声明，则函数名称会隐藏类或枚举名称。

FWIW，以下代码对于 main 的第 2 行同样有效。

p->S::f();

重要的是 S 位于 :: 之前，这使得查找忽略该函数。您将 :: 放在 S 之前对您的情况没有任何影响。