Re: [boost] [type_traits] any interest in integral_promotion?

From: Andy Little (andy_at_[hidden])
Date: 2005-06-24 04:35:35

"Alexander Nasonov" <alnsn-boost_at_[hidden]> wrote in message 
news:loom.20050623T155302-606_at_post.gmane.org...
> Andy Little <andy <at> servocomm.freeserve.co.uk> writes:
>> "Arkadiy Vertleyb" <vertleyb <at> hotmail.com> wrote
>>
>> > FWIW, something like this:
>> >
>> > template<class T>
>> > struct promoted
>> > {
>> >  typedef BOOST_TYPEOF_TPL(T()+T()) type;
>> > };
>>
>> But where would you need this ?
>
> To implement int_fast_t?
>
> http://www.boost.org/libs/integer/integer.htm

To check that the result is capable of holding the argument ?

After reading the standard on this I guess that it would be useful to have a 
representation of the promotion rules. As you point out the need here..  There 
must be other cases too.

Andy Little