From: tedennison@my-dejanews.com
Subject: Re: Help - Constructors - ASAP.
Date: 1998/07/30
Date: 1998-07-30T00:00:00+00:00 [thread overview]
Message-ID: <6pqdr2$hn2$1@nnrp1.dejanews.com> (raw)
In-Reply-To: EACHUS.98Jul30114523@spectre.mitre.org
In article <EACHUS.98Jul30114523@spectre.mitre.org>,
eachus@spectre.mitre.org (Robert I. Eachus) wrote:
> In article <6pi4jq$j73$1@nnrp1.dejanews.com> dennison@telepath.com writes:
>
> There are two reasons for following the advice. First is that Ada
> has a rule that inherited functions with a controlling result are
> abstract, so they must be overridden. Yes, there are cases where
> constructor functions can be safely inherited from the parent, but
> this rule makes you think it through. Second is that when you do want
> a constructor which can return any type in the class, the right thing
> to do usually is to make it a classwide type.
But what happens in the situation where the client (perhaps a different
developer) wants to make a child class with fields that *must* be
initialized? That seems a quite reasonable thing to do. But now the
class-wide "constructor" isn't valid anymore. It can still be called for this
new child object, but will return a garbage value.
The only way I can see around this problem is to *also* declare a primitive
constructor, and have the body of the class-wide consructor redispatch to
that.
T.E.D.
-----== Posted via Deja News, The Leader in Internet Discussion ==-----
http://www.dejanews.com/rg_mkgrp.xp Create Your Own Free Member Forum
next prev parent reply other threads:[~1998-07-30 0:00 UTC|newest]
Thread overview: 26+ messages / expand[flat|nested] mbox.gz Atom feed top
1998-07-23 0:00 Help - Constructors - ASAP Maxim Senin
1998-07-26 0:00 ` Matthew Heaney
1998-07-27 0:00 ` dennison
1998-07-30 0:00 ` Robert I. Eachus
1998-07-30 0:00 ` tedennison [this message]
1998-07-31 0:00 ` Matthew Heaney
1998-07-31 0:00 ` Mats Weber
1998-07-31 0:00 ` Robert I. Eachus
1998-08-01 0:00 ` Matthew Heaney
1998-07-31 0:00 ` dennison
1998-08-01 0:00 ` Matthew Heaney
1998-08-01 0:00 ` Robert Dewar
1998-08-01 0:00 ` Matthew Heaney
1998-08-03 0:00 ` Mats Weber
1998-08-01 0:00 ` Robert Dewar
1998-08-01 0:00 ` Matthew Heaney
1998-08-03 0:00 ` Mats Weber
1998-08-03 0:00 ` Matthew Heaney
1998-08-03 0:00 ` Mats Weber
1998-08-04 0:00 ` Matthew Heaney
1998-08-04 0:00 ` Mats Weber
1998-08-05 0:00 ` Matthew Heaney
1998-08-10 0:00 ` Robert I. Eachus
1998-08-03 0:00 ` tedennison
-- strict thread matches above, loose matches on Subject: below --
1998-07-15 0:00 Maxim Senin
1998-07-16 0:00 ` Stephen Leake
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox