🚀 go-pugleaf

//
//Possible problem with overloading in gcc 2.2.1.
// For what I belive is valid code we get the error message:
//x.cc: In function `int  f (class Derived*)':
//x.cc:30: in base initialization for class `BaseOwner',
//x.cc:30: invalid initializer to constructor for type `BaseOwner'
//x.cc:38: warning: control reaches end of non-void function


class	Base	{ int a; };
class	Derived : public Base { int b; };

class	BaseOwner {
	public:
		BaseOwner (Base* b);
};

class	TEST {
	public:
	TEST ();
	operator Derived* ();
};


int f (Derived* d)
{
	BaseOwner bo1 (d);		// Obviously this compiles
	Derived* d2 = TEST ();		// Not too surprising that this does too
	BaseOwner bo2 (d2);		// this is really just like the first test...
	BaseOwner b03 (TEST ());	// BUT: why does this not compile??
		// According to ARM 12.3.2 I get one user defined conversion
		// (and no more). This is Test::operator Derived* ().
		// And according to page 326 (13.2) "Standard Conversions
		// may be appled tothe argument for a user-defined conversion,
		// and to the result of the user defined conversion.". This would seem
		// to imply that the Derived* gets converted to a Base*, and so
		// the last line of code should compile.
}