Re: Ada Smileys in C++ lib Conversion

[Maciej Sobczak <see.my.homepage@gmail.com>]

On 17 Sie, 14:57, Warren <ve3...@gmail.com> wrote:

> > No. Enums are separate types.
>
> They are considered different "types" but (in C at least),
> they're implemented as ints. IOW, you can't mix the enums
> but you can supply an enum in an int argument.

This is called "implicit conversion" and has nothing to do with how
enums are implemented.
I agree, however, that implicit conversions cause problems.

> >> Further, the switch statement doesn't tell you about the
> >> cases which are missing.
>
> > Try g++ -Wswitch.
>
> GCC extension.

No, it is not an extension. It is a compiler option.
The language standard does not define what options the compiler should
support, so it does not make much sense to declare that some option is
an extension. All options are features of respective products and
products compete by offering different sets of features.

For example, GNAT can check some code formatting rules. This is a
feature of the compiler, not a language extension.

> Try it on HP or AIX C compiler.

And your point is?
It is true that the language standard does not mandate such coverage
check (unlike in Ada), but that does not make such analysis unfeasible
or forbidden.
Coming back to enums - they can help in such analysis and that's one
of the reasons to use them instead of ints.

--
Maciej Sobczak * http://www.inspirel.com