Re: Inherited Methods and such

[Ludovic Brenta <ludovic@ludovic-brenta.org>]

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

> On 17 Wrz, 17:11, Ludovic Brenta <ludo...@ludovic-brenta.org> wrote:
>
>> If you come from C++:
>>
>> 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++?

>> * -> 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.)

>> namespace -> package (very roughly)
>
> OK (very roughly). :-)
>
>> virtual method -> primitive operation
>
> OK.
>
>> static method -> class-wide operation
>
> Not really. Class-wide operation in Ada is similar to non-virtual
> function in C++.

I stand corrected.  The last time I wrote any C++ was back in 2001 :)

-- 
Ludovic Brenta.