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

24 Jun 2005

      "Alexander Nasonov" <alnsn-boost@yandex.ru> wrote in message 
news:loom.20050623T155302-606@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