C++ 嵌套类前向声明​​错误

Question

我试图在 A 类中声明并使用 B 类 并在 A 之外定义 B。
我知道这是可能的，因为 Bjarne Stroustrup
在他的书《C++ 编程语言》中使用了这个
（第 293 页，例如 String 和 Srep 类）。

所以这是我导致问题的最小代码段

class A{
struct B; // forward declaration
B* c;
A() { c->i; }
};

struct A::B { 
/* 
 * we define struct B like this becuase it
 * was first declared in the namespace A
 */
int i;
};

int main() {
}

这段代码在 g++ 中给出了以下编译错误：

tst.cpp: In constructor ‘A::A()’:
tst.cpp:5: error: invalid use of undefined type ‘struct A::B’
tst.cpp:3: error: forward declaration of ‘struct A::B’

我试图查看 C++ 常见问题解答，我得到的 closeset 是 此处 和 此处但是
这些不适用于我的情况。
我还从这里阅读此内容，但这并不能解决我的问题。

gcc 和 MSVC 2005 都会给出编译器错误

Answer 1

表达式c->i取消对指向struct A::B的指针的引用，因此此时程序中的完整定义必须可见。

最简单的修复方法是使 A 的构造函数成为非内联的，并在定义 struct A::B 后为其提供主体。

Answer 2

在定义结构体 B 之后定义 A 的构造函数。

Answer 3

这是一个很好的例子，说明了为什么要将定义与声明分开。 您需要更改事物的顺序，以便在定义 struct A::B 定义之后定义构造函数 A::A()。

class A
{
    struct B;
    B* c;
    A();
};

struct A::B
{
    int i;
};

A::A() { c->i; }

int main()
{
    return 0;
}

Answer 4

有趣的是，我在 Stroustrup 书中提到的第 293 页（“11.12 A String Class”）中遇到了同样的问题。

印刷书中提供的示例似乎有问题，提供了以下内联方法，而不是在 struct Srep 的定义之后定义它们，

class String {
  // ...
  void check(int i) const { if (i<0 || rep->sz <=i) throw Range(); }
  char read(int i) const { return rep->s[i]; }
  void write(int i, char c) { rep=rep->get_own_copy(); rep->s[i]=c; }
  ...etc...

我用谷歌搜索了一下，找到了作者对此 String 类的最新实现，可在此处找到：
http://www2.research.att.com/~bs/string_example.c

他似乎对其进行了修改，使这些方法不再内联，以避免该线程中提到的问题。