運營商'??'不能應用於子類別的操作數

Question

以下代碼給出了Main函數中第二行標題中的錯誤。

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的類型將變爲表達式的類型。如果兩個方向都不存在轉換，繁榮;編譯錯誤。從規格：

表達式的類型a ?? b取決於操作數類型之間的哪些隱式轉換可用。按照偏好的順序， b是A0，A或B，其中A是a的類型，B是b的類型（假設b具有類型），並且A0是A的基礎類型（如果A是可空類型），否則A 。具體來說，一個?? b的處理如下：

•如果A不是可爲空類型或引用類型，則會發生編譯時錯誤。

•如果A是可以爲空的類型，並且存在從b到A0的隱式轉換，則結果類型爲A0。在運行時，首先評估a。如果a不爲空，則將a解包爲A0類型，並且成爲結果。否則，評估b並將其轉換爲A0類型，並將其作爲結果。

•否則，如果存在從b到A的隱式轉換，則結果類型爲A.在運行時，首先計算a。如果a不爲空，則a成爲結果。否則，評估b並將其轉換爲A類型，並將其作爲結果。

•否則，如果b具有類型B並且存在從A0到B的隱式轉換，則結果類型爲B.在運行時，首先評估a。如果a不爲空，則將a解包爲類型A0（除非A和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(); 
}