Re: Inherited Methods and such

[Maciej Sobczak <see.my.homepage@gmail.com>]

On 17 Wrz, 23:07, Ludovic Brenta <ludo...@ludovic-brenta.org> wrote:

> >> class -> tagged type
>
> > Not really. Tagged type is analogous to a polymorphic class in C++ (a
> > class that has at least one virtual function).
>
> So, you are saying that
>
> class foo { };
>
> is not a class in C++?

This is not analogous to *tagged* type in Ada.
For the type above, there is no "dope" and it is not possible to query
the object of "class-wide type" about its specific type.

The closest analogy to the above is just a (empty) non-tagged record.

> >> * -> class
>
> > You mean pointer or reference to the base class in C++ is analogous to
> > the class-wide type in Ada (roughly - in C++ they are have always
> > referential, not copy semantics).
>
> No, I meant C++ does not have a notation for Ada's concept of a class.
> (You may turn it the other way around and say C++ does not have a
> notation for a pointer to a specific type.)

Then I'll pick that latter option. There is no pointer/reference to a
specific type in C++.

--
Maciej Sobczak
http://www.msobczak.com/