[ In 13099 Re: Dynamic type.  When is it assigned ?
  maxtal@Physics.usyd.edu.au (John Max Skaller) wrote: ]
[..]
>  A base subobject is not an object. It can and does have
> a dynamic type, which is the type its this "pointer" has.
> That type can change during construction, it starts of as "void",
> then changes to the class, then changes to each class derived
> from the base until the most derived class is reached.

In opposite to virtual objectfunctions it would be typesave to call
virtual classfunctions ("virtual static fcts") at any time between
the call(!) of the most derived ctor and the completition of the least
derived dtors.

Note that "virtual static fcts" is a feature that woun't make it
into the standard yet.


Ulf Schuenemann

--------------------------------------------------------------------
Ulf Sch   nemann
Institut f   r Informatik, Technische Universit   t M   nchen.
email: schuenem@informatik.tu-muenchen.de