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-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,28cd155693714664
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2002-06-23 11:24:42 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newsfeed1.cidera.com!Cidera!cyclone1.gnilink.net!spamfinder.gnilink.net!nwrddc02.gnilink.net.POSTED!53ab2750!not-for-mail
From: Hyman Rosen <hyrosen@mail.com>
User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US;
 rv:1.1a) Gecko/20020619
X-Accept-Language: en-us, en
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Faulty languages and Liability
References: <mailman.1024283823.12299.comp.lang.ada@ada.eu.org>
 <%rcR8.6726$cE5.5860@nwrddc02.gnilink.net>
 <ohA*orwrp@news.chiark.greenend.org.uk>
 <wqhR8.7310$cE5.5201@nwrddc02.gnilink.net>
 <-an*Dlxrp@news.chiark.greenend.org.uk>
Content-Type: text/plain; charset=us-ascii; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <LnoR8.8964$cE5.5128@nwrddc02.gnilink.net>
Date: Sun, 23 Jun 2002 18:24:43 GMT
NNTP-Posting-Host: 162.83.247.204
X-Complaints-To: abuse@verizon.net
X-Trace: nwrddc02.gnilink.net 1024856683 162.83.247.204 (Sun,
 23 Jun 2002 14:24:43 EDT)
NNTP-Posting-Date: Sun, 23 Jun 2002 14:24:43 EDT
Xref: archiver1.google.com comp.lang.ada:26627
Date: 2002-06-23T18:24:43+00:00
List-Id: <comp.lang.ada>

Matthew Woodcraft wrote:
> In your sense, 'constant' doesn't tell the compiler anything special,
> as it can see which objects are assigned to. But the associated
> compile-time checks are still useful.

In C++ there's rather more to it than that. Temporaries passed by
reference can only go to parameters declared as const reference.
Furthermore, class methods can be overloaded by whether the object
is const.