Как НА САМОМ ДЕЛЕ работает func

Func — это делегат — тип объекта, связанный с определенной сигнатурой метода и обычно привязанный к определенному методу с этой сигнатурой. Это может быть либо static, либо метод экземпляра, и он может быть общим или нет; во всех случаях экземпляр делегата содержит всю информацию, необходимую для вызова метода.

Func — это делегат, а экземпляры Delegate инкапсулируют MethodInfo и необязательный целевой объект для вызывать метод при вызове.

Func<T> просто делегат. Если для него задан метод экземпляра, то он [волшебным образом] получает правильное значение this при вызове. Если задан статический метод, то this нет. И если для него установлено замыкание/лямбда, замыкание «захватывает» эти переменные в области видимости во время закрытия. лексическая область видимости (с некоторыми оговорками: не всегда все работает так, как вы думаете).

Отредактировано, чтобы добавить:

Из стандарта C#, ISO 23270:2006 Языки программирования информационных технологий C#, 8.10:

8.10 Делегаты

Делегаты включают сценарии, к которым некоторые другие языки обращаются с помощью указателей на функции. Однако, в отличие от указателей на функции, делегаты являются объектно-ориентированными и типобезопасными.

Объявление делегата определяет класс, производный от класса System.Delegate. Экземпляр делегата инкапсулирует один или несколько методов, каждый из которых называется вызываемым объектом. Например, методы экземпляра, вызываемый объект состоит из экземпляра и метода для этого экземпляра. Для статических методов вызываемый объект состоит только из метода. Имея экземпляр делегата и соответствующий набор аргументов, можно вызывать все методы этого экземпляра делегата с этим набором аргументов.

Более подробно, в другом стандарте, ISO 23271:2006, Общеязыковая инфраструктура информационных технологий (CLI), разделы I–VI, говорится в 14.6:

Конструктор экземпляра (с именем .ctor и помеченным specialname и rtspecialname, см. §10.5.1) должен принимать ровно два параметра, первый из которых имеет тип System.Object, а второй — тип System.IntPtr. При фактическом вызове (через инструкцию newobj, см. Раздел III) первый аргумент должен быть экземпляром класса (или одного из его производных классов), который определяет целевой метод, а второй аргумент должен быть указателем на метод. быть вызванным.

Это не эта магия.

Когда вы создаете анонимный метод, например, назначенный Func<T>, локальные переменные, используемые внутри него, переносятся в класс. Учти это:

int GetIncremented()
{
    int x = 0;

    Func<int> increment = () => ++x;
    increment();

    return x;
}

За кулисами будет создано что-то вроде этого:

sealed class FuncData
{
    public int x = 0;

    public int FuncIncrement(FuncData data)
    {
        return ++data.x;
    }
}

int GetIncremented()
{
    FuncData data = new FuncData();

    Func<int> increment = new Func<int>(data.FuncIncrement);
    increment();

    return data.x;
}

Вот почему параметры out и ref нельзя использовать с анонимными методами: вы не можете хранить out или ref в качестве переменной-члена в классе.

У вас есть как Func, так и Action, которые являются встроенными делегатами. Разница между ними в том, что Func возвращает тип, а Action — нет.

Вы обнаружите, что Func активно используется в IEnumerable(T) Interface< /a>, с методами расширения Linq.

      Func<string, string> selector = str => str.ToUpper();
      string[] words = { "orange", "apple", "Article", "elephant" };
      IEnumerable<String> aWords = words.Select(selector);
      foreach (String word in aWords)
         Console.WriteLine(word);