운영자 '??' 하위 클래스의 피연산자에 적용 할 수 없습니다.

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으로의 암시 적 변환이 있어야합니다. yx 내지 암시 적 변환이 존재하는 경우 상기에서

var a = x ?? y; 

후 x의 타입 식의 형태가된다. y에서 x으로의 암시 적 변환은 없지만 x에서 y으로의 암시 적 변환이있는 경우 y 유형이 표현식의 유형이됩니다. 어느 방향으로도 변환이 없다면 붐; 컴파일 오류. 사양에서 :

식의 유형은 ?? b는 피연산자 유형간에 사용 가능한 암시 적 변환에 따라 다릅니다. 선호도 순서대로, ?? b는 A0, A 또는 B입니다. 여기서 A는 a의 유형이고, B는 b의 유형이고 (b는 유형이있는 경우) A가 A가 널 (NULL) 입력 가능 유형이면 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는 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(); 
}