C# と VB.NET の質問掲示板

■No37078 (aetos さん) に返信

ちなみに C++ ですと、

class Base
{
public:
	virtual void Test() { printf( "I'm Base !!\n" ); }
};

class Derived : public Base
{
public:
	virtual void Test() { printf( "I'm Derived !!\n" ); }
};

int _tmain(int argc, _TCHAR* argv[])
{
	Derived d;
	Derived * pd = &d;

	// これが暗黙的に認められたとすると…
	Base ** ppb = reinterpret_cast< Base ** >( &pd );

	Base b;
	*ppb = &b;

	pd->Test(); // I'm Base !!
	(*ppb)->Test(); // I'm Base !!

	return 0;
}

pd->Test(); も I'm Base !! になっちゃいます。これはまずい。

class Base {}
class Derived1: Base {}
class Derived2: Base {}

void Test(out Derived1 p) {...}
void Test(out Derived2 p) {...}

Base b;
Test(out b)

オーバーロードの解決がややこしくならないでしょうか？
普通なら完全に一致するシグネチャがないときは派生もとの型で調べていけばいいですが、
outのときは派生先をたどることになるので、新たなルールが必要になると思います。
あとたぶん、よねＫＥＮさんの書かれたシンタックスシュガーも必要とか？
でも、これを使う場面は少ないはずだから、それだったらエラーにしちゃって、
プログラマーに２行追加してもらった方がシンプルと決断されたんじゃないでしょうか？

outはrefのおまけなので、そこまで要求しないで！という本音を想像しましたｗ