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,FREEMAIL_FROM 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!cyclone1.gnilink.net!spamkiller2.gnilink.net!gnilink.net!trndny01.POSTED!0e8a908a!not-for-mail From: Hyman Rosen User-Agent: Mozilla Thunderbird 1.0 (Windows/20041206) X-Accept-Language: en-us, en MIME-Version: 1.0 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) 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> <4232ab3a$0$26547$9b4e6d93@newsread4.arcor-online.net> <1110825790.396769@athnrd02> <1gf23j59mnsm2.wimnrcdrb09u.dlg@40tude.net> In-Reply-To: Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Message-ID: Date: Mon, 14 Mar 2005 23:39:35 GMT NNTP-Posting-Host: 68.161.61.59 X-Complaints-To: abuse@verizon.net X-Trace: trndny01 1110843575 68.161.61.59 (Mon, 14 Mar 2005 18:39:35 EST) NNTP-Posting-Date: Mon, 14 Mar 2005 18:39:35 EST Xref: g2news1.google.com comp.lang.ada:9410 comp.lang.c++:45711 comp.realtime:1491 comp.software-eng:5058 Date: 2005-03-14T23:39:35+00:00 List-Id: Robert A Duff wrote: > Because the "<" (or Hash) needs to know the internals of the thing. It may be possible to order the objects through information available from public accessors, so this is false. > In other words, at the point where you declare a type, you have to think > ahead: this type might want to live inside one of those containers, so > I'd better define the necessary operations. False, as per above. In fact, the ordered containers can be instantiated with order functions, so there need not be a single unique ordering for a given type. For example, any string type has a public way of delivering up the characters it contains. That lets you define string containers which hold their strings in alphabetical order, in case-insensitive order, or even in pig-latin order if you want. None of this requires the string implementor to anticipate such ordering requirements.