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=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Thread: 103376,c406e0c4a6eb74ed
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news2.google.com!news.maxwell.syr.edu!border1.nntp.dca.giganews.com!nntp.giganews.com!newshosting.com!nx01.iad01.newshosting.com!uunet!ash.uu.net!spool.news.uu.net!not-for-mail
Date: Thu, 26 Aug 2004 13:28:36 -0400
From: Hyman Rosen <hyrosen@mail.com>
User-Agent: Mozilla Thunderbird 0.7.3 (Windows/20040803)
X-Accept-Language: en-us, en
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: ADA Popularity Discussion Request
References: <49dc98cf.0408110556.18ae7df@posting.google.com>
 <b47de02.0408161309.151f6a53@posting.google.com>
 <u36tfgiufg9v.11kphr1rbvwq8$.dlg@40tude.net>
 <tlaqi09tmo0mu4s0qdsalvcrt6j7m9jskc@4ax.com>
 <ffg40i2l8oq8.18a8vty2ztq4d.dlg@40tude.net>
In-Reply-To: <ffg40i2l8oq8.18a8vty2ztq4d.dlg@40tude.net>
Content-Type: text/plain; charset=us-ascii; format=flowed
Content-Transfer-Encoding: 7bit
Organization: KBC Financial Products
Message-ID: <1093541316.900330@master.nyc.kbcfp.com>
Cache-Post-Path: master.nyc.kbcfp.com!unknown@nightcrawler.nyc.kbcfp.com
X-Cache: nntpcache 3.0.1 (see http://www.nntpcache.org/)
NNTP-Posting-Host: 204.253.250.10
X-Trace: 1093541316  15640 204.253.250.10
Xref: g2news1.google.com comp.lang.ada:3036
Date: 2004-08-26T13:28:36-04:00
List-Id: <comp.lang.ada>

Dmitry A. Kazakov wrote:
>>C++ pointers and references are polymorphic,
> 
> Except that in constructors / destructors... Hyman Rosen would disagree
> with me, but I believe it was a design fault.

Yes, we've had our discussions on that. But just to be precise,
C++ pointers and references *are* polymorphic even within [cd]tors,
but the class to which they are polymorphic is the class of the
[cd]tor which is currently active.

     extern "C" int printf(const char *, ...);
     struct A {
         virtual void f() { printf("A"); }
         void g() { f(); }
         A() { g(); }
     };
     struct B : A {
         virtual void f() { printf("B"); }
         B() { g(); }
     };
     struct C : B {
         virtual void f() { printf("C"); }
         C() { g(); }
     };
     int main() { C c; } // prints ABC