(this == null) en C #!

En raison d'un bogue corrigé en C # 4, le programme suivant s'imprime true. (Essayez-le dans LINQPad)

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()) { }
}

Dans VS2008 en mode Release, il lève une InvalidProgramException. (En mode débogage, cela fonctionne très bien)

Dans VS2010 Beta 2, il ne compile pas (je n'ai pas essayé la Beta 1); J'ai appris que la manière dure

Existe-t-il un autre moyen de créer this == nullen pur C #?

Cette observation a été publiée sur StackOverflow dans une autre question plus tôt dans la journée .

La bonne réponse de Marc à cette question indique que selon la spécification (section 7.5.7), vous ne devriez pas pouvoir accéder thisdans ce contexte et la possibilité de le faire dans le compilateur C # 3.0 est un bogue. Le compilateur C # 4.0 se comporte correctement selon la spécification (même en bêta 1, il s'agit d'une erreur de compilation):

§ 7.5.7 Cet accès

Un this-access se compose du mot réservé this.

cet accès:

this

Un this-access n'est autorisé que dans le bloc d'un constructeur d'instance, d'une méthode d'instance ou d'un accesseur d'instance.

La décompilation brute (réflecteur sans optimisations) du binaire du mode Debug est:

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;
    }
}

La méthode CompilerGenerated n'a pas de sens; si vous regardez l'IL (ci-dessous), il appelle la méthode sur une chaîne nulle (!).

   .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 

En mode Release, la variable locale est optimisée, donc elle essaie de pousser une variable inexistante sur la pile.

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

(Le réflecteur plante en le transformant en C #)

EDIT : Est-ce que quelqu'un (Eric Lippert?) Sait pourquoi le compilateur émet le ldloc?

J'ai eu ça! (et j'ai aussi une preuve)

Ce n'est pas un "bug". C'est vous qui abusez du système de types. Vous n'êtes jamais censé passer une référence à l'instance actuelle ( this) à quiconque dans un constructeur.

Je pourrais créer un "bogue" similaire en appelant également une méthode virtuelle dans le constructeur de la classe de base.

Ce n'est pas parce que vous pouvez faire quelque chose de mal que c'est un bogue quand vous êtes mordu.

Je peux me tromper, mais je suis presque sûr que si votre objectif est nullqu'il n'y aura jamais de scénario où cela thiss'applique.

Par exemple, comment appelleriez-vous CheckNull?

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

Je ne sais pas si c'est ce que vous recherchez

    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);
    }

exemple: UserID = CheckForNull (Request.QueryString ["UserID"], 147);