Path: utzoo!censor!geac!torsqnt!news-server.csri.toronto.edu!cs.utexas.edu!sdd.hp.com!spool2.mu.edu!uunet!tdatirv!sarima
From: sarima@tdatirv.UUCP (Stanley Friesen)
Newsgroups: comp.std.c++
Subject: Re: request for comments
Message-ID: <95@tdatirv.UUCP>
Date: 24 Jan 91 15:48:46 GMT
References: <21@microsoft.UUCP>
Reply-To: sarima@tdatirv.UUCP (Stanley Friesen)
Organization: Teradata Corp., Irvine
Lines: 17

In article <21@microsoft.UUCP> jimad@microsoft.UUCP (Jim ADCOCK) writes:
|Is there any good reason why the restriction in 13.4
|
|"An operator function must either be a member function or take at least one
|argument of a class or a reference to a class."
|
|shouldn't be [clarified and] relaxed to:
|
|"An operator function must either be a member function or take at least one
|argument of class type or of a type derived from a class type."

I'm not sure I see the difference.  A type derived from a class type is also
a class type!  The only real difference I see is that your proposed new version
forgets to allow references, and is thus *more* restrictive.
-- 
---------------
uunet!tdatirv!sarima				(Stanley Friesen)