Re: Question about OO programming in Ada

[Hyman Rosen <hyrosen@mail.com>]

Dmitry A. Kazakov wrote:
> So what?

So it's somewhat iconoclastic to regard the function as
the focus of the dispatching. You're doing it because you
are still pushing for your external fat-pointer dispatch
mechanism, which is why you decry the ability to redispatch.

I rememeber the old discussion, but people who don't aren't
going to understand what you're fussing about, since the
dispatch table implementation mechanism is fixed in many
minds as the very definition of OO.

> If the type tag gets changed, then the type does as well.

Yes, absolutely.

> For an object of *same* type a dispatch to *same* method
 > should yeld same target.

Yes, absolutely.

> It is not the case for C++.

No, that's wrong. It *is* the case for C++.

> The target in constructor / destructor or their callee is same
 > as if the method were not dispatching.

No, that's wrong as well. Did you look at my sample code?
Calls to virtual functions are always dispatching. The type
used to dispatch upon may vary during the course of construction.

> So I claim again, if it "dispatches" as a type-specific
> call, then it is type specific.

I don't understand what this sentence means.