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.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,555956c1cdd22308
X-Google-Attributes: gid103376,public
From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: Help - Constructors - ASAP.
Date: 1998/08/01
Message-ID: <dewar.901945397@merv>#1/1
X-Deja-AN: 376889161
References: <6p75qi$rcj@news.latnet.lv> <m3lnpg7j5s.fsf@mheaney.ni.net>
 	<6pi4jq$j73$1@nnrp1.dejanews.com> <EACHUS.98Jul30114523@spectre.mitre.org>
X-Complaints-To: usenet@news.nyu.edu
X-Trace: news.nyu.edu 901945447 8772 (None) 128.122.140.58
Organization: New York University
Newsgroups: comp.lang.ada
Date: 1998-08-01T00:00:00+00:00
List-Id: <comp.lang.ada>

Robert Eachus says

<<    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.
>>


Well, the cases where safe inheritance would be feasible are limited to
extensions of the type with no additional fields, not very useful!