我正在寻找当我被允许在另一个类的头文件中做类的前向声明的定义:
我是否可以为基类，为作为成员持有的类，为通过引用传递给成员函数的类，等等这样做?
当前回答
在文件中，只使用指向类的指针或引用。指针/引用不能调用任何成员/成员函数。
//前向声明
我们可以声明类型为Foo*或Foo&的数据成员。
我们可以声明(但不能定义)带有Foo类型的参数和/或返回值的函数。
可以声明类型为Foo的静态数据成员。这是因为静态数据成员定义在类定义之外。
其他回答
主要规则是，只能前向声明那些内存布局(以及成员函数和数据成员)不需要在前向声明的文件中知道的类。
这将排除基类和任何通过引用和指针使用的类。
我只是想补充一件重要的事情，你可以用Luc Touraille的回答中没有提到的转发类来做。
使用不完整类型可以做什么:
定义接受/返回的函数或方法 指向不完整类型的指针/引用并转发该指针/引用 到另一个函数。
void f6(X*) {}
void f7(X&) {}
void f8(X* x_ptr, X& x_ref) { f6(x_ptr); f7(x_ref); }
模块可以将前向声明类的对象传递给另一个模块。
除了指向不完整类型的指针和引用外，还可以声明函数原型来指定不完整类型的参数和/或返回值。但是，不能定义具有不完整形参或返回类型的函数，除非它是指针或引用。
例子:
struct X; // Forward declaration of X
void f1(X* px) {} // Legal: can always use a pointer
void f2(X& x) {} // Legal: can always use a reference
X f3(int); // Legal: return value in function prototype
void f4(X); // Legal: parameter in function prototype
void f5(X) {} // ILLEGAL: *definitions* require complete types
假定前向声明将使代码得到编译(obj被创建)。但是，除非找到定义，否则链接(exe创建)将不会成功。
Lakos区分类的使用
In-name-only(向前声明就足够了)和 In-size(为此需要类定义)。
我从来没见过比这更简洁的发音:)
