[c#] 개체 참조가 개체의 인스턴스로 설정되지 않았습니다. .NET에서 어떤 개체가 ‘null’인지 표시하지 않는 이유는 무엇입니까?

(Visual Studio 2017의 새로운 예외 도우미에 대한 자세한 내용은이 답변의 끝 부분을 참조하세요.)

이 코드를 고려하십시오.

String s = null;
Console.WriteLine(s.Length);

이것은 NullReferenceException두 번째 줄에 a 를 던지고 s예외가 throw되었을 때 .NET 이 null 이라고 말하지 않는 이유를 알고 싶습니다 .

정보를 얻지 못하는 이유를 이해하려면 실행하는 것이 C # 소스가 아니라 IL이라는 점을 기억해야합니다.

IL_0001 : ldnull
IL_0002 : stloc.0 // 초
IL_0003 : ldloc.0 // 초
IL_0004 : callvirt System.String.get_Length
IL_0009 : System.Console.WriteLine 호출

callvirt를 throw하는 것은 opcode이며 NullReferenceException평가 스택의 첫 번째 인수가 null 참조 (를 사용하여로드 된 참조) 일 때이를 수행합니다 ldloc.0.

.NET이 그것이 snull 참조라는 것을 알 수 있어야한다면 어떤 식 으로든 평가 스택의 첫 번째 인수가 form에서 시작되었음을 추적해야합니다 s. 이 경우 그것이 snull이라는 것을 쉽게 알 수 있지만 값이 다른 함수 호출의 반환 값이고 어떤 변수에도 저장되지 않은 경우 어떻게 될까요? 어쨌든 이러한 종류의 정보는 .NET 가상 머신과 같은 가상 머신에서 추적하려는 정보가 아닙니다.

이 문제를 방지하려면 모든 공용 메서드 호출에서 인수 null 검사를 수행하는 것이 좋습니다 (물론 null 참조를 허용하지 않는 한).

public void Foo(String s) {
  if (s == null)
    throw new ArgumentNullException("s");
  Console.WriteLine(s.Length);
}

메소드에 null이 전달되면 문제가 무엇인지 정확하게 설명하는 예외가 발생합니다 (즉, snull).

4 년 후 Visual Studio 2017에는 a NullReferenceException가 throw 될 때 null이 무엇인지 알려주는 새로운 예외 도우미가 있습니다. null 인 메서드의 반환 값일 때 필요한 정보를 제공 할 수도 있습니다.

이것은 DEBUG 빌드에서만 작동합니다.

답변

AnyObject.GetANullObject().ToString();

private object GetANullObject()
{
  return null;
}