Re: access & address

[Martin Krischik <krischik@users.sourceforge.net>]

Bjï¿œrn Persson wrote:

> Xenos wrote:
> 
>> 0 was a type-o
> 
> I thought it might be, but so many programmers like to count everything
> from zero so I couldn't be sure. And the enumeration would have had a
> valid value represented as 0 anyway, just like it would have had a valid
> value represented as 15, wouldn't it?
> 
>> My point was
>> that just specifying the upper bound is good enough to guarantee the
>> language internally uses an integer type with a big enough range to
>> accomodate you.
> 
> So by "close enough" you meant "enough bits to be able to represent all
> values from 1 to 12"? Then I misunderstood you. It looked like you meant
> "close enough to actually enforcing the restriction that only values
> from 1 to 12 are valid".

Well, he was referring to my Ada::Range<> template. And in thar respect it
is enough to have all values between 1 .. 12. Once the enum is used to
instantiate my template as in Ada::Range<Month, January, December> then
1 .. 12 would indeed be enforced as well.

And, praise where praise is due: xenos enum trick for creating strongly
typed integers in C++ is indeed best I have seen until now. Only now the
C/C++ enum has tree different jobs to do - For my taste a bit overburdened
for one language construct.

With Regards

Martin
-- 
mailto://krischik@users.sourceforge.net
http://www.ada.krischik.com