serialize_core.hh

Go to the documentation of this file.

#ifndef SERIALIZE_CORE_HH
#define SERIALIZE_CORE_HH

#include "serialize_constr.hh"
#include "serialize_meta.hh"
#include "unreachable.hh"
#include <string>
#include <type_traits>
#include <cassert>
#include <memory>

namespace openmsx {

// Type-queries for serialization framework
// is_primitive<T>
template<typename T> struct is_primitive           : std::false_type {};
template<> struct is_primitive<bool>               : std::true_type {};
template<> struct is_primitive<char>               : std::true_type {};
template<> struct is_primitive<signed char>        : std::true_type {};
template<> struct is_primitive<signed short>       : std::true_type {};
template<> struct is_primitive<signed int>         : std::true_type {};
template<> struct is_primitive<signed long>        : std::true_type {};
template<> struct is_primitive<unsigned char>      : std::true_type {};
template<> struct is_primitive<unsigned short>     : std::true_type {};
template<> struct is_primitive<unsigned int>       : std::true_type {};
template<> struct is_primitive<unsigned long>      : std::true_type {};
template<> struct is_primitive<float>              : std::true_type {};
template<> struct is_primitive<double>             : std::true_type {};
template<> struct is_primitive<long double>        : std::true_type {};
template<> struct is_primitive<long long>          : std::true_type {};
template<> struct is_primitive<unsigned long long> : std::true_type {};
template<> struct is_primitive<std::string>        : std::true_type {};



// Normally to make a class serializable, you have to implement a serialize()
// method on the class. For some classes we cannot extend the source code. So
// we need an alternative, non-intrusive, way to make those classes
// serializable.
template <typename Archive, typename T>
void serialize(Archive& ar, T& t, unsigned version)
{
        // By default use the serialize() member. But this function can
        // be overloaded to serialize classes in a non-intrusive way.
        t.serialize(ar, version);
}

template <typename Archive, typename T1, typename T2>
void serialize(Archive& ar, std::pair<T1, T2>& p, unsigned /*version*/)
{
        ar.serialize("first",  p.first);
        ar.serialize("second", p.second);
}
template<typename T1, typename T2> struct SerializeClassVersion<std::pair<T1, T2>>
{
        static const unsigned value = 0;
};


template<typename T> struct serialize_as_enum : std::false_type {};

template<typename T> struct enum_string {
        const char* str;
        T e;
};
void enumError(const std::string& str);
template<typename T> struct serialize_as_enum_impl : std::true_type {
        explicit serialize_as_enum_impl(std::initializer_list<enum_string<T>> info_)
                : info(info_) {}
        std::string toString(T t) const {
                for (auto& i : info) {
                        if (i.e == t) return i.str;
                }
                assert(false);
                return "internal-error-unknown-enum-value";
        }
        T fromString(const std::string& str) const {
                for (auto& i : info) {
                        if (i.str == str) return i.e;
                }
                enumError(str); // does not return (throws)
                return T(); // avoid warning
        }
private:
        std::initializer_list<enum_string<T>> info;
};

#define SERIALIZE_ENUM(TYPE,INFO) \
template<> struct serialize_as_enum< TYPE > : serialize_as_enum_impl< TYPE > { \
        serialize_as_enum() : serialize_as_enum_impl< TYPE >( INFO ) {} \
};


// serialize_as_pointer<T>
//
// Type-trait class that indicates whether a certain type should be serialized
// as a pointer or not. There can be multiple pointers to the same object,
// only the first such pointer is actually stored, the others are stored as
// a reference to this first object.
//
// By default all pointer types are treated as pointer, but also smart pointer
// can be traited as such. Though only unique_ptr<T> is implemented ATM.
//
// The serialize_as_pointer class has the following members:
//  - static bool value
//      True iff this type must be serialized as a pointer.
//      The fields below are only valid (even only present) if this variable
//      is true.
//  - using type = T
//      The pointed-to type
//  - T* getPointer(X x)
//      Get an actual pointer from the abstract pointer x
//      (X can be a smart pointer type)
//  - void setPointer(X x, T* p, Archive& ar)
//      Copy the raw-pointer p to the abstract pointer x
//      The archive can be used to store per-archive data, this is for example
//      needed for shared_ptr.

template<typename T> struct serialize_as_pointer : std::false_type {};
template<typename T> struct serialize_as_pointer_impl : std::true_type
{
        // pointer to primitive types not supported
        static_assert(!is_primitive<T>::value,
                      "can't serialize ptr to primitive type");
        using type = T;
};
template<typename T> struct serialize_as_pointer<T*>
        : serialize_as_pointer_impl<T>
{
        static inline T* getPointer(T* t) { return t; }
        template<typename Archive>
        static inline void setPointer(T*& t, T* p, Archive& /*ar*/) {
                t = p;
        }
};
template<typename T> struct serialize_as_pointer<std::unique_ptr<T>>
        : serialize_as_pointer_impl<T>
{
        static inline T* getPointer(const std::unique_ptr<T>& t) { return t.get(); }
        template<typename Archive>
        static inline void setPointer(std::unique_ptr<T>& t, T* p, Archive& /*ar*/) {
                t.reset(p);
        }
};
template<typename T> struct serialize_as_pointer<std::shared_ptr<T>>
        : serialize_as_pointer_impl<T>
{
        static T* getPointer(const std::shared_ptr<T>& t) { return t.get(); }
        template<typename Archive>
        static void setPointer(std::shared_ptr<T>& t, T* p, Archive& ar) {
                ar.resetSharedPtr(t, p);
        }
};


// serialize_as_collection<T>
//
// Type-trait class that indicates whether a certain type should be serialized
// as a collection or not. The serialization code 'knows' how to serialize
// collections, so as a user of the serializer you only need to list the
// collection to have it serialized (you don't have to iterate over it
// manually).
//
// By default arrays, std::vector, std::list, std::set, std::deque and std::map
// are recognized as collections. Though for STL collections you need to add
//    #include "serialize_stl.hh"
//
// The serialize_as_collection class has the following members:
//
//  - static bool value
//      True iff this type must be serialized as a collection.
//      The fields below are only valid (even only present) if this variable
//      is true.
//  - int size
//      The size of the collection, -1 for variable sized collections.
//      Fixed sized collections can be serialized slightly more efficient
//      becuase we don't need to explicitly store the size.
//  - using value_type = ...
//      The type stored in the collection (only homogeneous collections are
//      supported).
//  - bool loadInPlace
//      Indicates whether we can directly load the elements in the correct
//      position in the container, otherwise there will be an extra assignment.
//      For this to be possible, the output iterator must support a dereference
//      operator that returns a 'regular' value_type.
//  - using const_iterator = ...
//  - const_iterator begin(...)
//  - const_iterator end(...)
//      Returns begin/end iterator for the given collection. Used for saving.
//  - using output_iterator = ...
//  - void prepare(..., int n)
//  - output_iterator output(...)
//      These are used for loading. The prepare() method should prepare the
//      collection to receive 'n' elements. The output() method returns an
//      output_iterator to the beginning of the collection.

template<typename T> struct serialize_as_collection : std::false_type {};
template<typename T, int N> struct serialize_as_collection<T[N]> : std::true_type
{
        static const int size = N; // fixed size
        using value_type = T;
        // save
        using const_iterator = const T*;
        static const T* begin(const T (&array)[N]) { return &array[0]; }
        static const T* end  (const T (&array)[N]) { return &array[N]; }
        // load
        static const bool loadInPlace = true;
        using output_iterator = T*;
        static void prepare(T (&/*array*/)[N], int /*n*/) { }
        static T* output(T (&array)[N]) { return &array[0]; }
};


// Implementation of the different save-strategies.
//
// ATM we have
//  - PrimitiveSaver
//      Saves primitive values: int, bool, string, ...
//      Primitive values cannot be versioned.
//  - EnumSaver
//      Depending on the archive type, enums are either saved as strings (XML
//      archive) or as integers (memory archive).
//      This does not work automatically: it needs a specialization of
//      serialize_as_enum, see above.
//  - ClassSaver
//      From a serialization POV classes are a (heterogeneous) collection of
//      other to-be-serialized items.
//      Classes can have a version number, this allows to evolve the class
//      structure while still being able to load older versions (the load
//      method receive the version number as parameter, the user still needs
//      to keep the old loading code in place).
//      Optionally the name of the (concrete) class is saved in the stream.
//      This is used to support loading of polymorphic classes.
//      There is also an (optional) id saved in the stream. This used to
//      resolve possible multiple pointers to the same class.
//  - PointerSaver
//      Saves a pointer to a class (pointers to primitive types are not
//      supported). See also serialize_as_pointer
//  - IDSaver
//      Weaker version of PointerSaver: it can only save pointers to objects
//      that are already saved before (so it's will be saved by storing a
//      reference). To only reason to use IDSaver (iso PointerSaver) is that
//      it will not instantiate the object construction code.
//  - CollectionSaver
//      Saves a whole collection. See also serialize_as_collection
//
// All these strategies have a method:
//   template<typename Archive> void operator()(Archive& ar, const T& t)
//     'ar' is archive where the serialized stream will go
//     't'  is the to-be-saved object
//     'saveId' Should ID be saved

template<typename T> struct PrimitiveSaver
{
        template<typename Archive> void operator()(Archive& ar, const T& t,
                                                   bool /*saveId*/)
        {
                static_assert(is_primitive<T>::value, "must be primitive type");
                ar.save(t);
        }
};
template<typename T> struct EnumSaver
{
        template<typename Archive> void operator()(Archive& ar, const T& t,
                                                   bool /*saveId*/)
        {
                if (ar.translateEnumToString()) {
                        serialize_as_enum<T> sae;
                        std::string str = sae.toString(t);
                        ar.save(str);
                } else {
                        ar.save(int(t));
                }
        }
};
template<typename T> struct ClassSaver
{
        template<typename Archive> void operator()(
                Archive& ar, const T& t, bool saveId,
                const char* type = nullptr, bool saveConstrArgs = false)
        {
                // Order is important (for non-xml archives). We use this order:
                //    - id
                //    - type
                //    - version
                //    - constructor args
                // Rational:
                //  - 'id' must be first: it could be nullptr, in that
                //    case the other fields are not even present.
                //  - 'type' must be before version, because for some types we
                //    might not need to store version (though it's unlikely)
                //  - version must be before constructor args because the
                //    constr args depend on the version
                if (saveId) {
                        unsigned id = ar.generateId(&t);
                        ar.attribute("id", id);
                }

                if (type) {
                        ar.attribute("type", type);
                }

                unsigned version = SerializeClassVersion<T>::value;
                if ((version != 0) && ar.needVersion()) {
                        if (!ar.canHaveOptionalAttributes() ||
                            (version != 1)) {
                                ar.attribute("version", version);
                        }
                }

                if (saveConstrArgs) {
                        // save local constructor args (if any)
                        SerializeConstructorArgs<T> constrArgs;
                        constrArgs.save(ar, t);
                }

                using TNC = typename std::remove_const<T>::type;
                auto& t2 = const_cast<TNC&>(t);
                serialize(ar, t2, version);
        }
};
template<typename TP> struct PointerSaver
{
        // note: we only support pointer to class
        template<typename Archive> void operator()(Archive& ar, const TP& tp2,
                                                   bool /*saveId*/)
        {
                static_assert(serialize_as_pointer<TP>::value,
                              "must be serialized as pointer");
                using T = typename serialize_as_pointer<TP>::type;
                const T* tp = serialize_as_pointer<TP>::getPointer(tp2);
                if (!tp) {
                        unsigned id = 0;
                        ar.attribute("id_ref", id);
                        return;
                }
                if (unsigned id = ar.getId(tp)) {
                        ar.attribute("id_ref", id);
                } else {
                        if (std::is_polymorphic<T>::value) {
                                PolymorphicSaverRegistry<Archive>::save(ar, tp);
                        } else {
                                ClassSaver<T> saver;
                                // don't store type
                                // store id, constr-args
                                saver(ar, *tp, true, nullptr, true);
                        }
                }
        }
};
template<typename TP> struct IDSaver
{
        template<typename Archive> void operator()(Archive& ar, const TP& tp2)
        {
                static_assert(serialize_as_pointer<TP>::value,
                              "must be serialized as pointer");
                auto tp = serialize_as_pointer<TP>::getPointer(tp2);
                unsigned id;
                if (!tp) {
                        id = 0;
                } else {
                        id = ar.getId(tp);
                        assert(id);
                }
                ar.attribute("id_ref", id);
        }
};
template<typename TC> struct CollectionSaver
{
        template<typename Archive> void operator()(Archive& ar, const TC& tc,
                                                   bool saveId)
        {
                using sac = serialize_as_collection<TC>;
                static_assert(sac::value, "must be serialized as collection");
                auto begin = sac::begin(tc);
                auto end   = sac::end  (tc);
                if ((sac::size < 0) && (!ar.canCountChildren())) {
                        // variable size
                        // e.g. in an XML archive the loader can look-ahead and
                        // count the number of sub-tags, so no need to
                        // explicitly store the size for such archives.
                        int n = int(std::distance(begin, end));
                        ar.serialize("size", n);
                }
                for (; begin != end; ++begin) {
                        if (saveId) {
                                ar.serializeWithID("item", *begin);
                        } else {
                                ar.serialize("item", *begin);
                        }
                }
        }
};

// Delegate to a specific Saver class
// (implemented as inheriting from a specific baseclass).
template<typename T> struct Saver
        : if_<is_primitive<T>,
              PrimitiveSaver<T>,
          if_<serialize_as_enum<T>,
              EnumSaver<T>,
          if_<serialize_as_pointer<T>,
              PointerSaver<T>,
          if_<serialize_as_collection<T>,
              CollectionSaver<T>,
              ClassSaver<T>>>>> {};


// Implementation of the different load-strategies.
//
// This matches very closly with the save-strategies above.
//
// All these strategies have a method:
//   template<typename Archive, typename TUPLE>
//   void operator()(Archive& ar, const T& t, TUPLE args)
//     'ar' Is archive where the serialized stream will go
//     't'  Is the object that has to be restored.
//          In case of a class (not a pointer to a class) the actual object
//          is already constructed, but it still needs to be filled in with
//          the correct data.
//     'args' (Only used by PointerLoader) holds extra parameters used
//            to construct objects.
//     'id' Used to skip loading an ID, see comment in ClassLoader

template<typename T> struct PrimitiveLoader
{
        template<typename Archive, typename TUPLE>
        void operator()(Archive& ar, T& t, TUPLE /*args*/, int /*id*/)
        {
                static_assert(std::tuple_size<TUPLE>::value == 0,
                              "can't have constructor arguments");
                ar.load(t);
        }
};
template<typename T> struct EnumLoader
{
        template<typename Archive, typename TUPLE>
        void operator()(Archive& ar, T& t, TUPLE /*args*/, int /*id*/)
        {
                static_assert(std::tuple_size<TUPLE>::value == 0,
                              "can't have constructor arguments");
                if (ar.translateEnumToString()) {
                        std::string str;
                        ar.load(str);
                        serialize_as_enum<T> sae;
                        t = sae.fromString(str);
                } else {
                        int i;
                        ar.load(i);
                        t = T(i);
                }
        }
};

unsigned loadVersionHelper(MemInputArchive& ar, const char* className,
                           unsigned latestVersion);
unsigned loadVersionHelper(XmlInputArchive& ar, const char* className,
                           unsigned latestVersion);
template<typename T, typename Archive> unsigned loadVersion(Archive& ar)
{
        unsigned latestVersion = SerializeClassVersion<T>::value;
        if ((latestVersion != 0) && ar.needVersion()) {
                return loadVersionHelper(ar, typeid(T).name(), latestVersion);
        } else {
                return latestVersion;
        }
}
template<typename T> struct ClassLoader
{
        template<typename Archive, typename TUPLE>
        void operator()(Archive& ar, T& t, TUPLE /*args*/, int id = 0,
                        int version = -1)
        {
                static_assert(std::tuple_size<TUPLE>::value == 0,
                              "can't have constructor arguments");

                // id == -1: don't load id, don't addPointer
                // id ==  0: load id from archive, addPointer
                // id ==  N: id already loaded, still addPointer
                if (id != -1) {
                        if (id == 0) {
                                ar.attribute("id", id);
                        }
                        ar.addPointer(id, &t);
                }

                // version == -1: load version
                // version ==  N: version already loaded
                if (version == -1) {
                        version = loadVersion<T>(ar);
                }

                using TNC = typename std::remove_const<T>::type;
                auto& t2 = const_cast<TNC&>(t);
                serialize(ar, t2, version);
        }
};
template<typename T> struct NonPolymorphicPointerLoader
{
        template<typename Archive, typename GlobalTuple>
        T* operator()(Archive& ar, unsigned id, GlobalTuple globalArgs)
        {
                int version = loadVersion<T>(ar);

                // load (local) constructor args (if any)
                using TNC = typename std::remove_const<T>::type;
                using ConstrArgs = SerializeConstructorArgs<TNC>;
                ConstrArgs constrArgs;
                auto localArgs = constrArgs.load(ar, version);

                // combine global and local constr args
                auto args = std::tuple_cat(globalArgs, localArgs);
                // TODO make combining global/local constr args configurable

                Creator<T> creator;
                auto tp = creator(args);
                ClassLoader<T> loader;
                loader(ar, *tp, std::make_tuple(), id, version);
                return tp.release();
        }
};
template<typename T> struct PolymorphicPointerLoader
{
        template<typename Archive, typename TUPLE>
        T* operator()(Archive& ar, unsigned id, TUPLE args)
        {
                using ArgsType = typename PolymorphicConstructorArgs<T>::type;
                static_assert(std::is_same<TUPLE, ArgsType>::value,
                              "constructor arguments types must match");
                return static_cast<T*>(
                        PolymorphicLoaderRegistry<Archive>::load(ar, id, &args));
        }
};
template<typename T> struct PointerLoader2
        // extra indirection needed because inlining the body of
        // NonPolymorphicPointerLoader in PointerLoader does not compile
        // for abstract types
        : if_<std::is_polymorphic<T>, PolymorphicPointerLoader<T>,
                                      NonPolymorphicPointerLoader<T>> {};

template<typename TP> struct PointerLoader
{
        template<typename Archive, typename GlobalTuple>
        void operator()(Archive& ar, TP& tp2, GlobalTuple globalArgs, int /*id*/)
        {
                static_assert(serialize_as_pointer<TP>::value,
                              "must be serialized as a pointer");
                // in XML archives we use 'id_ref' or 'id', in other archives
                // we don't care about the name
                unsigned id;
                if (ar.canHaveOptionalAttributes() &&
                    ar.findAttribute("id_ref", id)) {
                        // nothing, 'id' already filled in
                } else {
                        ar.attribute("id", id);
                }

                using T = typename serialize_as_pointer<TP>::type;
                T* tp;
                if (id == 0) {
                        tp = nullptr;
                } else {
                        if (void* p = ar.getPointer(id)) {
                                tp = static_cast<T*>(p);
                        } else {
                                PointerLoader2<T> loader;
                                tp = loader(ar, id, globalArgs);
                        }
                }
                serialize_as_pointer<TP>::setPointer(tp2, tp, ar);
        }
};
void pointerError(unsigned id);
template<typename TP> struct IDLoader
{
        template<typename Archive>
        void operator()(Archive& ar, TP& tp2)
        {
                static_assert(serialize_as_pointer<TP>::value,
                              "must be serialized as a pointer");
                unsigned id;
                ar.attribute("id_ref", id);

                using T = typename serialize_as_pointer<TP>::type;
                T* tp;
                if (id == 0) {
                        tp = nullptr;
                } else {
                        void* p = ar.getPointer(id);
                        if (!p) {
                                pointerError(id);
                        }
                        tp = static_cast<T*>(p);
                }
                serialize_as_pointer<TP>::setPointer(tp2, tp, ar);
        }
};

template<typename sac, bool IN_PLACE = sac::loadInPlace> struct CollectionLoaderHelper;
template<typename sac> struct CollectionLoaderHelper<sac, true>
{
        // used for array and vector
        template<typename Archive, typename TUPLE, typename OUT_ITER>
        void operator()(Archive& ar, TUPLE args, OUT_ITER it, int id)
        {
                ar.doSerialize("item", *it, args, id);
        }
};
template<typename sac> struct CollectionLoaderHelper<sac, false>
{
        // We can't directly load the element in the correct position:
        // This screws-up id/pointer management because the element is still
        // copied after construction (and pointer value of initial object is
        // stored).
        template<typename Archive, typename TUPLE, typename OUT_ITER>
        void operator()(Archive& ar, TUPLE args, OUT_ITER it, int id)
        {
                typename sac::value_type elem;
                ar.doSerialize("item", elem, args, id);
                *it = std::move(elem);
        }
};
template<typename TC> struct CollectionLoader
{
        template<typename Archive, typename TUPLE>
        void operator()(Archive& ar, TC& tc, TUPLE args, int id = 0)
        {
                assert((id == 0) || (id == -1));
                using sac = serialize_as_collection<TC>;
                static_assert(sac::value, "must be serialized as a collection");
                int n = sac::size;
                if (n < 0) {
                        // variable size
                        if (ar.canCountChildren()) {
                                n = ar.countChildren();
                        } else {
                                ar.serialize("size", n);
                        }
                }
                sac::prepare(tc, n);
                auto it = sac::output(tc);
                CollectionLoaderHelper<sac> loadOneElement;
                for (int i = 0; i < n; ++i, ++it) {
                        loadOneElement(ar, args, it, id);
                }
        }
};
template<typename T> struct Loader
        : if_<is_primitive<T>,
              PrimitiveLoader<T>,
          if_<serialize_as_enum<T>,
              EnumLoader<T>,
          if_<serialize_as_pointer<T>,
              PointerLoader<T>,
          if_<serialize_as_collection<T>,
              CollectionLoader<T>,
              ClassLoader<T>>>>> {};

} // namespace openmsx

#endif