Делегаты и события

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

Лямбда вроде x => x * 2 — это встроенная анонимная функция: компактный синтаксис => для тела метода, присваиваемого подходящему делегату или дереву выражений. Её тело может читать и менять переменные из охватывающей области, а не только свои параметры. Когда она захватывает такую внешнюю переменную, она становится замыканием, и захваченная переменная живёт, пока жива лямбда.

Это обобщённые типы делегатов из стандартной библиотеки, поэтому свои объявляют редко. Func<...,TResult> принимает ноль или больше входов и возвращает значение TResult. Action<...> принимает входы, но возвращает void. Predicate<T> принимает один T и возвращает bool, используется для проверок вроде фильтрации. Они делают сигнатуры единообразными и избавляют от шаблонных объявлений делегатов.

Анонимный метод использует старый синтаксис delegate { ... }, задавая встроенное тело делегата без имени метода; лямбда — новая, более краткая форма той же идеи. Оба компилируются в скрытый метод и присваиваются там, где ожидается делегат. Оба также образуют замыкания — захватывают внешние переменные по ссылке, разделяя живую переменную, а не копию, поэтому изменения видны с обеих сторон.

Связывание — это сопоставление вызова метода с реализацией. Раннее, или статическое, связывание разрешает вызов на этапе компиляции по объявленному типу переменной, давая проверку типов, IntelliSense и быстрые прямые вызовы. Позднее связывание откладывает разрешение до выполнения по фактическому объекту — через dynamic или рефлексию, — так что член не обязан быть известен при компиляции. Вы меняете безопасность и скорость на гибкость.

Каждый делегат хранит список вызова целей. += добавляет метод, а -= удаляет, поэтому один делегат может ссылаться на многие методы. Вызов выполняет каждую цель в порядке добавления. Для делегата с возвратом значения вы получаете результат только последней цели; ранние возвраты отбрасываются. Если любая цель бросает исключение, вызов прекращается и оставшиеся методы не выполняются.

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