Безопасно ли сериализовать исходный boost :: variant?

Question

boost::variant утверждает, что это тип значения. Означает ли это, что безопасно просто выписать необработанное представление boost :: variant и загрузить его позже, если оно содержит только типы POD? Предположим, что он будет перезагружен кодом, скомпилированным одним и тем же компилятором и той же версией boost, в той же архитектуре.

Кроме того, (возможно) эквивалентно, можно использовать :: вариант для использования в общей памяти?

Answer 1

Что касается сериализации: он должен работать, да. Но почему вы не используете механизм посещений boost::variant, чтобы выписать фактический тип, содержащийся в этом варианте?

struct variant_serializer : boost::static_visitor<void> { 
    template <typename T> 
    typename boost::enable_if< boost::is_pod<T>, void>::type 
    operator()(const T & t) const { 
     // ... serialize here, e.g. 
     std::cout << t; 
    } 
}; 

int main() { 

    const boost::variant<int,char,float,double> v('1'); 

    variant_serializer s; 
    boost::apply_visitor(s, v); 

    return 0; 
} 

Что касается общей памяти: boost::variant не выполняет распределения кучи, так что вы можете поместить его в общую память так же, как int, при условии надлежащей синхронизации, конечно.

Излишне говорить, что, как вы сказали, вышесказанное допустимо только в том случае, если вариант может содержать только типы POD.

Answer 2

Попробуйте включить форсирование/сериализацию/variant.hpp; это делает работу для вас.