Re: tagged record child: override constructor?

[Jean-Pierre Rosen <rosen@adalog.fr>]

Hyman Rosen a �crit :
> Irrelevant. When the paramater is of a specific class type
> and you pass a derived type as an argument, the parameter
> simply receives a copy of the base part of the argument.
> It's referred to as "slicing". And just as you claim to prefer,
> once that happens there is no going back to the derived type.
> The parameter is well and truly only of its declared type.
> 
Not at all. You receive a *view*, not a copy (as you noted above, tagged 
types are always passed by reference). If you convert it to T'Class, it 
will dispatch according to its run-time type (i.e. the tag is not 
changed by parameter-passing - even if the parameter is of a specific type).
-- 
---------------------------------------------------------
            J-P. Rosen (rosen@adalog.fr)
Visit Adalog's web site at http://www.adalog.fr