Есть ли разница между двумя следующими утверждениями? Они оба работают.Вставить в Func vs new Func?
if (((Func<bool>)(()=>true))()) { .... };
if (new Func<bool>(()=>true)()) { .... };
Есть ли разница между двумя следующими утверждениями? Они оба работают.Вставить в Func vs new Func?
if (((Func<bool>)(()=>true))()) { .... };
if (new Func<bool>(()=>true)()) { .... };
Нет, они оба скомпилированы точно так же, как и 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
, который просто использует соответствующий метод, генерируемый компилятором.
Мне любопытно, почему компилятор не будет использовать один и тот же экземпляр делегата здесь, поскольку обе анонимные функции имеют одну и ту же захваченную переменную («значение»). –
Почему 'if ((() => true)())' не работает, и его нужно отливать? Компилятор должен иметь возможность вывести тип 'Func'? –
ca9163d9
@ dc7a9163d9: Почему? Это может быть * любой тип делегата без каких-либо параметров и тип возвращаемого значения, к которому может преобразовать 'true'. –