[C#] null이 주어지면 is 연산자가 왜 false를 반환합니까?

이 질문은 2013 년 5 월 30 일에 제 블로그 의 주제였습니다 . 좋은 질문 감사합니다!

당신은 빈 차도를 쳐다보고 있습니다.

누군가가 “차도에 혼다 시빅을 탈 수 있습니까?”라고 묻습니다.

예. 예, 그럴 수 있습니다.

누군가 두 번째 차도를 가리 킵니다. 또한 비어 있습니다. “내 차도의 현재 내용이 차도에 맞을 수 있습니까?”

그렇습니다. 두 차도 모두 비어 있습니다! 따라서 처음에는 내용이 없기 때문에 한 내용이 다른 내용에 잘 맞을 수 있습니다.

“차도에 혼다 시빅이 포함되어 있습니까?”

아니 그렇지 않아.

is연산자가 두 번째 질문에 대답 한다고 생각합니다 . 이 값이 주어진다면 해당 유형의 변수에 적합합니까? 널 참조가이 유형의 변수에 적합합니까? 그렇습니다.

그것은 is운영자가 대답 하는 질문이 아닙니다 . 것을 질문 is연산자는 응답은 세 번째 질문입니다. y is X요구하지 않는 것은 ” 인 y유형의 변수의 유효한 값 X? “그것은 “묻습니다 인가 y형식의 개체에 대한 유효한 참조 X? “널 참조가 유효한 참조하지 않기 때문에 어떠한 의 목적 어떤 종류, 대답은 ‘노’입니다 “. 그 차도는 비어 있습니다. 혼다 시빅이 포함되어 있지 않습니다.

그것을 보는 또 다른 방법은 y is X“내가 말하면 y as X, 널이 아닌 결과를 얻을 것인가?”라는 질문에 대답하는 것입니다.

질문을 좀 더 깊이 살펴 보려면 :

null 값은 참조 (또는 nullable) 유형에 속할 것으로 예상합니다.

하나는 암시 적으로 가정 될 타입 A는 값들의 세트 및 그 할당 호환 형 X의 변수 값 (Y)의하면 아무 이상도 이하이고 , y는 집합 X의 멤버인지 여부를 확인 .

이것이 형식을 보는 매우 일반적인 방법이지만 형식을 보는 유일한 방법은 아니며 C #이 형식을 보는 방법도 아닙니다. 널 참조는 C #에서 유형이없는 멤버입니다. 할당 호환성 은 단순히 집합에 값이 포함되어 있는지 확인하는 것이 아닙니다 . 널 참조가 참조 유형 X의 변수와 호환 가능한 대입 이라고해서 널이 X 유형의 멤버라는 의미는 아닙니다. “대입이 호환 가능”관계이고 “유형의 멤버”관계는 분명히 중복되지만 CLR에서는 동일하지 않습니다.

유형 이론에 대한 생각이 당신에게 관심이 있다면, 주제에 관한 최근 기사를 확인하십시오.

이것을 “유형”이라고 부르는 것은 무엇입니까? 1 부

이것을 “유형”이라고 부르는 것은 무엇입니까? 두 번째 부분

답변

null is string;

if (X != null && X is Foo) {}

if (X is Foo) {}