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!news4.google.com!news.glorb.com!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 Newsgroups: comp.lang.ada,comp.lang.c++,comp.realtime,comp.software-eng Subject: Re: Teaching new tricks to an old dog (C++ -->Ada) Date: Wed, 23 Mar 2005 22:19:21 +0200 Organization: FORTHnet S.A., Atthidon 4, GR-17671 Kalithea, Greece, Tel: +30 2109559000, Fax: +30 2109559333, url: http://www.forthnet.gr Message-ID: <1111609160.678753@athnrd02> References: <4229bad9$0$1019$afc38c87@news.optusnet.com.au> <1110052142.832650@athnrd02> <1110284070.410136.205090@o13g2000cwo.googlegroups.com> <395uqaF5rhu2mU1@individual.net> <1110329098.642196@athnrd02> <1110361741.551255@athnrd02> <422edaec$0$26554$9b4e6d93@newsread4.arcor-online.net> <1111464133.508323@athnrd02> <423fe9df$0$11476$9b4e6d93@newsread2.arcor-online.net> <1111521825.653841@athnrd02> <424094b0$0$11481$9b4e6d93@newsread2.arcor-online.net> <1111568404.687226@athnrd02> <1111572591.296439@athnrd02> <1111574207.72969@athnrd02> 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 1111609160 28892 193.92.150.73 (23 Mar 2005 20:19:20 GMT) X-Complaints-To: abuse@forthnet.gr NNTP-Posting-Date: Wed, 23 Mar 2005 20:19:20 +0000 (UTC) User-Agent: Mozilla Thunderbird 1.0 (Windows/20041206) X-Accept-Language: en-us, en In-Reply-To: Cache-Post-Path: newsfd02!unknown@ppp14-adsl-7.ath.forthnet.gr Xref: g2news1.google.com comp.lang.ada:9824 comp.lang.c++:46894 comp.realtime:1628 comp.software-eng:5230 Date: 2005-03-23T22:19:21+02:00 List-Id: Dmitry A. Kazakov wrote: > In general, we use ADT. It is also a recommended practice in C++, BTW. What > would you do with > > namelist["Pascal Obry"]="+0 321/45563 "; > > or > > namelist["321-45563"]="Pascal Obry"; I am not sure what you mean here, input validation should take place before such assignment. > Note that both Ada and C++ support ADT. Ada's arrays is just an example of > ADT. It is possible in C++ to implement an array as a set of classes though > it will be much more verbose and suffer from numerous drawbacks. I am not sure what you mean here either. > Of course it does. It is no different. The bounds can be specified either > as discriminants or as generic parameters (the latter has C++ equivalent). > As for the types with discriminants, they can be statically/dynamically > constrained and this is propagated down to the implementation where the > constraints are used. If corresponding methods are inlined then nothing > prevents the compiler from checking statically known bounds at > compile-time. > > I seems to me that you still missing the point. Ada's ability to check > bounds is based on the idea of constrained subtypes. It is a fundamental > concept which C++ lacks. (The only weak form of constraining C++ supports > is templates specialization.) OK then, Ada is probably better in this area. -- Ioannis Vranos http://www23.brinkster.com/noicys