comp.lang.ada
 help / color / mirror / Atom feed
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




  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