openMSX
serialize_meta.hh
Go to the documentation of this file.
1#ifndef SERIALIZE_META_HH
2#define SERIALIZE_META_HH
3
4#include "hash_map.hh"
5#include "xxhash.hh"
6#include <memory>
7#include <tuple>
8#include <typeindex>
9#include <type_traits>
10#include <utility>
11#include <vector>
12
13namespace openmsx {
14
29template<typename T> struct Creator
30{
31 template<typename TUPLE>
32 std::unique_ptr<T> operator()(TUPLE tuple) {
33 auto makeT = []<typename... Args>(Args&& ...args) {
34 return std::make_unique<T>(std::forward<Args>(args)...);
35 };
36 return std::apply(makeT, tuple);
37 }
38};
39
41
42// Polymorphic class loader/saver
43
44// forward declarations
45// ClassSaver: used to actually save a class. We also store the name of
46// the class so that the loader knows which concrete class it should load.
47template<typename T> struct ClassSaver;
48// NonPolymorphicPointerLoader: once we know which concrete type to load,
49// we use the 'normal' class loader to load it.
50template<typename T> struct NonPolymorphicPointerLoader;
51// Used by PolymorphicInitializer to initialize a concrete type.
52template<typename T> struct ClassLoader;
53
59template<typename T> struct PolymorphicConstructorArgs;
60
64template<typename T> struct PolymorphicBaseClass;
65
66template<typename Base> struct MapConstrArgsEmpty
67{
69 std::tuple<> operator()(const TUPLEIn& /*t*/) const
70 {
71 return {};
72 }
73};
74template<typename Base, typename Derived> struct MapConstrArgsCopy
75{
78 static_assert(std::is_same_v<TUPLEIn, TUPLEOut>,
79 "constructor argument types must match");
81 {
82 return t;
83 }
84};
85
98template<typename Base, typename Derived> struct MapConstructorArguments
99 : std::conditional_t<std::is_same_v<std::tuple<>,
100 typename PolymorphicConstructorArgs<Derived>::type>,
101 MapConstrArgsEmpty<Base>,
102 MapConstrArgsCopy<Base, Derived>> {};
103
110template<typename Base> struct BaseClassName;
111
112[[noreturn]] void polyInitError(const char* expected, const char* actual);
113
114template<typename Archive>
116{
117public:
120
122
123 template<typename T> void registerClass(const char* name)
124 {
125 static_assert(std::is_polymorphic_v<T>,
126 "must be a polymorphic type");
127 static_assert(!std::is_abstract_v<T>,
128 "can't be an abstract type");
129 registerHelper(typeid(T), [name](Archive& ar, const void* v) {
130 using BaseType = typename PolymorphicBaseClass<T>::type;
131 auto base = static_cast<const BaseType*>(v);
132 auto tp = static_cast<const T*>(base);
133 ClassSaver<T> saver;
134 saver(ar, *tp, true, name, true); // save id, type, constr-args
135 });
136 }
137
138 template<typename T> static void save(Archive& ar, T* t)
139 {
140 save(ar, t, typeid(*t));
141 }
142 template<typename T> static void save(const char* tag, Archive& ar, T& t)
143 {
144 save(tag, ar, &t, typeid(t));
145 }
146
147private:
148 PolymorphicSaverRegistry() = default;
149 ~PolymorphicSaverRegistry() = default;
150
151 using SaveFunction = std::function<void(Archive&, const void*)>;
152 void registerHelper(const std::type_info& type,
153 SaveFunction saver);
154 static void save(Archive& ar, const void* t,
155 const std::type_info& typeInfo);
156 static void save(const char* tag, Archive& ar, const void* t,
157 const std::type_info& typeInfo);
158
159 struct Entry {
160 Entry(std::type_index i, SaveFunction s)
161 : index(i), saver(std::move(s)) {} // clang-15 workaround
162
163 std::type_index index;
164 SaveFunction saver;
165 };
166 std::vector<Entry> saverMap;
167 bool initialized = false;
168};
169
170template<typename Archive>
172{
173public:
176
178
179 template<typename T> void registerClass(const char* name)
180 {
181 static_assert(std::is_polymorphic_v<T>,
182 "must be a polymorphic type");
183 static_assert(!std::is_abstract_v<T>,
184 "can't be an abstract type");
185 registerHelper(name, [](Archive& ar, unsigned id, const void* args) {
186 using BaseType = typename PolymorphicBaseClass<T>::type;
187 using TUPLEIn = typename PolymorphicConstructorArgs<BaseType>::type;
188 using TUPLEOut = typename PolymorphicConstructorArgs<T>::type;
189 auto& argsIn = *static_cast<const TUPLEIn*>(args);
191 TUPLEOut argsOut = mapArgs(argsIn);
193 return loader(ar, id, argsOut);
194 });
195 }
196
197 static void* load(Archive& ar, unsigned id, const void* args);
198
199private:
200 PolymorphicLoaderRegistry() = default;
201 ~PolymorphicLoaderRegistry() = default;
202
203 using LoadFunction = std::function<void*(Archive&, unsigned, const void*)>;
204 void registerHelper(const char* name, LoadFunction loader);
205
207};
208
209template<typename Archive>
211{
212public:
215
217
218 template<typename T> void registerClass(const char* name)
219 {
220 static_assert(std::is_polymorphic_v<T>,
221 "must be a polymorphic type");
222 static_assert(!std::is_abstract_v<T>,
223 "can't be an abstract type");
224 registerHelper(name, [](Archive& ar, void* v, unsigned id) {
225 using BaseType = typename PolymorphicBaseClass<T>::type;
226 auto base = static_cast<BaseType*>(v);
227 if (dynamic_cast<T*>(base) != static_cast<T*>(base)) [[unlikely]] {
228 polyInitError(typeid(T).name(), typeid(*base).name());
229 }
230 auto t = static_cast<T*>(base);
231 ClassLoader<T> loader;
232 loader(ar, *t, std::tuple<>(), id);
233 });
234 }
235
236 static void init(const char* tag, Archive& ar, void* t);
237
238private:
241
242 using InitFunction = std::function<void(Archive&, void*, unsigned)>;
243 void registerHelper(const char* name, InitFunction initializer);
244
246};
247
248
249template<typename Archive, typename T> struct RegisterSaverHelper
250{
251 explicit RegisterSaverHelper(const char* name)
252 {
254 template registerClass<T>(name);
255 }
256};
257template<typename Archive, typename T> struct RegisterLoaderHelper
258{
259 explicit RegisterLoaderHelper(const char* name)
260 {
262 template registerClass<T>(name);
263 }
264};
265template<typename Archive, typename T> struct RegisterInitializerHelper
266{
267 explicit RegisterInitializerHelper(const char* name)
268 {
270 template registerClass<T>(name);
271 }
272};
273
274#define REGISTER_CONSTRUCTOR_ARGS_0(C) \
275template<> struct PolymorphicConstructorArgs<C> \
276{ using type = std::tuple<>; };
277
278#define REGISTER_CONSTRUCTOR_ARGS_1(C,T1) \
279template<> struct PolymorphicConstructorArgs<C> \
280{ using type = std::tuple<T1>; };
281
282#define REGISTER_CONSTRUCTOR_ARGS_2(C,T1,T2) \
283template<> struct PolymorphicConstructorArgs<C> \
284{ using type = std::tuple<T1,T2>; };
285
286#define REGISTER_CONSTRUCTOR_ARGS_3(C,T1,T2,T3) \
287template<> struct PolymorphicConstructorArgs<C> \
288{ using type = std::tuple<T1,T2,T3>; };
289
290class MemInputArchive;
291class MemOutputArchive;
292class XmlInputArchive;
293class XmlOutputArchive;
294
295/*#define REGISTER_POLYMORPHIC_CLASS_HELPER(B,C,N) \
296static_assert(std::is_base_of_v<B,C>, "must be base and sub class"); \
297static RegisterLoaderHelper<TextInputArchive, C> registerHelper1##C(N); \
298static RegisterSaverHelper <TextOutputArchive, C> registerHelper2##C(N); \
299static RegisterLoaderHelper<XmlInputArchive, C> registerHelper3##C(N); \
300static RegisterSaverHelper <XmlOutputArchive, C> registerHelper4##C(N); \
301static RegisterLoaderHelper<MemInputArchive, C> registerHelper5##C(N); \
302static RegisterSaverHelper <MemOutputArchive, C> registerHelper6##C(N); \*/
303#define REGISTER_POLYMORPHIC_CLASS_HELPER(B,C,N) \
304static_assert(std::is_base_of_v<B,C>, "must be base and sub class"); \
305static const RegisterLoaderHelper<MemInputArchive, C> registerHelper3##C(N); \
306static const RegisterSaverHelper <MemOutputArchive, C> registerHelper4##C(N); \
307static const RegisterLoaderHelper<XmlInputArchive, C> registerHelper5##C(N); \
308static const RegisterSaverHelper <XmlOutputArchive, C> registerHelper6##C(N); \
309template<> struct PolymorphicBaseClass<C> { using type = B; };
310
311#define REGISTER_POLYMORPHIC_INITIALIZER_HELPER(B,C,N) \
312static_assert(std::is_base_of_v<B,C>, "must be base and sub class"); \
313static const RegisterInitializerHelper<MemInputArchive, C> registerHelper3##C(N); \
314static const RegisterSaverHelper <MemOutputArchive, C> registerHelper4##C(N); \
315static const RegisterInitializerHelper<XmlInputArchive, C> registerHelper5##C(N); \
316static const RegisterSaverHelper <XmlOutputArchive, C> registerHelper6##C(N); \
317template<> struct PolymorphicBaseClass<C> { using type = B; };
318
319#define REGISTER_BASE_NAME_HELPER(B,N) \
320template<> struct BaseClassName<B> \
321{ static const char* getName() { static constexpr const char* const name = N; return name; } };
322
323// public macros
324// these are a more convenient way to define specializations of the
325// PolymorphicConstructorArgs and PolymorphicBaseClass classes
326#define REGISTER_POLYMORPHIC_CLASS(BASE,CLASS,NAME) \
327 REGISTER_POLYMORPHIC_CLASS_HELPER(BASE,CLASS,NAME) \
328 REGISTER_CONSTRUCTOR_ARGS_0(CLASS)
329
330#define REGISTER_POLYMORPHIC_CLASS_1(BASE,CLASS,NAME,TYPE1) \
331 REGISTER_POLYMORPHIC_CLASS_HELPER(BASE,CLASS,NAME) \
332 REGISTER_CONSTRUCTOR_ARGS_1(CLASS,TYPE1)
333
334#define REGISTER_POLYMORPHIC_CLASS_2(BASE,CLASS,NAME,TYPE1,TYPE2) \
335 REGISTER_POLYMORPHIC_CLASS_HELPER(BASE,CLASS,NAME) \
336 REGISTER_CONSTRUCTOR_ARGS_2(CLASS,TYPE1,TYPE2)
337
338#define REGISTER_POLYMORPHIC_CLASS_3(BASE,CLASS,NAME,TYPE1,TYPE2,TYPE3) \
339 REGISTER_POLYMORPHIC_CLASS_HELPER(BASE,CLASS,NAME) \
340 REGISTER_CONSTRUCTOR_ARGS_3(CLASS,TYPE1,TYPE2,TYPE3)
341
342#define REGISTER_BASE_CLASS(CLASS,NAME) \
343 REGISTER_BASE_NAME_HELPER(CLASS,NAME) \
344 REGISTER_CONSTRUCTOR_ARGS_0(CLASS)
345
346#define REGISTER_BASE_CLASS_1(CLASS,NAME,TYPE1) \
347 REGISTER_BASE_NAME_HELPER(CLASS,NAME) \
348 REGISTER_CONSTRUCTOR_ARGS_1(CLASS,TYPE1)
349
350#define REGISTER_BASE_CLASS_2(CLASS,NAME,TYPE1,TYPE2) \
351 REGISTER_BASE_NAME_HELPER(CLASS,NAME) \
352 REGISTER_CONSTRUCTOR_ARGS_2(CLASS,TYPE1,TYPE2)
353
354#define REGISTER_BASE_CLASS_3(CLASS,NAME,TYPE1,TYPE2,TYPE3) \
355 REGISTER_BASE_NAME_HELPER(CLASS,NAME) \
356 REGISTER_CONSTRUCTOR_ARGS_3(CLASS,TYPE1,TYPE2,TYPE3)
357
358
359#define REGISTER_POLYMORPHIC_INITIALIZER(BASE,CLASS,NAME) \
360 REGISTER_POLYMORPHIC_INITIALIZER_HELPER(BASE,CLASS,NAME)
361
363
379template<typename T> struct SerializeClassVersion
380{
381 static constexpr unsigned value = 1;
382};
383#define SERIALIZE_CLASS_VERSION(CLASS, VERSION) \
384template<> struct SerializeClassVersion<CLASS> \
385{ \
386 static constexpr unsigned value = VERSION; \
387};
388
389} // namespace openmsx
390
391#endif
TclObject t
static void init(const char *tag, Archive &ar, void *t)
PolymorphicInitializerRegistry & operator=(const PolymorphicInitializerRegistry &)=delete
PolymorphicInitializerRegistry(const PolymorphicInitializerRegistry &)=delete
static PolymorphicInitializerRegistry & instance()
static PolymorphicLoaderRegistry & instance()
void registerClass(const char *name)
PolymorphicLoaderRegistry & operator=(const PolymorphicLoaderRegistry &)=delete
static void * load(Archive &ar, unsigned id, const void *args)
PolymorphicLoaderRegistry(const PolymorphicLoaderRegistry &)=delete
PolymorphicSaverRegistry(const PolymorphicSaverRegistry &)=delete
static PolymorphicSaverRegistry & instance()
PolymorphicSaverRegistry & operator=(const PolymorphicSaverRegistry &)=delete
static void save(const char *tag, Archive &ar, T &t)
void registerClass(const char *name)
static void save(Archive &ar, T *t)
This file implemented 3 utility functions:
Definition Autofire.cc:11
void polyInitError(const char *expected, const char *actual)
STL namespace.
Stores the name of a base class.
Utility to do T* t = new T(...)
std::unique_ptr< T > operator()(TUPLE tuple)
typename PolymorphicConstructorArgs< Base >::type TUPLEIn
TUPLEOut operator()(const TUPLEIn &t)
typename PolymorphicConstructorArgs< Derived >::type TUPLEOut
typename PolymorphicConstructorArgs< Base >::type TUPLEIn
std::tuple operator()(const TUPLEIn &) const
Define mapping between constructor arg list of base- and subclass.
Store association between (polymorphic) sub- and base class.
Store association between polymorphic class (base- or subclass) and the list of constructor arguments...
RegisterLoaderHelper(const char *name)
RegisterSaverHelper(const char *name)
Store serialization-version number of a class.