[boost] Re: Formal Review: Template Metaprogramming Library (MPL)

From: Anthony Williams (anthony_w.geo_at_[hidden])
Date: 2002-07-23 08:01:04

"Aleksey Gurtovoy" <agurtovoy_at_[hidden]> wrote in message
news:4034600A4760D411B8720001031D84FB0109637D_at_postoffice.office.meta...
> An updated library archive is available from here -
> http://www.mywikinet.com/mpl/mpl_23_jul_02.zip.
>
> Here's a short summary of changes from the previous revision:
>  1) bug fixes;
>  2) 'vector' has been given a 'push_front'/'pop_front' operations (for the
> price of removing 'push_back'/'pop_back');
>  3) tests for 'filter_view', 'transform_view', 'insert' and 'insert_range'
> added;
>  4) minor fixes in reference documentation;
>  5) not-so-minor fixes/changes to the paper; in particular, a lot of
> language issues have been resolved, and most of ambiguities between the
> document and the actual code have been fixed.
>
> Note that the code in the CVS is not up-to-date yet. I'll try to check in
> the changes later today.

Insert_range is still broken, when appending to an empty sequence:

#include "boost/mpl/insert_range.hpp"
#include "boost/mpl/vector_c.hpp"
#include "boost/mpl/vector/vector10_c.hpp"
#include "boost/mpl/size.hpp"
#include "boost/mpl/begin_end.hpp"
#include "boost/static_assert.hpp"

int main()
{
    typedef boost::mpl::vector_c<int,7,10,9,5,4,1,6,8,3,2> data;

    typedef boost::mpl::vector_c<int> emptyData;

    typedef
boost::mpl::insert_range<emptyData,boost::mpl::end<emptyData>::type,data>::t
ype result;
    BOOST_STATIC_ASSERT((boost::mpl::size<result>::type::value ==
boost::mpl::size<data>::type::value));
}

Anthony
--
Anthony Williams
Software Engineer, Nortel Networks Optical Components Ltd
The opinions expressed in this message are not necessarily those of my
employer