Чому деякі вирази C # лямбда компілюються до статичних методів?

Як ви бачите в коді нижче, я оголосив Action<>об'єкт змінною.

Хто-небудь, будь ласка, дайте мені знати, чому цей делегат методу дії поводиться як статичний метод?

Чому він повертається trueв наступному коді?

Код:

public static void Main(string[] args)
{
    Action<string> actionMethod = s => { Console.WriteLine("My Name is " + s); };

    Console.WriteLine(actionMethod.Method.IsStatic);

    Console.Read();
}

Вихід:

Це найімовірніше, тому що немає закриттів, наприклад:

int age = 25;
Action<string> withClosure = s => Console.WriteLine("My name is {0} and I am {1} years old", s, age);
Action<string> withoutClosure = s => Console.WriteLine("My name is {0}", s);
Console.WriteLine(withClosure.Method.IsStatic);
Console.WriteLine(withoutClosure.Method.IsStatic);

Це виведе falseдля withClosureі trueдля withoutClosure.

Коли ви використовуєте лямбда-вираз, компілятор створює невеликий клас, щоб містити ваш метод, це компілюватиметься до чогось подібного (фактична реалізація, швидше за все, незначно змінюється):

private class <Main>b__0
{
    public int age;
    public void withClosure(string s)
    {
        Console.WriteLine("My name is {0} and I am {1} years old", s, age)
    }
}

private static class <Main>b__1
{
    public static void withoutClosure(string s)
    {
        Console.WriteLine("My name is {0}", s)
    }
}

public static void Main()
{
    var b__0 = new <Main>b__0();
    b__0.age = 25;
    Action<string> withClosure = b__0.withClosure;
    Action<string> withoutClosure = <Main>b__1.withoutClosure;
    Console.WriteLine(withClosure.Method.IsStatic);
    Console.WriteLine(withoutClosure.Method.IsStatic);
}

Ви можете бачити, що отримані Action<string>екземпляри фактично вказують на методи цих створених класів.

"Метод дії" є статичним лише як побічний ефект від реалізації. Це випадок анонімного методу без захоплених змінних. Оскільки немає захоплених змінних, метод не має додаткових вимог протягом життя, ніж вимоги до локальних змінних загалом. Якщо він посилався на інші локальні змінні, його термін служби поширюється на термін експлуатації цих інших змінних (див. Розділ L.1.7, Локальні змінні та сек. N.15.5.1, Захоплені зовнішні змінні в специфікації C # 5.0).

Зауважте, що специфікація C # говорить лише про те, що анонімні методи перетворюються на "дерева виразів", а не в "анонімні класи". Хоча дерево виразів може бути представлено у вигляді додаткових класів C #, наприклад, у компіляторі Microsoft, ця реалізація не потрібна (як це підтверджено у розділі M.5.3 у специфікації C # 5.0). Тому не визначено, статична анонімна функція чи ні. Більше того, розділ K.6 залишає багато відкритих щодо деталей дерев виразів.

Поведінка кешування делегата була змінена в Росліні. Раніше, як було сказано, будь-який лямбда-вираз, який не фіксував змінні, був складений у staticметод на сайті виклику. Рослін змінив таку поведінку. Тепер будь-яка лямбда, яка фіксує змінні чи ні, перетворюється на клас відображення:

З огляду на цей приклад:

public class C
{
    public void M()
    {
        var x = 5;
        Action<int> action = y => Console.WriteLine(y);
    }
}

Вихідний вихід компілятора:

public class C
{
    [CompilerGenerated]
    private static Action<int> CS$<>9__CachedAnonymousMethodDelegate1;
    public void M()
    {
        if (C.CS$<>9__CachedAnonymousMethodDelegate1 == null)
        {
            C.CS$<>9__CachedAnonymousMethodDelegate1 = new Action<int>(C.<M>b__0);
        }
        Action<int> arg_1D_0 = C.CS$<>9__CachedAnonymousMethodDelegate1;
    }
    [CompilerGenerated]
    private static void <M>b__0(int y)
    {
        Console.WriteLine(y);
    }
}

Рослін:

public class C
{
    [CompilerGenerated]
    private sealed class <>c__DisplayClass0
    {
        public static readonly C.<>c__DisplayClass0 CS$<>9__inst;
        public static Action<int> CS$<>9__CachedAnonymousMethodDelegate2;
        static <>c__DisplayClass0()
        {
            // Note: this type is marked as 'beforefieldinit'.
            C.<>c__DisplayClass0.CS$<>9__inst = new C.<>c__DisplayClass0();
        }
        internal void <M>b__1(int y)
        {
            Console.WriteLine(y);
        }
    }
    public void M()
    {
        Action<int> arg_22_0;
        if (arg_22_0 = C.
                       <>c__DisplayClass0.CS$<>9__CachedAnonymousMethodDelegate2 == null)
        {
            C.<>c__DisplayClass0.CS$<>9__CachedAnonymousMethodDelegate2 =
          new Action<int>(C.<>c__DisplayClass0.CS$<>9__inst.<M>b__1);
        }
    }
}

Делегатські зміни поведінки кешування в Росліні розповідають про те, чому цю зміну було здійснено.

Що стосується C # 6, це завжди буде стандартним методом екземплярів зараз, і ніколи не буде статичним (тому actionMethod.Method.IsStaticзавжди буде помилковим).

Дивіться тут: Чому лямбда без захоплення змінилася зі статичного в C # 5 на метод екземпляра в C # 6?

і тут: Різниця в статичній оцінці виразника лямбда-компресатора CSC і Roslyn?

Метод не має закриттів, а також посилається на сам статичний метод (Console.WriteLine), тому я б очікував, що він буде статичним. Метод оголосить закритий анонімний тип для закриття, але в цьому випадку це не потрібно.