From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-0.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,dbcfe2b0a74da57e
X-Google-Attributes: gid103376,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!postnews.google.com!g4g2000hsf.googlegroups.com!not-for-mail
From: Maciej Sobczak <see.my.homepage@gmail.com>
Newsgroups: comp.lang.ada
Subject: Re: Inherited Methods and such
Date: Tue, 18 Sep 2007 07:27:25 -0700
Organization: http://groups.google.com
Message-ID: <1190125645.729979.155360@g4g2000hsf.googlegroups.com>
References: <1190039166.449906.15070@g4g2000hsf.googlegroups.com>
   <1190041908.492024.263110@19g2000hsx.googlegroups.com>
   <1190060534.958182.51800@d55g2000hsg.googlegroups.com>
   <87tzptuhku.fsf@ludovic-brenta.org>
NNTP-Posting-Host: 137.138.37.241
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
X-Trace: posting.google.com 1190125647 13183 127.0.0.1 (18 Sep 2007 14:27:27
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Tue, 18 Sep 2007 14:27:27 +0000 (UTC)
In-Reply-To: <87tzptuhku.fsf@ludovic-brenta.org>
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/5.0 (X11; U; Linux i686; en-US;
 rv:1.8.0.12) Gecko/20070724 Red Hat/1.5.0.12-0.3.slc3
 Firefox/1.5.0.12,gzip(gfe),gzip(gfe)
Complaints-To: groups-abuse@google.com
Injection-Info: g4g2000hsf.googlegroups.com; posting-host=137.138.37.241;
   posting-account=ps2QrAMAAAA6_jCuRt2JEIpn5Otqf_w0
Xref: g2news2.google.com comp.lang.ada:2014
Date: 2007-09-18T07:27:25-07:00
List-Id: <comp.lang.ada>

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/