Re: Initialization and Finalization of limited object "returned" by a function

[Adam Beneschan <adam@irvine.com>]

On Feb 11, 2:53 pm, Robert A Duff <bobd...@shell01.TheWorld.com>
wrote:

> It doesn't matter whether the result object has a name or not.
> What matters is whether it's limited -- in the limited case,
> the result object is NOT finalized when leaving the function.

But that's true even if it's nonlimited, right?  If NLT is non-
limited, and you say (inside function NLT_Func)

   return X : NLT do
     X.Component := ...
   end return;

X, which is now another name for the "anonymous result object" created
for the function call, is not finalized "when leaving the function".
It's finalized later.  If you say

   Y : NLT := NLT_Func(...);

it's finalized after being copied to Y (assuming it is not built in
place).  If you pass the result to some other function(s):

   Z : Type2 := Func2 (Func3 (NLT_Func (...)));

then I believe the result object (of NLT_Func) is not finalized until
after the entire expression is evaluated, right?

                                   -- Adam