Здравствуйте, niXman, Вы писали:

X>и так, с чего все исходит:

а если забить на пары?

template<typename Archive, typename... Args>
bool apply(Archive &ar, Args&&... args) {
   // тут 'Args...' - пак пар в раскрытом виде
}

struct user_type {
   int i;
   long l;
   float f;

   // этот макрос генерит необходиммый код для сериализации/десериализации
   YAS_SERIALIZE_ONE_MF(i, l, f);

   // развернется он в нечто типа:
   template<typename Archive>
   void serialize(Archive &ar) {
      apply(
          ar
          , "i", i
          , "l", l
          , "f", f
      );
   }
};

или убрать const из пары: http://ideone.com/Y1p2RK