From: Maciej Sobczak <no.spam@no.spam.com>
Subject: Re: Type safety, C++ and code generation
Date: Tue, 02 May 2006 08:27:17 +0200
Date: 2006-05-02T08:27:17+02:00 [thread overview]
Message-ID: <e36u45$s2s$1@sunnews.cern.ch> (raw)
In-Reply-To: <2051047.MTAq1HeU7p@linux1.krischik.com>
Martin Krischik 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
> This is because "typdef" in C++ is "subtype" in Ada.
Not really - you cannot add constraints with typedef. ;)
> 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.
Except that those new types would be problematic to use with operations
that are already defined for ranged_type (especially those which return
ranged_type), because there is no implicit conversion to the derived class.
--
Maciej Sobczak : http://www.msobczak.com/
Programming : http://www.msobczak.com/prog/
next prev parent reply other threads:[~2006-05-02 6:27 UTC|newest]
Thread overview: 29+ messages / expand[flat|nested] mbox.gz Atom feed top
2006-04-27 10:35 Type safety, C++ and code generation Maciej Sobczak
2006-04-27 13:19 ` REH
2006-04-27 14:08 ` Maciej Sobczak
2006-04-27 14:33 ` REH
2006-04-27 15:16 ` Maciej Sobczak
2006-04-27 15:39 ` Georg Bauhaus
2006-04-28 5:57 ` Maciej Sobczak
2006-04-28 12:16 ` Georg Bauhaus
2006-04-28 12:37 ` brian.b.mcguinness
2006-04-28 17:04 ` Georg Bauhaus
2006-04-28 18:50 ` Jeffrey R. Carter
2006-04-28 19:07 ` Randy Brukardt
2006-04-28 19:46 ` Robert A Duff
2006-04-28 19:55 ` Dmitry A. Kazakov
2006-04-29 21:28 ` Florian Weimer
2006-04-27 16:05 ` REH
2006-04-28 6:17 ` Maciej Sobczak
2006-04-30 14:40 ` adaworks
2006-04-30 15:23 ` REH
2006-04-30 18:14 ` Martin Krischik
2006-05-02 6:27 ` Maciej Sobczak [this message]
2006-05-02 13:33 ` REH
2006-05-02 15:05 ` Maciej Sobczak
2006-05-02 15:54 ` REH
2006-05-02 16:50 ` Martin Krischik
2006-05-02 19:50 ` REH
2006-04-27 14:47 ` REH
2006-04-27 15:10 ` REH
2006-04-28 6:22 ` Maciej Sobczak
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox