Re: Type safety, C++ and code generation

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

Maciej Sobczak wrote:

> What about making different types really distinct?
> 
> typedef ranged_type<int, 0, 100> R1;
> typedef ranged_type<int, 0, 100> R2;
> typedef ranged_type<int, 0, 101> R3;
> 
> 
> Above, R1 and R2 are equal to the compiler, but R3 is distinct from
> the other two. This is or can be problematic in those contexts where you
> would rather expect them all to be different from each other -
> especially when you think in terms of different *domains*, no matter
> what is their range of values.

This is because "typdef" in C++ is "subtype" in Ada. You would need:

class R1 : ranged_type<int, 0, 100> {};
class R2 : ranged_type<int, 0, 100> {};
class R3 : ranged_type<int, 0, 101> {};

to create new types.

Martin
-- 
mailto://krischik@users.sourceforge.net
Ada programming at: http://ada.krischik.com