Re: memory management in Ada: tedious without GC?

["Randy Brukardt" <randy@rrsoftware.com>]

"Maciej Sobczak" <see.my.homepage@gmail.com> wrote in message 
news:9f2c2db4-d6c1-4cdf-884c-5cbc26ac7701@d1g2000hsg.googlegroups.com...
...
> In Ada RAII is realized with controlled types. They are severely
> broken in that they are intrusive in the type hierarchy and they burn
> the whole budget for implementation inheritance, which is a big issue
> with the lack of multiple inheritance (controlled streams, anyone?) -
...

I understand your point, but I think it is wrong. That's because I think all 
new tagged types should be controlled types (even if you are not using the 
functionality now). If you have a non-formal parameter type "type T is 
tagged..." you are guilty of premature optimization. (Yes, I can imagine 
that there exist cases where the overhead is too much, but I think you need 
to prove that in practice before worrying about -- it surely is possible for 
compilers to eliminate the overhead of unused initialization/finalization, 
and most do to some degree.)

If you get stuck with badly designed existing types, you can wrap the new 
stuff in a controlled type and get the correct behavior (as someone else 
suggested). (It's very rare that implementation inheritance buys you 
anything anyway.)

                                                Randy.