c++ - 类静态变量初始化的规则是什么？

Question

我有一些遗留代码，我需要为消息添加一个新类(这与我的问题无关)。但事实证明，我需要声明一个空的构造函数才能初始化一些静态。不是默认构造函数或编译器提供的，而是用户定义的空。我试图将代码缩减为 MWE，这里是我得到的:

#include <iostream>

using namespace std;

struct Test
{
    Test() {cout << "Test::Test()" << "\n";}
    void dummy(){}
};

template<typename T>
struct Message
{
    Message()
    {
        test.dummy(); // this call have to be here in order to initialize Test, but why?
    }

    static Test test;
};

template<typename T>
Test Message<T>::test;

struct A : public Message<A>
{
    //A(){} // uncomment this (and comment the default one) to call the Test constructor
    A() = default;
};

int main()
{
}

这是发生了什么:

• 程序本身是空的，即没有创建任何实例。
• A 类有一个 CRTP，这似乎对示例很重要。
• A 的基类有一个静态声明，我希望调用它的构造函数。
• 有一个对函数的虚拟调用，它什么都不做，但也很关键。

问题是，如果我不提供自定义构造函数，则永远不会调用静态构造函数。我不明白为什么我需要这个？默认值或编译器生成有什么区别？为什么我需要调用虚拟函数？

我相信这是有规则的。我用不同版本的 gcc 和 clang 检查了它——行为是一样的。我非常感谢指向标准/文档的链接。

Answer 1

如果您将 A 构造函数保留为默认值并且从不调用它，则无需生成它，因此也无需创建 test。如果您在定义时明确默认它，调用 A 构造函数或访问 A::test 它将被正确初始化。

12.1 Constructors [class.ctor]

7 A default constructor that is defaulted and not defined as deleted is implicitly defined when it is odr-used (3.2) to create an object of its class type (1.8) or when it is explicitly defaulted after its first declaration.

struct A : public Message<A>
{
    A() = default; // no constructor is emitted unless A is instantiated

    A(); // declaration
};

A::A() = default; // explicit default definition

int
main()
{
    A a; // instantiation
    A::test; // just explicitly access test so it is initialized regardless of A constructor
}