Re: [Boost-users] mpl question

From: Karl Meerbergen (Karl.Meerbergen_at_[hidden])
Date: 2005-09-23 04:42:20

Hi Dave,

The documentation at
http://www.boost.org/libs/mpl/doc/refmanual/vector.html
says for pop_front<v>::type:
A new vector of following elements: [next< begin<v>::type>::type,end<v>::type)

It suggests (in my opinion) that the result_type of pop_front is a vector. 
Should the documentation be clearer about this?

Thanks,

Karl

On Thursday 22 September 2005 19:31, David Abrahams wrote:
> Karl Meerbergen <Karl.Meerbergen_at_[hidden]> writes:
> > Dear boost users,
> >
> >
> > I have a question regarding mpl.
> >
> > Consider the following piece of code:
> >
> > typedef boost::mpl::vector<int,double> v_i_d_t ;
> > typedef boost::mpl::pop_front<v_i_d_t>::type v_d_t ;
> >
> > Is v_d_t equal to boost::mpl::vector<double> ? I do not have the
> > impression.
>
> boost::mpl::equal<v_d_t,boost::mpl::vector<double> >::value is true but
> boost::is_same<v_d_t,boost::mpl::vector<double> >::value may be false.
>
> HTH,