método implícito Gotcha conversión grupo

Question

Me pregunto por qué la salida del código dado (ejecutarlo en LINQPad)

void Main() { 
    Compare1((Action)Main).Dump(); 
    Compare2(Main).Dump(); 
} 

bool Compare1(Delegate x) { 
    return x == (Action)Main; 
} 

bool Compare2(Action x) { 
    return x == Main; 
} 

es siempre:

False 
True 

he esperado ingenuamente que sea True en ambos casos.

Answer 1

Así es como se ve cuando se compila en IL y luego se vuelve a descompilar en C#. Tenga en cuenta que en ambos casos hay new Action(Main) - un nuevo objeto de referencia (delegado) con un puntero al método real almacenado en el interior.

private static void Main() 
{ 
    Program.Compare1(new Action(Program.Main)).Dump(); 
    Program.Compare2(new Action(Program.Main)).Dump(); 
    Console.ReadLine(); 
} 

private static bool Compare1(Delegate x) 
{ 
    return x == new Action(Program.Main); 
} 

private static bool Compare2(Action x) 
{ 
    return x == new Action(Program.Main); 
} 

Si a continuación, echamos un vistazo a CIL, los antiguos usos ceq (comparación de referencia) y los segundos usos call bool [mscorlib]System.Delegate::op_Equality(class [mscorlib]System.Delegate, class [mscorlib]System.Delegate) para comparar los delegados.

Primero devuelve false porque las acciones que envuelven a sus delegados son dos objetos de referencia distintos.

Segundo devuelve true como el operador de igualdad implementado en la clase Delegate compara objetivos reales dentro de contenedores (acciones).

Answer 2

El resultado false está relacionado con el hecho de que el Comparación1() método realiza la comparación de referencia en dos objeto diferente (compilador muestra el aviso correspondiente):

IL_0001: ldarg.0 
IL_0002: ldnull 
IL_0003: ldftn  instance void ConsoleApplication1.Test::Main() 
IL_0009: newobj  instance void [System.Core]System.Action::.ctor(object, 
                    native int) 
IL_000e: ceq <<reference comparison 

Puede evitar el problema mediante el código siguiente:

bool Compare1(Delegate x) { 
    return x == (Delegate)((Action)Main); 
}