Date: Mon, 10 Jul 2023 12:28:19 +0100
On Mon, 10 Jul 2023 at 10:08, Sebastian Wittmeier via Std-Proposals <
std-proposals_at_[hidden]> wrote:
> Hi Alex,
>
> I think you misunderstood.
>
> Jonathan's INT_MIN / INT_MAX do not return 1 or 16, respectively, for
> enums.
>
> Quite the opposite, Jonathan pointed out that the existing values INT_MIN
> / INT_MAX can be stored in MyEnum, so 1 or 16 are _not_ the minimum or
> maximum possible value for the example.
>
Precisely. Any proposal related to the "min" and "max" of enums needs to
discuss the valid values of the enumeration type.
>
>
> This has often used practical applications:
>
> MyEnum wolpertinger = eMonkey | eFish | eGoat | eFrog; // 30 > 16
>
>
>
> e.g. if like in the example the enum values are given as power of 2 flags,
> which can be added/ORed.
>
Yup. I don't see why you would define power of two enumerators unless you
intend their bitwise OR to be valid, which will produce a higher value than
the "max" (although the bitwise OR of all the enumerators uses the same
number of bits as the highest enumerator). So the example in the "proposal"
isn't even self-consistent IMHO.
std-proposals_at_[hidden]> wrote:
> Hi Alex,
>
> I think you misunderstood.
>
> Jonathan's INT_MIN / INT_MAX do not return 1 or 16, respectively, for
> enums.
>
> Quite the opposite, Jonathan pointed out that the existing values INT_MIN
> / INT_MAX can be stored in MyEnum, so 1 or 16 are _not_ the minimum or
> maximum possible value for the example.
>
Precisely. Any proposal related to the "min" and "max" of enums needs to
discuss the valid values of the enumeration type.
>
>
> This has often used practical applications:
>
> MyEnum wolpertinger = eMonkey | eFish | eGoat | eFrog; // 30 > 16
>
>
>
> e.g. if like in the example the enum values are given as power of 2 flags,
> which can be added/ORed.
>
Yup. I don't see why you would define power of two enumerators unless you
intend their bitwise OR to be valid, which will produce a higher value than
the "max" (although the bitwise OR of all the enumerators uses the same
number of bits as the highest enumerator). So the example in the "proposal"
isn't even self-consistent IMHO.
Received on 2023-07-10 11:28:34