2014-07-11 3 views

ответ

10

Нет, они оба скомпилированы точно так же, как и IL.

Проще видеть, действительно ли вы даете телу лямбды что-то, что зависит от состояния - иначе компилятор кэширует один экземпляр делегата для каждой лямбда. Но, к примеру:

using System; 

class Test 
{ 
    bool value = DateTime.Now.Hour == 10; 

    void Cast() 
    { 
     if (((Func<bool>)(() => value))()) 
     { 
      Console.WriteLine("Yes"); 
     } 
    } 

    void New() 
    { 
     if (new Func<bool>(() => value)()) 
     { 
      Console.WriteLine("Yes"); 
     } 
    } 

    static void Main() 
    { 
     new Test().Cast(); 
     new Test().New(); 
    } 
} 

Теперь IL для Cast является:

.method private hidebysig instance void Cast() cil managed 
{ 
    // Code size  39 (0x27) 
    .maxstack 2 
    .locals init (bool V_0) 
    IL_0000: nop 
    IL_0001: ldarg.0 
    IL_0002: ldftn  instance bool Test::'<Cast>b__0'() 
    IL_0008: newobj  instance void class [mscorlib]System.Func`1<bool>::.ctor(object, 
                       native int) 
    IL_000d: callvirt instance !0 class [mscorlib]System.Func`1<bool>::Invoke() 
    IL_0012: ldc.i4.0 
    IL_0013: ceq 
    IL_0015: stloc.0 
    IL_0016: ldloc.0 
    IL_0017: brtrue.s IL_0026 
    IL_0019: nop 
    IL_001a: ldstr  "Yes" 
    IL_001f: call  void [mscorlib]System.Console::WriteLine(string) 
    IL_0024: nop 
    IL_0025: nop 
    IL_0026: ret 
} // end of method Test::Cast 

и IL для New является:

.method private hidebysig instance void New() cil managed 
{ 
    // Code size  39 (0x27) 
    .maxstack 2 
    .locals init (bool V_0) 
    IL_0000: nop 
    IL_0001: ldarg.0 
    IL_0002: ldftn  instance bool Test::'<New>b__1'() 
    IL_0008: newobj  instance void class [mscorlib]System.Func`1<bool>::.ctor(object, 
                       native int) 
    IL_000d: callvirt instance !0 class [mscorlib]System.Func`1<bool>::Invoke() 
    IL_0012: ldc.i4.0 
    IL_0013: ceq 
    IL_0015: stloc.0 
    IL_0016: ldloc.0 
    IL_0017: brtrue.s IL_0026 
    IL_0019: nop 
    IL_001a: ldstr  "Yes" 
    IL_001f: call  void [mscorlib]System.Console::WriteLine(string) 
    IL_0024: nop 
    IL_0025: nop 
    IL_0026: ret 
} // end of method Test::New 

Как вы можете видеть, они же помимо вызов ldftn, который просто использует соответствующий метод, генерируемый компилятором.

+1

Мне любопытно, почему компилятор не будет использовать один и тот же экземпляр делегата здесь, поскольку обе анонимные функции имеют одну и ту же захваченную переменную («значение»). –

+0

Почему 'if ((() => true)())' не работает, и его нужно отливать? Компилятор должен иметь возможность вывести тип 'Func '? – ca9163d9

+0

@ dc7a9163d9: Почему? Это может быть * любой тип делегата без каких-либо параметров и тип возвращаемого значения, к которому может преобразовать 'true'. –

Смежные вопросы