试图强制静态对象初始化

Question

我试图初始化一个静态对象,但没有成功.目的是在存储库(单例)中自动注册工厂类.

我已经看过了:如何强制静态成员被初始化？

其中一条评论说(我还有一个例子):

我在C++标准(14.7.1)中读到它:除非已经显式实例化或显式地专门化了类模板或成员模板的成员,否则当在上下文中引用特化时隐式实例化成员的特化.要求成员定义存在; 特别是,除非静态数据成员本身以需要静态数据成员的定义存在的方式使用,否则不会发生静态数据成员的初始化(以及任何相关的副作用).

所以我试图做类似的事情,但我没有设法强制对象初始化.这是代码.我不知道我错过了什么.这是我正在使用的模板.

namespace my_lib
{
    template <typename T>
    struct FactoryHelper
    {
        FactoryHelper ();
        static FactoryHelper<T> _helper;
    };
}

这是库的用户用来定义工厂类的宏,同时在存储库中注册一个对象:

#define CREATE_FACTORY(ClassName)\
namespace my_lib\
{\
    class ClassName##Factory;\
    template<> FactoryHelper<ClassName##Factory>::FactoryHelper () { std::cout << "object initialized!" << std::endl; }\
    template<> FactoryHelper<ClassName##Factory> FactoryHelper<ClassName##Factory>::_helper;\
    struct ClassName##Factory : public FactoryBase<ClassName> {\
      ...\
    };\
} 

前面的代码在头文件(Factory.h)中定义.

在.cpp文件(Example.cpp)中,我有:

CREATE_FACTORY(UnitTestExample)
...

当我执行程序时,我无法看到构造函数在调用时打印的消息.任何帮助都非常受欢迎.

提前致谢.

Answer 1

这是C ++的一个棘手领域。您要做的是尝试在此处定义静态成员：

template<> FactoryHelper<ClassName##Factory> FactoryHelper<ClassName##Factory>::_helper;\

但这实际上是声明，而不是定义。为了使C ++将其视为定义，您必须将某些内容传递给构造函数。通常，这是您要将其初始化为的值：

template<> FactoryHelper<ClassName##Factory> FactoryHelper<ClassName##Factory>::_helper = FactoryHelper<ClassName##Factory>();\

但是在您的情况下，您希望它是一个单例，因此您可能不希望它是可复制的。在这种情况下，您需要一些虚拟参数：

template<> FactoryHelper<ClassName##Factory> FactoryHelper<ClassName##Factory>::_helper(0);\

并且您必须适当地修改构造函数：

template<> FactoryHelper<ClassName##Factory>::FactoryHelper (int) { std::cout << "object initialized!" << std::endl; }\

这是完整的工作示例：

#include <iostream>

namespace my_lib
{
    template<typename> struct FactoryBase { };
    template <typename T>
    struct FactoryHelper
    {
        FactoryHelper (int);
        static FactoryHelper<T> _helper;
    };
}

#define CREATE_FACTORY(ClassName)\
namespace my_lib\
{\
    class ClassName##Factory;\
    template<> FactoryHelper<ClassName##Factory>::FactoryHelper (int) { std::cout << "object initialized!" << std::endl; }\
    template<> FactoryHelper<ClassName##Factory> FactoryHelper<ClassName##Factory>::_helper(0);\
    struct ClassName##Factory : public FactoryBase<ClassName> {\
    };\
} 

struct UnitTestExample {
};

CREATE_FACTORY(UnitTestExample);

int main(int argc,char **argv)
{
  return 0;
}

也就是说，在其他答案中使用某些建议可能是更好的设计决策。

可在此处找到有关显式专门化声明与定义的更多信息：专门化模板类的静态成员初始化