(this == null) C#!

Question

C# 4에서 수정 된 버그로 인해 다음 프로그램은 true을 인쇄합니다. 그것이 InvalidProgramException를 throw, 릴리스 모드에서 VS2008에서

void Main() { new Derived(); } 

class Base { 
    public Base(Func<string> valueMaker) { Console.WriteLine(valueMaker()); } 
} 
class Derived : Base { 
    string CheckNull() { return "Am I null? " + (this == null); } 
    public Derived() : base(() => CheckNull()) { } 
} 

을 (LINQPad에보십시오). (디버그 모드에서 제대로 작동합니다.)

VS2010 Beta 2에서는 컴파일되지 않습니다 (베타 1을 시도하지 않았습니다). 어려운 방법을 배웠습니다

this == null을 순수한 C#으로 만들 수있는 다른 방법이 있습니까?

Answer 1

이 관찰은 오늘 StackOverflow에 another question에 오늘 게시되었습니다.

Marc의 great answer to that question은 사양 (섹션 7.5.7)에 따라, 당신이 그 상황과 3.0 컴파일러 버그가 C#으로 그렇게 할 수있는 능력 this에 액세스 할 수 없습니다 것을 나타냅니다. C# 4.0 컴파일러는 사양에 따라 올바르게 작동하고 (심지어 베타 1이 컴파일 시간 에러이다)이 액세스

§ 7.5.7은이 액세스이 구성 예약어 this.

이 접속 :

this 

이 액세스은 인스턴스 생성자 인스턴스 메소드 또는 인스턴스 접근의 블록 허용된다. 이것은 당신이

public static T CheckForNull<T>(object primary, T Default) 
    { 
     try 
     { 
      if (primary != null && !(primary is DBNull)) 
       return (T)Convert.ChangeType(primary, typeof(T)); 
      else if (Default.GetType() == typeof(T)) 
       return Default; 
     } 
     catch (Exception e) 
     { 
      throw new Exception("C:CFN.1 - " + e.Message + "Unexpected object type of " + primary.GetType().ToString() + " instead of " + typeof(T).ToString()); 
     } 
     return default(T); 
    } 

예를 찾고있는 경우

Answer 2

내가 틀릴 수도 있지만, 나는 당신의 객체가 null 결코 this가 적용되는 시나리오가있을 않을거야 경우 확신합니다.

예를 들어 CheckNull을 어떻게 부르겠습니까?

Derived derived = null; 
Console.WriteLine(derived.CheckNull()); // this should throw a NullReferenceException 

Answer 3

나는 그것을 가지고있다! 디버그 모드 바이너리의

Answer 4

(아무 최적화와 리플렉터) 원시 디 컴파일 (너무 증거를 가지고)입니다 :

이

private class Derived : Program.Base 
{ 
    // Methods 
    public Derived() 
    { 
     base..ctor(new Func<string>(Program.Derived.<.ctor>b__0)); 
     return; 
    } 

    [CompilerGenerated] 
    private static string <.ctor>b__0() 
    { 
     string CS$1$0000; 
     CS$1$0000 = CS$1$0000.CheckNull(); 
    Label_0009: 
     return CS$1$0000; 
    } 

    private string CheckNull() 
    { 
     string CS$1$0000; 
     CS$1$0000 = "Am I null? " + ((bool) (this == null)); 
    Label_0017: 
     return CS$1$0000; 
    } 
} 

CompilerGenerated 방법은 이해가되지 않습니다; 일리노이 (아래)를 보면 NULL 문자열을 (!)으로 호출하고 있습니다.

.locals init (
     [0] string CS$1$0000) 
    L_0000: ldloc.0 
    L_0001: call instance string CompilerBug.Program/Derived::CheckNull() 
    L_0006: stloc.0 
    L_0007: br.s L_0009 
    L_0009: ldloc.0 
    L_000a: ret 

릴리스 모드에서는 로컬 변수가 최적화되어 있으므로 존재하지 않는 변수를 스택에 푸시하려고 시도합니다.

L_0000: ldloc.0 
    L_0001: call instance string CompilerBug.Program/Derived::CheckNull() 
    L_0006: ret 

(반사경 충돌의 C#으로 돌려)

---

편집 :합니까 사람 (? 에릭 Lippert의) 컴파일러가 ldloc 왜 방출 알아?

Answer 5

이것은 "버그"가 아닙니다. 너 타입 시스템을 악용하는거야. 현재 인스턴스 (this)에 대한 참조를 생성자 내의 모든 사용자에게 전달하지 않아야합니다.

기본 클래스 생성자 내에서 가상 메서드를 호출하여 비슷한 "버그"를 만들 수 있습니다.

당신이 당신이 그것에 의해 비트를 얻을 때 그에게 버그을 의미하지 않는다 나쁜 일을 할 수해서.

Answer 6

확실하지 : 사용자 ID = CheckForNull (Request.QueryString을 [ "사용자 ID", 147);