comp.lang.ada
 help / color / mirror / Atom feed
From: darkestkhan <darkestkhan@gmail.com>
Subject: Question about finalization of local object returned from the function
Date: Wed, 28 Aug 2019 15:36:36 -0700 (PDT)
Date: 2019-08-28T15:36:36-07:00	[thread overview]
Message-ID: <f5528641-7f77-4754-8f2a-ac5f66e53a36@googlegroups.com> (raw)

Given a function returning controlled type:

function Bar return T is
  Foo : T;
begin
  ...
  return Foo;
end Bar;

would Foo be finalized upon end of the function?

As far as I can understand from the standard - yes, Foo would get finalized. Also if Foo was just a normal record type with controlled components those components would be finalized as well.

But I am not fully confident that my understanding of this is correct...

Thanks,
darkestkhan

             reply	other threads:[~2019-08-28 22:36 UTC|newest]

Thread overview: 5+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2019-08-28 22:36 darkestkhan [this message]
2019-08-29  1:45 ` Question about finalization of local object returned from the function Brad Moore
2019-09-01 18:34   ` Stephen Leake
2019-09-01 22:12     ` darkestkhan
2019-09-02 17:14       ` Jeffrey R. Carter
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox