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,93ab7fc5388e249
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-12-06 09:57:13 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news.tele.dk!small.news.tele.dk!128.39.3.168!uninett.no!ntnu.no!not-for-mail
From: Preben Randhol <randhol+abuse@pvv.org>
Newsgroups: comp.lang.ada
Subject: Re: Iterator approach (was: List container strawman 1.3)
Date: Thu, 6 Dec 2001 17:57:12 +0000 (UTC)
Organization: Norwegian university of science and technology
Message-ID: <slrna0vc7v.5f7.randhol+abuse@kiuk0156.chembio.ntnu.no>
References: <DzdP7.48986$xS6.81471@www.newsranger.com>
 <hRdP7.49017$xS6.81420@www.newsranger.com> <3C0E1FA1.45A38A75@brighton.ac.uk>
 <%7sP7.49836$xS6.82296@www.newsranger.com> <aewP7.2149$dp6.152302@rwcrnsc54>
 <DpxP7.50285$xS6.83694@www.newsranger.com> <DxyP7.309$w85.20109@rwcrnsc54>
 <CALP7.51313$xS6.84388@www.newsranger.com> <M4OP7.1278$L51.9683@rwcrnsc54>
NNTP-Posting-Host: kiuk0156.chembio.ntnu.no
X-Trace: tyfon.itea.ntnu.no 1007661432 25555 129.241.83.82 (6 Dec 2001
 17:57:12 GMT)
X-Complaints-To: usenet@itea.ntnu.no
NNTP-Posting-Date: Thu, 6 Dec 2001 17:57:12 +0000 (UTC)
User-Agent: slrn/0.9.7.3 (Linux)
Xref: archiver1.google.com comp.lang.ada:17522
Date: 2001-12-06T17:57:12+00:00
List-Id: <comp.lang.ada>

On Thu, 06 Dec 2001 17:41:00 GMT, Mark Lundquist wrote:
> But I don't think Unchecked_Deallocation can ever be made safe, because of
> pointer aliasing:
> 
>     Lost : List_Ptr := List;
>     .
>     .
>     Free (List);
>     Do_Something (Lost);

This is why I in my simple list don't allow pointers outside the list
implementation and use an internal list iterator only.

Preben
-- 
 ()   Join the worldwide campaign to protect fundamental human rights.
'||}
{||'                                           http://www.amnesty.org/