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

[Adam Beneschan <adam@irvine.com>]

On Feb 11, 8:47 pm, Hibou57 (Yannick Duchêne)
<yannick_duch...@yahoo.fr> wrote:
> On 11 fév, 18:40, Adam Beneschan <a...@irvine.com> wrote:> Yes, I believe that's right, and it's spelled out clearly in the RM,
> > in sections 7.6(17.1/3-17.11/3 and especially 17.7/3), 6.5(5.8/3),
> > 6.5(23/2), 7.6(4), and 3.10.2(10.1/2).
>
> With the exception of 6.5(23/2), none of these references exists in my
> annotated RM. Was this a joke ?

No.  And it looks like you found 3.10.2(10.1/2) since you mentioned it
in a later post.  Some of the others are in Ada 2005 R2 (the part
about result objects "mutating into" other objects was added after the
original version of Ada 2005).  If you're having problems locating
sections, let me know---it's possible I made a typo.

The "spelled out clearly" was a joke, though.  In particular, my
repeated attempts to understand the accessibility rules in 3.10.2 have
contributed to the big profits enjoyed by the manufacturers of Advil
and similar drugs.  (OK, it's a very tiny contribution, but still
greater than zero.)

                            -- Adam