comp.lang.ada
 help / color / mirror / Atom feed
From: Jere <jhb.chat@gmail.com>
Subject: Re: no, it can't be, there's no "with procedure instance_of_generic_procedure is new generic_procedure;" ? Impossible !
Date: Sun, 8 Apr 2018 04:46:08 -0700 (PDT)
Date: 2018-04-08T04:46:08-07:00	[thread overview]
Message-ID: <09e65278-c561-47f3-89b6-2055319aff43@googlegroups.com> (raw)
In-Reply-To: <dd9d081d-6b76-454c-aa3e-4276ca112f1e@googlegroups.com>

On Sunday, April 8, 2018 at 7:15:15 AM UTC-4, Mehdi Saada wrote:
> I understand your point, but there are special cases... namely 
> Unchechecked_deallocation, unchecked_conversion. In the example above, 
> I can't be sure the "Free" provided will be an effective deallocation procedure.

Something to consider in your specific case:  For smart pointers, you may
not want to restrict the user to unchecked_deallocation exclusively.  Consider
a smart pointer to a file or a serial port.  You may want your finalize
procedure to not only deallocate but to also close the resource (if it
is open). In those cases you'll need a slightly more complex finalization
routine.


  reply	other threads:[~2018-04-08 11:46 UTC|newest]

Thread overview: 14+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2018-04-08  0:32 no, it can't be, there's no "with procedure instance_of_generic_procedure is new generic_procedure;" ? Impossible ! Mehdi Saada
2018-04-08  6:50 ` J-P. Rosen
2018-04-09 23:43   ` Shark8
2018-04-08 11:15 ` Mehdi Saada
2018-04-08 11:46   ` Jere [this message]
2018-04-08 13:47     ` Mehdi Saada
2018-04-12  8:56 ` Marius Amado-Alves
2018-04-12 10:14   ` Mehdi Saada
2018-04-13  0:37     ` Shark8
2018-04-13 12:34       ` Mehdi Saada
2018-04-13 15:57         ` Mehdi Saada
2018-04-13 23:59           ` Randy Brukardt
2018-04-14  0:00         ` Randy Brukardt
2018-04-14  6:00           ` Mehdi Saada
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox