Re: Preventing Unchecked_Deallocation?

[Maciej Sobczak <see.my.homepage@gmail.com>]

On 9 Lut, 03:57, "Randy Brukardt" <ra...@rrsoftware.com> wrote:

> > The smart user will define his own access types and will make pointers
> > from your objects at the nearest opportunity and there's lots of them
> > if the type in question is, for example, tagged.
>
> There is absolutely no *requirement* to use access types with tagged types.

Tagged types are aliased, which allows to obtain access values from
their objects, now there is only one step to
Unchecked_Deallocation. :-)

And this is what I had in mind - it is not possible to completely
defend against stupidity and if the user really wants, he will
deallocate his own pointers to your own objects, even if you have no
access types in your package specs.

Putting it in other words: make something idiot proof and somebody
will invent better idiots.

Other than that, I fully agree that access types are not needed in Ada
as much as they are in other languages.

--
Maciej Sobczak * http://www.msobczak.com * http://www.inspirel.com