如何在没有宏的情况下在C++中实现封装序列化

How do you implement an encapsulated serialization in C++ without a macro?

本文关键字：C++ 实现 封装 序列化 情况下      更新时间：2023-10-16

我对此感到疑惑。我试图编写一个C++类来序列化多态对象。也就是说，我有一个

template<class T>
class PolymorphicSerializable {
   ...
};

它可以是从可序列化多态层次结构的根继承的CRTP（即"T"成为该根类）。它包含一个"静态"成员变量，该变量是类名到工厂函数或函数对象的映射，这些函数或对象可以在加载时构造保存的派生类的新实例（类的名称与数据一起保存）。

然而，我遇到的问题是，这个静态成员当然必须初始化。我现在做这件事的方式是使用一些宏来填充这个样板。然而，问题是，要初始化静态，我们当然需要模板参数，如果"T"是模板实例（即根类是模板实例），我会遇到类似的东西

MACRO_FOR_INITIALIZING_STATIC_MEMBER(SomeClass<int, int>)

（不是它的实际名称），C++预处理器不喜欢这样，因为逗号。放置

MACRO_FOR_INITIALIZING_STATIC_MEMBER((SomeClass<int, int>))

也不起作用，因为模板参数（即PolymorphicSerializable的"t"）不能包含在圆括号中，而该圆括号版本最终成为模板参数。

对此该怎么办？需要有某种方法来封装类映射的实现细节——但如何封装呢？有没有一种方法可以在没有宏的情况下做到这一点？

除了问题注释中建议的可变宏外，您还可以将静态成员封装在getter函数中，因为它消除了为静态成员单独分配空间的要求：

template<class T>
class PolymorphicSerializable {
   typedef SomeType<T> StaticInstanceType;
   static StaticInstanceType& getContext() {
       static StaticInstanceType instance;
       return instance;
   }
};

在任何地方都要使用吸气剂。

相关文章：