Re: Limited returns

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

On Tue, 24 Jun 2008 08:01:01 -0700 (PDT), fedya_fedyakoff@inbox.ru wrote:

>>Because of a compiler bug, I guess. I think you should post it.
> 
> unfortunately too match bugs.

Ada 2005 introduced stuff [e.g. limited returns], which is quite hard to
implement (or merely to understand, if I dare say this (:-)).

AdaCore is working hard on this. It takes time until the dust settles
down...

------------------------
As a side note. The thing you are doing is quite rare. Normally nobody
would assign class-wide objects. There is virtually just one case where you
would need to copy (but not to overwrite!) a class-wide object:

   declare
      X : T'Class := Get_From_The_Outside_World;
   begin
      ... -- Do something with X

or

   procedure Queue (X : T'Class) is
   begin
      Append (List, new T'Class (X)); -- Create a copy and marshal it

Beyond this, class-wide objects are never assigned in the sense that you
would replace one class-wide value with another. It just cannot work
properly from the OO perspective because there is no static guaranty that
the specific would match. If there is one, then you know the types and then
you have to specify them. So at least it would be bad design. Remember that
assignment is doubly dispatching. Double dispatch is not supported in Ada.
Ergo, don't do that.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de