嵌套名称说明符中的类型不完整

Question

我尝试在嵌套名称说明符中使用不完整类型，如下所示：

class A;

int b= A::c; // error: incomplete type ‘A’ used in nested name specifier

class A {
    static const int c=5;
};

在 N3797 工作草案的 3.4.3/1 中没有任何说明：

可以引用类或命名空间成员或枚举器的名称 在 :: 范围解析运算符 (5.1) 之后应用于 a 表示其类、命名空间或 枚举

那么行为实现是否依赖于？

Answer 1

简介

标准中有几个地方暗示你的代码格式不正确，但下面的引用不言自明：

3.3.2p6 声明点 [basic.scope.pdecl]

在类成员声明点之后，可以在其类的范围内查找成员名。

您的代码的问题不在于您试图进入不完整类型的主体内部，问题在于您只能在声明类成员名称之后引用它。。

由于您的前向声明（当然）没有引入任何名为 c 的成员，因此引用此类名称是不正确的。

---

误导性诊断...

gcc 和 clang 在输入您的代码时发出的诊断有点误导，老实说，我觉得应该报告错误。

foo.cpp:3:8: error: incomplete type 'A' named in nested name specifier

我们被允许在 nested-name-specifier 中命名不完整的类型，但如前所述；我们不允许引用尚未声明的成员。

格式错误：

class X {
  static int a[X::x];        // ill-formed, `X::x` has not yet been declared
  static int const x = 123;
};

法律：

class X {
  int const x = 123;
  int a[X::x]; // legal, `X` is incomplete (since we are still defining it)
               //        but we can still refer to a _declared_ member of it
};