comp.lang.ada
 help / color / mirror / Atom feed
From: "Alejandro R. Mosteo" <alejandro@mosteo.com>
Subject: Re: Finalization and class-wide views
Date: Thu, 16 Jun 2016 11:11:15 +0200
Date: 2016-06-16T11:11:15+02:00	[thread overview]
Message-ID: <njtqfj$cai$1@dont-email.me> (raw)
In-Reply-To: <njtkrm$1cdn$1@gioia.aioe.org>

On 16/06/16 09:34, Dmitry A. Kazakov wrote:
> On 16/06/2016 01:50, Alejandro R. Mosteo wrote:
>
>> So the first declare is straightforward, the second one seems to involve
>> a temporary somewhere, and (here is my hope that this is not normal) the
>> last one, where seemingly B.M finalization seems missing. The integer
>> tells me that the previous finalization is of a temporary.
>
> In my case GNAT optimizes all three B's away.
>
>> I hope some of you experts can shed some light. To summarize: do
>> class-wide conversions affect finalization?
>
> No. A view conversion may not affect the object. The only question is
> what object.

Thanks for taking the time of going over my example and confirming this 
point.

>> Do you smell something fishy
>> in this case?
>
> Nothing except for broken semantics of assignment, at least in the third
> case. Maybe it is broken per design, let's hear what Ada lawyers say.

Ok, thanks.
Alex.


  reply	other threads:[~2016-06-16  9:11 UTC|newest]

Thread overview: 5+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2016-06-15 23:50 Finalization and class-wide views Alejandro R. Mosteo
2016-06-16  7:34 ` Dmitry A. Kazakov
2016-06-16  9:11   ` Alejandro R. Mosteo [this message]
2016-06-16 11:10 ` Alejandro R. Mosteo
2016-06-17 10:22   ` Alejandro R. Mosteo
replies disabled

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