Re: Will "renames" increase program size?

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

On Sat, 18 Jun 2011 10:58:49 +0200, Yannick Duch�ne (Hibou57) wrote:

> Le Sat, 18 Jun 2011 09:54:29 +0200, Dmitry A. Kazakov  
> <mailbox@dmitry-kazakov.de> a �crit:
>> Does this copy? It seems that according to you, you cannot tell without
>> looking into the body of Foo:
>>
>>    function Foo return T is -- This copies
>>       Result : T;
>>    begin
>>       return T;
>>    end Foo;
>>
>>    function Foo return T is -- This does not copy
>>    begin
>>       return Result : T;
>>    end Foo;
> 
> May be I did not really understood what you meant, but a simple test  
> program shows this makes no difference:

You have used integer, which is a scalar type. I am not a language layer,
though I guess that the compiler is required to copy in this case. But Adam
meant that for a controlled type it might be illegal to copy from the
return statement.

Here is a test:

with Ada.Finalization;
with Ada.Strings.Unbounded;  use Ada.Strings.Unbounded;
with Ada.Text_IO;            use Ada.Text_IO;

procedure Copying is
   package P is
      type T is new Ada.Finalization.Controlled with record
         Name : Unbounded_String;
      end record;
      overriding procedure Adjust (X : in  out T);
      function Foo_1 (Name : String) return T;
      function Foo_2 (Name : String) return T;
   end P;
   package body P is
      procedure Adjust (X : in  out T) is
      begin
         Put_Line ("Adjust " & To_String (X.Name));
      end Adjust;
      function Foo_1 (Name : String) return T is
         Result : T;
      begin
         Append (Result.Name, Name);
         return Result;
      end Foo_1;
      function Foo_2 (Name : String) return T is
      begin
         return Result : T do
            Append (Result.Name, Name);
         end return;
      end Foo_2;
   end P;
   use P;
   X : T renames Foo_1 ("one way");
   Y : T renames Foo_2 ("another way");
begin
   null;
end Copying;

(My GNAT copies here as well.)

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