From 8878503371178320868
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: f78e5,ccbfcafab96cf493
X-Google-Attributes: gidf78e5,public
X-Google-ArrivalTime: 2001-11-27 15:29:01 PST
Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!dispose.news.demon.net!news.demon.co.uk!demon!mail2news.demon.co.uk!not-for-mail
From: brangdon@cix.co.uk (Dave Harris)
Newsgroups: comp.std.c++
Subject: Re: Proposol to increase robustness of programs
Date: Tue, 27 Nov 2001 23:28:51 GMT
Approved: Fergus Henderson <fjh@cs.mu.oz.au>, moderator of comp.std.c++
Message-ID: <memo.20011127230352.3025E@brangdon.madasafish.com>
References: <3C025715.9050709@earthlink.net>
Reply-To: brangdon@cix.co.uk
X-Trace: mail2news.demon.co.uk 1006903738 mail2news:1564 mail2news mail2news.demon.co.uk
X-Complaints-To: abuse@demon.net
X-Mail2News-Path: news.demon.net!mulga.cs.mu.oz.au
X-Authentication-Warning: mulga.cs.mu.OZ.AU: fjh set sender to devnull@stump.algebra.com using -f
X-Robomod: STUMP, ichudov@algebra.com (Igor Chudov)
X-Orig-NNTP-Posting-Host: host213-120-17-206.webport.bt.net (213.120.17.206)
X-Orig-X-Trace: fu-berlin.de 1006902203 5765510 213.120.17.206 (16 [57443])
Lines: 30
Xref: archiver1.google.com comp.std.c++:8326

eldiener@earthlink.net (Edward Diener) wrote (abridged):
> In the example given, the original poster wanted an addition to the
> language added because he missed the fact that a member function 
> declared in a base class was virtual.

No. Perhaps you should read the example again.

The problem was that he ended up with *no* function (with matching 
signature) in the base class, not a virtual one. And he arrived there 
because of a change made by the base class's author; at the time the 
derived class was written, it was correct.

Further, the author of the base class may not have been in a position to 
check every derived class when he made his change. It is quite a tricky 
problem of code management, when several different authors are involved.

I think it would be very helpful for the compiler to verify cross-module 
consistency in this area. The issues remind me of type-safe linkage.

  Dave Harris, Nottingham, UK | "Weave a circle round him thrice,
      brangdon@cix.co.uk      |   And close your eyes with holy dread,
                              |  For he on honey dew hath fed
 http://www.bhresearch.co.uk/ |   And drunk the milk of Paradise."

---
[ comp.std.c++ is moderated.  To submit articles, try just posting with ]
[ your news-reader.  If that fails, use mailto:std-c++@ncar.ucar.edu    ]
[              --- Please see the FAQ before posting. ---               ]
[ FAQ: http://www.research.att.com/~austern/csc/faq.html                ]



