From: David Abrahams (dave_at_[hidden])
Date: 2008-05-21 02:39:51
on Tue May 20 2008, "Robert Ramey" <ramey-AT-rrsd.com> wrote:
> Hartmut Kaiser wrote:
>> Hi all,
>> while trying to add serialization support for fusion sequences I came
>> across the need to figure out whether a given type actually is an
>> archive. Is there a boost::serialization::is_archive<> metafunction
>> available? And if not, what's the best way to implement this?
> Hmmm - I chuckled when I read this. It seems that I would be asking
> you this question rather than the other way around.
> Giving it a tiny bit of thought leads me to wonder:
> First thought is one could use something like is_base_derived to
> verify that it derived from from one of the common base classes.
> This solution would probably be sufficient for most practical
> But, it seems to me that the real thing would be:
> Which is really piques my interest and curiousity. It would
> be a general thing like
> models_concept<T, C> where C is some sort of "conept type"
> Food for thought for those with time on thier hands.
You can only implement the above for a very limited number of
_syntactic_ concepts in C++03 and unintentional syntactic conformance
can easily be catastrophically mistaken for actual semantic conformance
(e.g. there are input iterators that have the syntactic properties of
forward iterators, which causes crashes and worse in real STL code).
In C++0x of course we have real concepts, but for reasons noted above
explicitly-declared conformance plays an important role so I'm afraid
that doesn't get you off the hook, Robert ;-)
-- Dave Abrahams BoostPro Computing http://www.boostpro.com
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk