オペレータ '??'子クラスの型のオペランドには適用できません

Question

次のコードは、Main関数の2行目のタイトルのエラーを示しています。

public class P {} 

public class B : P {} 

public class A : P {} 

void Main() 
{ 
    P p = GetA()??GetB(); 
} 

public A GetA() 
{ 
    return new A(); 
} 

public B GetB() 
{ 
    return new B(); 
} 

これら

p = (P)GetA()??GetB(); 
    or 
    p = GetA()??(P)GetB(); 

作品のような行に簡単に微調整。

私は、コンパイラが両方とも左側のコンテナの子クラスであり、キャストなしの操作を許可していることを理解していないのはなぜですか？

Answer 1

左側の引数の型は、右側の型の型と互換性がなければなりません。つまり、BからAまたはAからBへの暗黙的な変換が存在する必要があります。上記で

var a = x ?? y; 

、yからxへの暗黙の変換が存在する場合、次いでxの種類は、式の型となります。 yからxへの暗黙的な変換はないが、xからyへの暗黙的な変換がある場合は、yのタイプが表現のタイプになります。どちらの方向にも変換がない場合は、ブームとなります。コンパイルエラー。仕様から：

式のタイプは？ bは、どの暗黙的な変換がオペランドの型間で利用可能であるかに依存する。好みの順に、?? bはAの型であり、Bはbの型であり（ただし、bは型を持つ）、A0はnullの型であればAの基底型であり、そうでなければAである。 。具体的には、 bは次のように処理されます。

•AがNULL可能型または参照型でない場合、コンパイル時エラーが発生します。

•AがNULL可能型で、bからA0への暗黙の変換が存在する場合、結果の型はA0です。実行時に、まずaが評価されます。 aがNULLでない場合、aはA0をタイプするためにラップされ、これが結果になります。それ以外の場合は、bが評価されてA0型に変換され、これが結果になります。

•それ以外の場合、暗黙の変換がbからAに存在する場合、結果の型はAです。実行時に、最初にaが評価されます。 aがNULLでない場合、aが結果になります。さもなければ、bが評価され、タイプAに変換され、これが結果になります。

•それ以外の場合、bの型がBで暗黙の変換がA0からBまで存在する場合、結果の型はBです。実行時には、まずaが評価されます。 aがNULLでない場合、aは（AとA0が同じ型でない限り）型A0に展開され、型Bに変換され、これが結果になります。それ以外の場合は、bが評価され結果になります。

•それ以外の場合、aとbは互換性がなく、コンパイル時エラーが発生します。

Answer 2

オペレータのオペランド？同じタイプである必要があります。

P a = GetA(); 
    P b = GetB(); 
    P p = a ?? b; 

Answer 3

コンパイラは両方とも左側のコンテナの子クラスであることを理解し、キャストせずに操作を許可しない理由は、私が興味？

、これは許可されますので：私は見

public class SqlConnection : object {}  
public class Random : object {} 

public SqlConnection GetA() { return new SqlConnection(); } 
public Random GetB() { return new Random(); } 

void Main() 
{ 
    var p = GetA() ?? GetB(); 
}