From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on
	ip-172-31-74-118.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.6
Path: eternal-september.org!reader02.eternal-september.org!aioe.org!Hx95GBhnJb0Xc8StPhH8AA.user.46.165.242.91.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Newsgroups: comp.lang.ada
Subject: Re: Custom Storage Pool questions
Date: Mon, 20 Sep 2021 10:28:28 +0200
Organization: Aioe.org NNTP Server
Message-ID: <si9gnb$926$1@gioia.aioe.org>
References: <e3c5c553-4a7f-408a-aaa7-60ec0b70202dn@googlegroups.com>
 <ly5yv1bxgy.fsf@pushface.org> <shtg99$tgd$1@gioia.aioe.org>
 <lywnnha7y1.fsf@pushface.org>
 <1d2551f4-8189-44ec-a54d-4a56a672bedcn@googlegroups.com>
 <c2d59417-398f-42a0-ab4b-b4f947325be0n@googlegroups.com>
 <si26q3$13l1$1@gioia.aioe.org> <lyo88r9e99.fsf@pushface.org>
 <si2ud7$fv2$1@gioia.aioe.org> <iqkevvFr27rU1@mid.individual.net>
 <si45ls$1goa$1@gioia.aioe.org> <iqloa8F3sptU1@mid.individual.net>
 <si4ell$1b25$1@gioia.aioe.org> <iqmgn0F8ftgU1@mid.individual.net>
 <si53ia$1vat$1@gioia.aioe.org> <iqoi4rFkbu6U1@mid.individual.net>
 <si77kd$rka$1@gioia.aioe.org> <iqqq5aF2vspU1@mid.individual.net>
 <si9dk7$pop$2@gioia.aioe.org> <iqqtskF3losU1@mid.individual.net>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Info: gioia.aioe.org; logging-data="9286"; posting-host="Hx95GBhnJb0Xc8StPhH8AA.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:78.0) Gecko/20100101
 Thunderbird/78.14.0
Content-Language: en-US
X-Notice: Filtered by postfilter v. 0.9.2
Xref: reader02.eternal-september.org comp.lang.ada:62787
List-Id: <comp.lang.ada>

On 2021-09-20 10:08, Niklas Holsti wrote:
> On 2021-09-20 10:35, Dmitry A. Kazakov wrote:

>> No. You can have them accessible over other access types with wider 
>> scopes:
>>
>>     Collection_Pointer := new X;
>>     Global_Pointer := Collection_Pointer.all'Unchecked_Access;
>>
> So, unchecked programming, as I said.

Right, working with pools is all that thing. Maybe "new" should be named 
"unchecked_new" (:-))

Finalize and Initialize certainly should have been Unchecked_Finalize 
and Unchecked_Initialize as they are not enforced. You can override the 
parent's Initialize and never call it. It is a plain primitive 
operations anybody can call any time any place. You can even call it 
before the object is fully initialized!

So, why bother with objects the user manually allocates (and forgets to 
free)?

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de