Re: Dispatch on the result still does not work?

["Hibou57 (Yannick Duchêne)" <yannick_duchene@yahoo.fr>]

On 11 juil, 12:04, "Dmitry A. Kazakov" <mail...@dmitry-kazakov.de>
wrote:
> use P;
>
>    X : T'Class := S'(Value);
> begin
>    X := Value; -- Ambiguous?
>
> I would expect it rather dispatching on the tag of X, i.e. selecting Value,
> which returns S.
>
> --
> Regards,
> Dmitry A. Kazakovhttp://www.dmitry-kazakov.de

Using this main program:

> with P;
> procedure Q is
>    X : P.T'Class := P.S'(P.Value);
> begin
>    X := P.Value;
> end;

I indeed got an ambiguity error. What was predictable.

There is no tagged argument here which controls the dispatching.

This is not like some other language which assume an implicite
argument.

Doing this:

> with P;
> procedure Q is
>    X : P.T'Class := P.S'(P.Value);
> begin
>    X := P.T'(P.Value);
> end;

works fine.

But doing so:
> with P;
> procedure Q is
>    X : P.T'Class := P.S'(P.Value);
> begin
>    X := P.S'(P.Value);
> end;

is rejected, whith a reference to RM 5.2(6), which states:
> RM 5.2 6
> If the target is of a tagged class-wide type T'Class,
> then the expression shall either be dynamically tagged,
> or of type T and tag-indeterminate (see 3.9.2).

In your example, Value is tag-indeterminate, as there is not tagged
argument to control the dispatching (back to the first assertion about
the fact).

Hint: the ARM excerpt makes a reference to 3.9.2, which is titled “
Dispatching Operations of Tagged Types
 ” and seems indeed worth reading in this purpose.

My personal opinion is that there is no trouble here, as there is no
tagged type to control the execution. While in the mean time, I
understand what you mean : you are consedering the return value target
as the out parameter of a procedure. But this is not an out parameter
of a procedure, this is a result returned by a function.