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-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,1dd28d5040ded1f8
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2002-05-22 08:03:30 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!fu-berlin.de!uni-berlin.de!pec-15-250.tnt3.hh2.uunet.DE!not-for-mail
From: Dmitry A. Kazakov <mailbox@dmitry-kazakov.de>
Newsgroups: comp.lang.ada
Subject: Re: Announce: Grace project site operational
Date: Wed, 22 May 2002 17:05:44 +0200
Message-ID: <3ucneuoh5kgemqpoq85ts5v7lolnk760bn@4ax.com>
References: <4519e058.0205140718.3ddb1b2a@posting.google.com>
 <X7cE8.1439$fv.108467406@newssvr14.news.prodigy.com>
 <slrnae2kjt.4m1.randhol+abuse@kiuk0156.chembio.ntnu.no>
 <slrnae2ksi.4m1.randhol+abuse@kiuk0156.chembio.ntnu.no>
 <3CE15D0A.3050100@mail.com> <2s44eu0fm4g6606h9p4stb1b5oc0nmg5u8@4ax.com>
 <3CE2A946.5030808@mail.com> <r6s6eu8tgehkk0n3eq4nt6kvsldtcf3c3e@4ax.com>
 <3CE40B8E.70102@mail.com> <ruc9eu092qt58m7ru0nrnbeig5c6sjo2b0@4ax.com>
 <acg03j$10e$1@a1-hrz.uni-duisburg.de>
NNTP-Posting-Host: pec-15-250.tnt3.hh2.uunet.de (149.225.15.250)
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
X-Trace: fu-berlin.de 1022079809 26152675 149.225.15.250 (16 [77047])
X-Newsreader: Forte Agent 1.8/32.548
Xref: archiver1.google.com comp.lang.ada:24525
Date: 2002-05-22T17:05:44+02:00
List-Id: <comp.lang.ada>

On Wed, 22 May 2002 11:40:35 +0000 (UTC), Georg Bauhaus
<sb463ba@l1-hrz.uni-duisburg.de> wrote:

>Dmitry A. Kazakov <mailbox@dmitry-kazakov.de> wrote:
>
>:  C++ templates are simply untyped, substitute'n'pray.
>
>Is this a general statement? Out of couriosity:
>
template <
  class Thing,
[ ... example skipped ]
>
>g++ -c test.cc
>test.cc: In function
>	`int oodle<does_not_have_plus, 9, clrkpt>(does_not_have_plus)':
>test.cc:24:   instantiated from here
>test.cc:7: no match for `does_not_have_plus & + int'
>
>So (lack of C++ template understanding on my side not withstanding)
>there are cases where a prayer isn't needed?

I did not claimed that C++ is untyped. I claimed that the formal
template parameters are untyped in the sense that you cannot say:

template <class Thing that has +,

This requirement cannot be made a part of the contract. The contract
is as simple as "any type that makes macro expansion a valid program".
It is not much better than: #define private public. So far the result
remains a valid programs it is fine! That actual has or has not plus
will be checked in C++ only after substitution. One need body to check
that! Consider that somebody has instantiated your template, but did
not use the bodies where + is used. No error, though the contract is
broken. Well, after 10 years or so, somebody would try to use that
bodies and run at misterious errors in the code which is supposed to
be safe. In Ada at least one can write:

generic
   type Thing is new Field with private; -- Field has "+"

---
Regards,
Dmitry Kazakov
www.dmitry-kazakov.de