c# - ref パラメータが反変でないのはなぜですか?

Question

これは機能します：

EndPoint endPoint = new IPEndPoint(_address, _port);
_socket.ReceiveFrom(buffer, 0, 1024, SocketFlags.None, ref endPoint);

しかし、これはしません:

IPEndPoint endPoint = new IPEndPoint(_address, _port);
_socket.ReceiveFrom(buffer, 0, 1024, SocketFlags.None, ref endPoint);

(エンドポイントのタイプに注意してください)

これは奇妙に思えます。ref キーワードがパラメーターの反変性を壊すのはなぜですか?

score 17 · Accepted Answer

メソッドシグネチャでは、endPointパラメータがEndPointではなくとして宣言されているためIPEndPointです。メソッドが、変数に代入できないendPoint別の種類のに設定されないという保証はありません。EndPointIPEndPoint

たとえば、FooEndPointを継承するクラスとEndPoint、パラメーターFooを受け取るメソッドがあるとします。ref EndPoint

public class FooEndPoint : EndPoint
{
   ...
}

public void Foo(ref EndPoint endPoint)
{
    ...
    endPoint = new FooEndPoint();
    ...
}

IPEndPointそのメソッドにa を渡すことができた場合、 a は aではないためFooEndPoint、パラメーターへの a の割り当てはendPoint実行時に失敗します。FooEndPointIPEndPoint

score 2 · Accepted Answer

メソッド ReceiveFrom は新しい EndPoint を作成できますが、IPEndPoint は作成できないためです。このパラメーターは 2 つの方法で機能するため、型が正確に一致する必要があります。

3 に答える 3