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,5117b1b6391a0e06
X-Google-Attributes: gid103376,public
Path: 
 g2news1.google.com!news1.google.com!news.glorb.com!green.octanews.net!news-out.octanews.net!news-out.visi.com!petbe.visi.com!news.octanews.net!ash.uu.net!spool.news.uu.net!not-for-mail
Date: Fri, 18 Jun 2004 09:16:16 -0400
From: Hyman Rosen <hyrosen@mail.com>
User-Agent: Mozilla Thunderbird 0.7 (Windows/20040616)
X-Accept-Language: en-us, en
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: A simple ADA puzzle (I haven't the answer)
References: <dRZzc.40593$G%.26441@tornado.fastwebnet.it>
 <as_zc.37108$Xw3.21935@nwrdny03.gnilink.net>
 <1087410710.477506@master.nyc.kbcfp.com>
 <jhj2d010m9bj369vnt4oupomg37pni9lad@4ax.com>
 <1087474761.60413@master.nyc.kbcfp.com>
 <7o83d0hf6sqgng2980e1tg7iu864m5m50u@4ax.com>
 <wvbr7ju5448r.fsf@europa1.Norway.Sun.COM>
 <1in5d05aa4rfqlt7e76gk87ucd3vuru6pm@4ax.com>
In-Reply-To: <1in5d05aa4rfqlt7e76gk87ucd3vuru6pm@4ax.com>
Content-Type: text/plain; charset=us-ascii; format=flowed
Content-Transfer-Encoding: 7bit
Organization: KBC Financial Products
Message-ID: <1087564576.388973@master.nyc.kbcfp.com>
Cache-Post-Path: master.nyc.kbcfp.com!unknown@nightcrawler.nyc.kbcfp.com
X-Cache: nntpcache 3.0.1 (see http://www.nntpcache.org/)
NNTP-Posting-Host: 204.253.250.10
X-Trace: 1087564576  6017 204.253.250.10
Xref: g2news1.google.com comp.lang.ada:1660
Date: 2004-06-18T09:16:16-04:00
List-Id: <comp.lang.ada>

Dmitry A. Kazakov wrote:
> Which proves that Local is defined on the library level, same as in
> Ada. The only difference is that C++ fakes you out, while Ada tells
> the sad truth.

It is not "defined on thelibrary level", whatever that might
mean in C++. It does not have external linkage (so it cannot
be used as a template parameter) and it may access anything
from its scope other than automatic variables and parameters.

In C++ all types are static entities. They never depend on
automatic variables or runtime properties, and so there is
never a problem with objects of those types persisting after
the scope in which those types are defined is exited.