Re: Inherited Methods and such

[Robert A Duff <bobduff@shell01.TheWorld.com>]

Maciej Sobczak <see.my.homepage@gmail.com> writes:

> On 28 Wrz, 22:44, Maciej Sobczak <see.my.homep...@gmail.com> wrote:
>
>> Yes, this example is convincing.
>
> After thinking about it for a while, I see one point missing:
> accessing T'Class from the supertype (T's) constructor. I need it to
> register the new object in the polymorphic container.

You can convert the result object to T'Class.
You can create an access-to-T'Class value.
I don't see the problem.

But if you dispatch "too early", things can get confusing.

One limitation of my example: it doesn't work if the parent
type is abstract.  In a from-scratch language design, I think
I would solve that problem by allowing the creation of objects
of abstract type.  And constructor functions returns such
objects.  But don't allow conversion of such objects to
class-wide (to avoid dispatching (to abstract subprograms)).
What do you think about that?  It's not Ada, of course.

- Bob