Re: [Boost-users] [mpl] newbie question

"David Abrahams" wrote

"Andy Little" writes:

...

Maybe it could be changed to (something like)

Return type: integral_c< typeof(c1::value + c2::value) , ( c1::value + c2::value ) > c;

This would guarantee that is_same can be used on the result. Currently I cant assume that.

You seem to have a deep misunderstanding of the problem.

Do I ..........? ;-)

is_same< int_<3>, integral_c >::value

is false. They are different types.

Really ? Knock me down wiv a feather guvnor! typedef mpl::plus::type type1; typedef mpl::plus,mpl::int_<1> >::type type2; typedef mpl::plus,mpl::long_<1> >::type type3; typedef mpl::plus,mpl::integral_c

::type type4;

assert((boost::is_same >::value)); assert((boost::is_same >::value)); assert((boost::is_same >::value)); assert((boost::is_same >::value)); You might try reading the context in which that was said ........:-) (< hint > look in .......;-) regards Andy Little