c++ - 为什么我不能只使用前向声明 C++ 来声明类的静态成员？

Question

为什么我不能在不提供完整定义(包括)的情况下在类中声明静态成员？

我知道前向声明只能在类的成员未真正使用时使用，例如声明指针或引用，因为编译器必须知道类型的大小，并且所有指针或引用的大小都相同。但是为什么我不能这样声明一个静态成员呢？我的意思是变量不会存在于类的任何实例中，它不会加起来等于对象的大小，也不会是生命周期，它会在第一次使用时被初始化。声明静态成员仅适用于程序员，只需提供名称(例如:Type::static_var)和访问修饰符，但它将作为所有全局变量存在于程序的 .text 部分。

在代码中:啊啊

class B;

class A
{
    static B b;
    //other stuff
}

B.h

class B
{
    C c;
    D d;
}

A.cpp

B A::b;
///whatever more
A::A(){}
///...

在其他地方会是这样的:

class D : A{/*...*/};
class C : A{/*...*/};

我知道只要做 #include "B.h" 就可以很容易地解决这个问题，但我做不到，因为我的 B 结构有一堆继承自 A，这将导致循环包含。我只想要一个从 A 继承的每个对象的列表，以便从每个从 A 继承的对象访问(我知道这听起来很乱，但在我们的项目中是有意义的，并且一切都在编译时解决)。我们目前正在使用指针来实现它，在 main 中设置它，但我希望它在 A 中存在，而不是全局命名空间。

Answer 1

Why can't I declare an static member inside a class without providing the full definition

可以。只要声明不是定义，语言就允许这样做。你例子中静态成员的声明不是定义，所以没有问题。

程序中的问题是在A.cpp 中定义静态成员变量之前未能定义B。以下简化程序是合式的:

class B;

class A
{
    static B b; // B is incomplete; this declaration is fine
};

class B{};      // B is now complete

B A::b;         // The variable can be defined, because B is complete

---

it will be initialized the first time is used.

没有；这不是静态成员的工作方式。它们在静态初始化阶段的程序启动期间被初始化，就像具有静态存储的命名空间变量一样。