Re: Limited_Controlled types as 'out' arguments

["Randy Brukardt" <randy@rrsoftware.com>]

"Lutz Donnerhacke" <lutz@iks-jena.de> wrote in message
news:slrnbifqdp.o6.lutz@taranis.iks-jena.de...
...
> which is clearly wrong in the same way.

Of course. "in out" and "out" parameters for tagged types (and most other
types as well) are equivalent. Consider the lack of an "in" to be a comment
to the caller, not to the author of the subprogram.

There is never an "uninitialized" tagged object. Some of the components may
not be initialized (esp. if the type isn't controlled), but the object as a
whole is initialized. If it wasn't, the tag wouldn't be set, which would
make even membership operations impossible.

> So the only result of this can be: Do not provide 'out' Parameters to
> controlled types in the same library unit.

No, just realize that "out" is the same as "in out" as far as the
implementation of a routine is concerned. But it still can provide useful
information to the caller.

                      Randy.