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@fft.be> 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,