From 4427463393311312566
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: f78e5,bed6baff9e441d5c
X-Google-Attributes: gidf78e5,public
X-Google-ArrivalTime: 2003-02-03 11:59:41 PST
Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newsfeed.icl.net!newsfeed.fjserv.net!kibo.news.demon.net!mutlu.news.demon.net!demon!mail2news.demon.co.uk!devnull
From: dlagno@mail.nnov.ru (Denis Lagno)
Newsgroups: comp.std.c++
Subject: Re: proposal: "virtual restrict" inheritance
Date: Mon, 3 Feb 2003 19:59:38 +0000 (UTC)
Organization: http://groups.google.com/
Lines: 20
Approved: fjh@cs.mu.oz.au (Fergus Henderson , moderator of comp.std.c++)
Message-ID: <5a0f3464.0302030047.64f63c34@posting.google.com>
References: <5a0f3464.0302020455.25d887a9@posting.google.com>
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 8bit
X-Trace: mail2news.demon.co.uk 1044302378 11199 10.0.0.1 (3 Feb 2003 19:59:38 GMT)
X-Complaints-To: abuse@demon.net
NNTP-Posting-Date: Mon, 3 Feb 2003 19:59:38 +0000 (UTC)
X-Received: from mulga.cs.mu.oz.au ([128.250.1.22])
	by news.demon.co.uk with esmtp (Exim 4.05)
	id 18fmki-0002uU-00
	for mail2news@news.news.demon.net; Mon, 03 Feb 2003 19:59:37 +0000
X-Received: from localhost (localhost [[UNIX: localhost]]) by mulga.cs.mu.OZ.AU
	id GAA29772; Tue, 4 Feb 2003 06:59:31 +1100 (EST)
X-Authentication-Warning: mulga.cs.mu.OZ.AU: fjh set sender to devnull@stump.algebra.com using -f
X-Path: comp-std-cpp-robomod!not-for-mail
X-Robomod: STUMP, ichudov@algebra.com (Igor Chudov)
X-Delivered-To: std-c++@ncar.ucar.edu
X-Newsgroups: comp.std.c++
X-NNTP-Posting-Date: 3 Feb 2003 08:47:08 GMT
X-Spam-Status: No, hits=-4.9 required=5.0
	tests=NOSPAM_INC,REFERENCES,SPAM_PHRASE_00_01
	version=2.41
Xref: archiver1.google.com comp.std.c++:17756

> [Proposed solution]
> add "virtual restrict" inheritance.

In principle it would be enough, but for the sake of clarity and
homogenty I think we should allow also nonvirtual restrict
inheritance.  So "restrict" will be just another modifier of
inheritance, similar to virtual.
Semantics shall be as follows: if some base class occurs in some
derived class more than 1 time as "restrict" base class then the
program is ill-formed.  Diagnostic seems to be straightforward.

--
Denis

---
[ 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.jamesd.demon.co.uk/csc/faq.html                       ]