静态成员显式定义

Question

考虑这段代码：

#include<iostream>
using namespace std;
class Wilma
{
    public:
        static int i;
        Wilma()
        {
            cout<<"\nWilma ctor\n";
            cout<<"\ni::"<<i<<"\n";
        }
};
class Fred
{
    public:
        Fred()
        {
            cout<<"\nFred ctor\n";

        }
        static Wilma wilma_;
};
int Wilma::i=44;//------------- LINE A
int main()
{
    int a=0;
    Wilma::i=a;//---------- LINE C
    Wilma w;
    Fred::wilma_=w;//---------- LINE B

}

这里 A 行显式定义了 Wilma 类的 static int a。（注释掉会导致链接器错误） 如果没有它，链接器会给出未定义的引用错误。（因为实际上正在使用 Wilma::i，如果我不使用它，则不会出现链接器错误。）

Fred 类的静态 Wilma wilma_ 也应该如此，即它应该显式地显示也定义了..因为它也在 B 行的代码中使用。 但事实并非如此，如果 Fred::wilma_ 未明确定义，则不会出现链接器错误。 为什么？ 在 gcc 4.5.2 上测试

编辑： 我不知何故对此产生了另一个疑问...

LINE C 和 LINE B 都试图使用类的静态对象，int Wilma::i 和 Wilma Fred::wilma_ 分别。 但只有 int Wilma::i 的定义是强制性的？

为什么 Wilma Fred::wilma_; 不是强制性的？

我理解B 行的答案是空操作。但C线也可以这么说？

Answer 1

Wilma 没有非静态字段。 Fred::wilma_=w; 不执行任何操作。

编辑

如果没有非静态成员 - 则没有副本。基本上，该分配是无操作的，可能只是被编译器优化掉了，而链接器从未看到过它。添加非静态成员会使副本成为引用静态变量的实际操作，因此编译器无法对其进行优化，并且链接器会看到它。

Answer 2

您在 Wilma 中声明了 static int i;，但从未定义它。因此，通过在A行中添加回来，将会导致Wilma::i被定义，这就是编译器所抱怨的。所以你必须在类之外的某个地方定义它，而不是在 main 内部。

最后，Fred 和 Wilma 类本质上是空的（除了 ctor 和静态类成员）。他们之间没有什么可以复制的。

编辑：根据 @littleadv 的评论，如果要执行副本，则必须具有相同的类。如果您在 Wilma 类中放置了一个 int j 而在 Fred 类中没有放置任何内容，那么它将不起作用，因为它应该将 j 放置在 Fred 类中的哪里？