Re: What's wrong with C++?

[Hyman Rosen <hyrosen@mail.com>]

On 2/17/2011 1:48 PM, Yannick Duchêne (Hibou57) wrote:
> Le Wed, 16 Feb 2011 21:07:02 +0100, Hyman Rosen <hyman.rosen@gmail.com> a écrit:
>> This is legal C++:
>>
>> struct DamageType {
>> enum E { Fire = 1, Acid = 2, Lightning = 4, Poison = 8 };
>> };
>>
>> DamageType::E what_my_dragon_can_do =
>> DamageType::E( DamageType::Acid | DamageType::Poison );
>
> I forget C++ for long I am not aware of its updates since this time.
 > Does what you wrote mean C++ can restict the possible value of an
 > enumeration ? Can derive subsets ?

The standard says in 7.2/6:
     For an enumeration where emin is the smallest enumerator and emax
     is the largest, the values of the enumeration are the values of the
     underlying type in the range bmin to bmax, where bmin and bmax are,
     respectively, the smallest and largest values of the smallest bit-
     field that can store emin and emax. (On a two's-complement machine,
     bmax is the smallest value greater than or equal to
     max(abs(emin)-1,abs(emax)) of the form 2^M-1; bmin is zero if emin
     is non-negative and -(bmax+1) otherwise.)

The implementation is not required to check for out of range values (of
course) and you cannot derive subsets in the way of Ada subtypes.