Re: [Boost-users] mpl question

From: David Abrahams (dave_at_[hidden])
Date: 2005-09-23 08:35:17

Karl Meerbergen <Karl.Meerbergen_at_[hidden]> writes:

> 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. 

It is a vector.  A vector does not necessarily have to be a
specialization of mpl::vector.

Hmm, I think in this case "vector" should not be set in code font,
though.  Aleksey?

> Should the documentation be clearer about this?

That's what the use of "concept-identical" in the reference manual is
intended to convey.
http://www.boost.org/libs/mpl/doc/refmanual/extensible-sequence.html

Do you have a specific suggestion that should be used to clarify the
docs?

BTW, this point is also very clearly explained in "C++ Template
Metaprogramming," in case you haven't read it.

-- 
Dave Abrahams
Boost Consulting
www.boost-consulting.com