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

From: David Abrahams (dave_at_[hidden])
Date: 2006-02-25 10:24:57

"Andy Little" <andy_at_[hidden]> 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.

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

is false.  They are different types.

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