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.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC 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!news3.google.com!feeder3.cambrium.nl!feed.tweaknews.nl!newsfeed0.kamp.net!newsfeed.kamp.net!news.osn.de!diablo2.news.osn.de!news.belwue.de!newsfeed.arcor.de!newsspool4.arcor-online.net!news.arcor.de.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Inherited Methods and such
Newsgroups: comp.lang.ada
User-Agent: 40tude_Dialog/2.0.15.1
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
Reply-To: mailbox@dmitry-kazakov.de
Organization: cbb software GmbH
References: <1190039166.449906.15070@g4g2000hsf.googlegroups.com>
 <1190041908.492024.263110@19g2000hsx.googlegroups.com>
 <1190060534.958182.51800@d55g2000hsg.googlegroups.com>
 <87tzptuhku.fsf@ludovic-brenta.org>
 <1190125656.071013.303640@22g2000hsm.googlegroups.com>
 <1ds7l1l7oeyrx.1cpsvrpkikour.dlg@40tude.net>
 <1190147965.676457.123000@d55g2000hsg.googlegroups.com>
Date: Tue, 18 Sep 2007 23:12:44 +0200
Message-ID: <1co37tau98gct.axsglmqh0xu9$.dlg@40tude.net>
NNTP-Posting-Date: 18 Sep 2007 23:11:41 CEST
NNTP-Posting-Host: c2a6e7cf.newsspool3.arcor-online.net
X-Trace: 
 DXC=a;bWlabOSnO0YVY]kmLTlDMcF=Q^Z^V3H4Fo<]lROoRA^;5]aA^R6>BnA;SO3Eo^oN[6LHn;2LCVN[<mhadbfdUKGA5SJI4@GWL1?82BVV1f2O
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news2.google.com comp.lang.ada:2025
Date: 2007-09-18T23:11:41+02:00
List-Id: <comp.lang.ada>

On Tue, 18 Sep 2007 13:39:25 -0700, Maciej Sobczak wrote:

> On 18 Wrz, 17:25, "Dmitry A. Kazakov" <mail...@dmitry-kazakov.de>
> wrote:
> 
>>> Then I'll pick that latter option. There is no pointer/reference to a
>>> specific type in C++.
>>
>> "this" within a constructor/destructor?
> 
> The dynamic type of the object is then equal to its static type (the
> dynamic type of the object *changes* during the process of
> construction/destruction).

Equivalently you could say that the object's type mutates upon dispatch,
and thus there is no specific types in Ada. These views are complementary.
As long as you don't distinguish T and T'Class you cannot tell what is
specific and what is not, and are forced to invent imaginary "static" and
"dynamic" substitute types.

But from behavioral point of view, the type is just equivalent to the
behavior of its values. If an object behaves as if it had a specific type,
then it just has that type, because there is no way to prove otherwise (by
means of writing a legal program capable to determine a difference).

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de