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,703c4f68db81387d
X-Google-Thread: 109fba,703c4f68db81387d
X-Google-Thread: 115aec,703c4f68db81387d
X-Google-Thread: f43e6,703c4f68db81387d
X-Google-Attributes: gid103376,gid109fba,gid115aec,gidf43e6,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news1.google.com!newsread.com!news-xfer.newsread.com!nntp.abs.net!news-FFM2.ecrc.net!newsfeed00.sul.t-online.de!t-online.de!tsicnews.teliasonera.com!news.otenet.gr!news.grnet.gr!newsfd02.forthnet.gr!not-for-mail
From: Ioannis Vranos <ivr@remove.this.grad.com>
Newsgroups: comp.lang.ada,comp.lang.c++,comp.realtime,comp.software-eng
Subject: Re: [OT] Re: Teaching new tricks to an old dog (C++ -->Ada)
Date: Tue, 22 Mar 2005 01:07:07 +0200
Organization: FORTHnet S.A., Atthidon 4, GR-17671 Kalithea, Greece,
 Tel: +30 2109559000, Fax: +30 2109559333, url: http://www.forthnet.gr
Message-ID: <1111446426.916556@athnrd02>
References: <4229bad9$0$1019$afc38c87@news.optusnet.com.au>
 <1110032222.447846.167060@g14g2000cwa.googlegroups.com>
 <871xau9nlh.fsf@insalien.org>
 <3SjWd.103128$Vf.3969241@news000.worldonline.dk>
 <87r7iu85lf.fsf@insalien.org> <1110052142.832650@athnrd02>
 <42309456$1@news.broadpark.no> <ow2Yd.21162$7U5.4617@fe04.lga>
 <opsnfw9nx75afhvo@localhost> <d0qiah$ep71@cui1.lmms.lmco.com>
 <pan.2005.03.11.18.01.45.684764@linuxchip.demon.co.uk.uk.uk>
 <1110569032.207770@athnrd02> <d0st28$ep65@cui1.lmms.lmco.com>
 <1110607809.837000@athnrd02> <1110608948.651588@athnrd02>
 <1110609321.686344@athnrd02> <wcceke81ze9.fsf@shell01.TheWorld.com>
NNTP-Posting-Host: athnrd02.forthnet.gr
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
X-Trace: athprx02.forthnet.gr 1111446426 32739 193.92.150.73 (21 Mar 2005
 23:07:06 GMT)
X-Complaints-To: abuse@forthnet.gr
NNTP-Posting-Date: Mon, 21 Mar 2005 23:07:06 +0000 (UTC)
User-Agent: Mozilla Thunderbird 1.0 (Windows/20041206)
X-Accept-Language: en-us, en
In-Reply-To: <wcceke81ze9.fsf@shell01.TheWorld.com>
Cache-Post-Path: newsfd02!unknown@ppp14-adsl-66.ath.forthnet.gr
Xref: g2news1.google.com comp.lang.ada:9703 comp.lang.c++:46622
 comp.realtime:1575 comp.software-eng:5177
Date: 2005-03-22T01:07:07+02:00
List-Id: <comp.lang.ada>

Robert A Duff wrote:

> Actually, integer subranges are quite useful.  For example, in some
> cases they allow the compiler to ensure (without any run time checking)
> that the integer index into an array matches the bounds of that array.
> Including in cases where the bounds are not known at compile time.

OK, however as I have mentioned before, one can also provide this type 
of guarantees in C++, without any run-time checks:


#include <vector>


int main()
{
     using namespace std;

     vector<int> intVector;

     for(vector<int>::size_type i=0; i<intVector.size(); ++i)
              // ...
}





#include <vector>


int main()
{
     using namespace std;

     vector<int> intVector;

     for(vector<int>::const_iterator p= intVector.begin();
                                              p!=intVector.end(); ++p)
              ;// ...
}




// Not real value, for display purposes only
#include <algorithm>
#include <vector>

inline int doubleF(const int &arg) { return 2*arg; }

// ...

vector<int>someArray(10, 1);

// ...

transform( someArray.begin(), someArray.end(),
            someArray.begin(), doubleF );



etc.




-- 
Ioannis Vranos

http://www23.brinkster.com/noicys