Hi,

 Please indulge me for a moment with a question about the
ANSI/ISO committee's latest policy with respect to co-variant
parameters and return types.

 From my understanding, the current WP allows co-variant
return types, e.g.,

----------------------------------------
class Base
{
public:
 virtual Base *clone (void) const;
};

class Derived : public Base
{
public:
 // Overrides Base::clone.
 virtual Derived *clone (void) const;
};
----------------------------------------

However, is the following co-variance on parameter types also allowed?

----------------------------------------
class Base
{
public:
 virtual int clone (Base *&) const;
};

class Derived : public Base
{
public:
 // Overrides Base::clone?
 virtual int clone (Derived *&) const;
};
----------------------------------------

Thanks,

 Doug
--
Dr. Douglas C. Schmidt    (schmidt@cs.wustl.edu)
Department of Computer Science, Washington University
St. Louis, MO 63130. Work #: (314) 935-7538; FAX #: (314) 935-7302
http://www.cs.wustl.edu/~schmidt/

>>>>> Douglas C Schmidt <schmidt@tango.cs.wustl.edu> writes:

> However, is the following co-variance on parameter types also allowed?

Nope.

Jason