Re: Unchecked_Deallocation with tagged class type.

[Blady <p.p11@orange.fr>]

Le 15/11/2023 à 22:17, Dmitry A. Kazakov a écrit :
> On 2023-11-15 21:26, Blady wrote:
>> Le 14/11/2023 à 23:42, Dmitry A. Kazakov a écrit :
>>>> But what does "Finalize (OB);"?
<...>
> Regarding Unchecked_Deallocation instantiated with a pointer to a 
> class-wide object, consider it dispatching on the target object tag. 
> Thus you can deallocate any object using any instance of 
> Unchecked_Deallocation for any class-wide parent of, interfaces included.
> 
> So Finalize (OB) is OK.
> 

Thanks, yes, the instanciation of Unchecked_Deallocation seemed to 
indicate that but I was not able to confirm it from the Ada RM.
A mention in Ada RM 13.11.2 Unchecked Storage Deallocation of that 
particular possibility would be valuable.

Regards, Pascal.

PS: after a quick search, I found also a smart answer with a full 
example from Simon:
https://stackoverflow.com/questions/64951954/how-can-i-do-an-unchecked-deallocation-of-abstract-classes-in-ada