Re: Unchecked deallocation question

[Adrien Plisson <aplisson-news@stochastique.net>]

Martin Krischik wrote:
> You should carefully thing if you really need it. Unlike C/C++ the following
> is actually valid:
> 
> declare
>     It : Root'Class := Derived'(...);
> begin
>     ...
> end;

mmmm, i don't think there is any problem doing this in C++:

class Root;
class Derived : public Root;

Root &It = Derived( ... );

it just uses a reference type which is almost the same as ada access 
type but you cannot assign null to it and cannot dereference it.

-- 
rien