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

我有一些遗留代码,我需要为消息添加一个新类(这与我的问题无关).但事实证明,我需要声明一个空构造函数,以便初始化一些静态.不是默认构造函数或编译器提供的,而是用户定义的空.我试图将代码减少到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的基数有一个静态声明,我期待它的构造函数被调用.
>对函数进行虚拟调用,什么都不做,但也很关键.

问题是如果我不提供自定义构造函数,那么静态构造函数永远不会被调用.我无法理解为什么需要这个？与默认或编译器生成的有什么区别？为什么我需要调用虚函数？

我相信这是有规则的.我用不@R_266_11197@的gcc和clang检查了它 – 行为是一样的.我非常感谢标准/文档的链接.

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
}