From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,635cd9622b25ae59
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news2.google.com!news3.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!newsfeed00.sul.t-online.de!t-online.de!130.59.10.21.MISMATCH!kanaga.switch.ch!news-zh.switch.ch!switch.ch!cernne03.cern.ch!cern.ch!news
From: Maciej Sobczak <no.spam@no.spam.com>
Newsgroups: comp.lang.ada
Subject: Re: Type safety, C++ and code generation
Date: Fri, 28 Apr 2006 08:22:25 +0200
Organization: CERN - European Laboratory for Particle Physics
Message-ID: <e2scb1$9hk$1@sunnews.cern.ch>
References: <e2q6p8$idj$1@sunnews.cern.ch>
   <1146143954.169807.207080@t31g2000cwb.googlegroups.com>
   <e2qj9l$edt$1@sunnews.cern.ch>
 <1146150613.238540.89130@t31g2000cwb.googlegroups.com>
NNTP-Posting-Host: abpc10883.cern.ch
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
X-Trace: sunnews.cern.ch 1146205345 9780 (None) 137.138.37.241
X-Complaints-To: news@sunnews.cern.ch
User-Agent: Mozilla Thunderbird 1.0.8-1.4.1.SL (X11/20060424)
X-Accept-Language: en-us, en
In-Reply-To: <1146150613.238540.89130@t31g2000cwb.googlegroups.com>
Xref: g2news2.google.com comp.lang.ada:3974
Date: 2006-04-28T08:22:25+02:00
List-Id: <comp.lang.ada>

REH wrote:

> your logic is also flawed in that it will
> not detect overflows

Because it's not within the responsibilities of the class that is 
supposed to implement ranges.
The overflow is what happens (or not!) on the level of the underlying type.

If this has the overflow problems:

typedef range<int, 0, 100> R;

then the solution to those problems is this:

typedef range<my_int_with_overflow_protection, 0, 100> R;

or this:

typedef range<big_int, 0, 100> R;

or even this:

typedef range<overflow_protected<int>, 0, 100> R;

and so on - but whatever it is, it's not within the responsibilities of 
the range<T> class, which is only supposed to implement ranges on top of 
some given underlying type.


-- 
Maciej Sobczak : http://www.msobczak.com/
Programming    : http://www.msobczak.com/prog/