From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: non record limited type
Date: Wed, 21 Feb 2018 19:20:02 -0600
Date: 2018-02-21T19:20:02-06:00 [thread overview]
Message-ID: <p6l5s4$lgr$1@franka.jacob-sparre.dk> (raw)
In-Reply-To: 6e384796-4a5f-449a-8bf7-3b8fe974b4fc@googlegroups.com
"Mehdi Saada" <00120260a@gmail.com> wrote in message
news:6e384796-4a5f-449a-8bf7-3b8fe974b4fc@googlegroups.com...
...
>> -- Object is passed by reference
>> procedure Do_Something(Object : aliased in out Some_Type);
>
>Really ? Are you sure it "forces" the passing by reference ?
Yes, of course. It wouldn't make much sense to be able to save 'Access of a
short-term local copy of the actual parameter -- you want the 'Access to
directly access the actual object. (Recall the the original reason for
"aliased" is to allow 'Access of the object. The rules for aliased
parameters are a bit more complex, but the underlying issues are the same.)
Anyway, RM 6.2(10/4) specifically says: "A parameter of a by-reference type
is passed by reference, as is an explicitly aliased parameter of any type."
Randy.
next prev parent reply other threads:[~2018-02-22 1:20 UTC|newest]
Thread overview: 16+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-02-21 15:58 non record limited type Mehdi Saada
2018-02-21 21:42 ` Jere
2018-02-21 22:29 ` Mehdi Saada
2018-02-21 23:08 ` Jere
2018-02-21 23:14 ` Jere
2018-02-22 0:09 ` Mehdi Saada
2018-02-22 0:26 ` Mehdi Saada
2018-02-22 2:57 ` Jere
2018-02-22 16:45 ` Jeffrey R. Carter
2018-02-22 17:06 ` Dmitry A. Kazakov
2018-02-22 7:56 ` Simon Wright
2018-02-22 1:20 ` Randy Brukardt [this message]
2018-02-22 1:29 ` Randy Brukardt
2018-02-22 8:25 ` Dmitry A. Kazakov
2018-02-22 23:24 ` Randy Brukardt
2018-02-23 8:58 ` Dmitry A. Kazakov
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox