Boost C++ Libraries: Ticket #1267: Assertion `new_cid == cid' failed in basic_iarchive

mbergin@… — Fri, 14 Sep 2007 16:26:36 GMT

I am having trouble attaching the test case; Trac is telling me it is spam.

attachment set

mbergin@… — Fri, 14 Sep 2007 16:27:29 GMT

attachment → test_exported.cpp.gz

mbergin@… — Sun, 16 Sep 2007 17:27:53 GMT

Also tested on VC8 and fails. The serialized output of the above test case is below. Are the class IDs being output in the wrong order?

<?xml version="1.0" encoding="UTF-8" standalone="yes" ?>
<!DOCTYPE boost_serialization>
<boost_serialization signature="serialization::archive" version="4">
<c class_id="0" tracking_level="0" version="0">
        <px class_id="2" class_name="polymorphic_derived" tracking_level="1" version="0" object_id="_0">
                <polymorphic_base class_id="1" tracking_level="1" version="0" object_id="_1"></polymorphic_base>
        </px>
</c>
</boost_serialization>

gwossum@… — Wed, 19 Sep 2007 19:32:22 GMT

I've encountered the same problem with g++ 3.2.3. With g++ 3.2.3, it occurs any time I try to serialize a thaw a derived class through an abstract base class pointer, whether or not separate save and load methods are used. Dropping the BOOST_CLASS_EXPORT() for the abstract base class does NOT fix the problem. Only making the base class non-abstract makes the problem go away, which isn't always an appealing option.

As a curious note, I have a class heirarchy that involves an abstract base class A, an abstract subclass of A (B), and a several concrete subclasses of B. I encounter issues if A is abstract, but if I make A concrete but B is still abstract, I don't get any problems.

anonymous — Sat, 22 Sep 2007 08:13:21 GMT

The short answer is:

BOOST_IS_ABSTRACT(const polymorphic_base)

Rake are hidden in basic_xml_oarchive::save_override(nvp<T>&) method:

    template<class T>
    void save_override(
                #ifndef BOOST_NO_FUNCTION_TEMPLATE_ORDERING
                const
                #endif
                ::boost::serialization::nvp<T> & t,
                int
        ){
        this->This()->save_start(t.name());
        archive::save(* this->This(), t.const_value()); /// CONST!!
        this->This()->save_end(t.name());
    }

nvp<T>::const_value() method allways returns constant reference and it doesn't matter what type you have passed to nvp<T>'s ctor.

    const T & const_value() const {
        return *(this->second);
    }

So, in save_pointer_type::register_type method() the serialization::is_abstract<T> check is always being applied not to the constant type. IMHO it is better to fix serialization::is_abstract, but as a temporary solution additional BOOST_IS_ABSTRACT directive for constant type can be used.

P.S. I investigated this problem with boost-1.33.1 using GCC 3.4.5 (MinGW) and Intel 8.0 compiler.

gwossum@… — Mon, 24 Sep 2007 21:58:25 GMT

Tried the BOOST_CLASS_EXPORT(const PolymorphicBase) with boost-1.33.1 and gcc 3.2.3. Got a static assertion at archive/detail/iserializer.hpp line 610. The comment around this suggests the assertion is due to gcc 3.2.3 not having correct function template ordering. Could this be part of the problem with gcc 3.2.3?

mbergin@… — Tue, 23 Oct 2007 12:15:12 GMT

This works for me on GCC3.2.3, but it's important to note you need to do both BOOST_IS_ABSTRACT(polymorphic_base) BOOST_IS_ABSTRACT(const polymorphic_base) for it to compile.

status changed

Robert Ramey — Fri, 30 Nov 2007 07:12:47 GMT

status new → assigned

status changed; resolution set

Robert Ramey — Sat, 01 Dec 2007 00:10:31 GMT

status assigned → closed
resolution → fixed

resolved by folding T to const T in serialization/is_abstract

anonymous — Wed, 23 Jan 2008 00:53:06 GMT

I was curious as to what the fix was (as it isn't available in 1.34.1). For those interested: I've pinned it down to r42254.