Re: Unchecked deallocation question

[Jim Rogers <jimmaureenrogers@att.net>]

Adrien Plisson <aplisson-news@stochastique.net> wrote in
news:41a66926$0$25070$ba620e4c@news.skynet.be: 

> 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.
> 

This is a difference between C++ and Ada. The C++ solution uses
dynamic memory allocation (from the free space or heap) while the
Ada solution uses the stack. Use of the stack eliminates the need
for explicit allocation and deallocation.

Jim Rogers