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