Re: [Boost-users] updating mpl::map to 1.34

14 Dec 2006

      Hi Dave,

I believe I found some problem, when I was writing the test cases ;) It is for sure responsible
for the reported misbehavior with max_element.

Well, I don't know how to deal with this issue, may be you can advice smth. Map accepts sequence
of type pair. Vector as well. My approach was to think, as long as mpl::pair static interface
(first, second) is valid I can use another class as well. So I decided to derive a public class
from mpl::pair, which will model discriminated value int value speciefies a type:

template
struct my_pair : mpl::pair
{
   //some forward declarations of mpl::pair typedefs

   typename second  second_;
};

now I could define a map of types using my_pair and avoid using mpl::int_<N> each time:

typedef mpl::map, my_pair<1, double> ...>       my_map;

Now to the problem :) :
mpl::map converts these types to mpl::pair from my_pair. And the code like this will fail:

typedef mpl::max_element
	<
		mpl::transform_view
		<
		    my_map
		,   mpl::sizeof_mpl::_
		>
	>::type	max_iter;

because mpl::_ is not my_pair, but mpl::pair and has the size of 1 byte ;) (as specified in
standard)

I understand I can pass to mpl::sizeof_mpl::_ the second type from, but this would bring the
entire forward sequence handling scenario out of the balance. I can use mpl::vector in this
example and it will return my_pair, but I can not use mpl::map with custom pair. What should I do?
This example shows that vector and map behave differently and I can not fully apply the
ForwardSequence abstraction without worring which type was passed.

I think with mpl::for_each happens the same thing in my example, but I would like to investigate
it more to make conclusions.

With Kind Regards,

Ovanes Markarian

On Thu, December 14, 2006 04:38, David Abrahams wrote:
...
"Ovanes Markarian"  writes:
...
Dave,
Thanks for your answers. Can you point me to the docs, how I should organize
the test cases?
There are no docs on that; please just look at libs/mpl/test and
follow the same patterns.
...
Should these be some sort of BOOST_STATIC_ASSERTS etc.
I think I could easily extract some code parts and do it.
Thank you
--
Dave Abrahams
Boost Consulting
www.boost-consulting.com
_______________________________________________
Boost-users mailing list
Boost-users@lists.boost.org
http://lists.boost.org/mailman/listinfo.cgi/boost-users