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!RKN7TKnHC01q0gdg6EhkbQ.user.46.165.242.75.POSTED!not-for-mail
From: Simon Wright <simon@pushface.org>
Newsgroups: comp.lang.ada
Subject: Re: Custom Storage Pool questions
Date: Tue, 28 Sep 2021 08:52:31 +0100
Organization: Aioe.org NNTP Server
Message-ID: <lymtnxb0hs.fsf@pushface.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> <sib8rc$nda$1@franka.jacob-sparre.dk>
	<sibvcr$1ico$1@gioia.aioe.org> <siu5r7$st6$1@franka.jacob-sparre.dk>
	<siueba$efk$1@gioia.aioe.org>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: gioia.aioe.org; logging-data="60879"; posting-host="RKN7TKnHC01q0gdg6EhkbQ.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.2 (darwin)
Cancel-Lock: sha1:ahtCH0kTVYvAvIyno9W1edHtth4=
X-Notice: Filtered by postfilter v. 0.9.2
Xref: reader02.eternal-september.org comp.lang.ada:62853
List-Id: <comp.lang.ada>

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:

> On 2021-09-28 06:31, Randy Brukardt wrote:
>> "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message
>> news:sibvcr$1ico$1@gioia.aioe.org...
>>> On 2021-09-21 02:26, Randy Brukardt wrote:
>
>>>> How else would you ensure that Finalize is always called on an allocated
>>>> object?
>>>
>>> I would not, because it is plain wrong. Finalize must be called for each
>>> *deallocated* object.
>> Deallocation is irrelevant. Finalization is called when objects are
>> about to
>> be destroyed, by any method.
>
> And no object may be destroyed unless deallocated.

Well, if it's important that an allocated object not be destroyed, don't
allocate it from a storage pool that can go out of scope!