Что такое делегат в программировании?

Делегат - это тип в C#, который хранит ссылку на метод и позволяет вызывать этот метод через переменную, как обычную функцию. По сути это типобезопасный аналог указателя на функцию из C, только с проверкой сигнатуры на этапе компиляции.

Как это устроено:

• объявляете тип делегата с конкретной сигнатурой, например delegate void Handler(string message);
• создаёте переменную этого типа и присваиваете ей имя подходящего метода
• вызываете переменную как обычный метод, а на деле выполняется тот метод, на который она ссылается

Зачем это нужно:

• передавать метод как параметр в другой метод, например для колбэков
• реализовывать события: событие в C# это, по сути, список делегатов, которые вызываются один за другим
• строить лямбда-выражения, потому что лямбда в C# компилируется именно в делегат

Важное отличие от C++: в C++ нет отдельного слова delegate, там для похожих задач используют указатели на функции, указатели на методы класса или std::function вместе с лямбдами. Идея похожая - хранить и передавать вызываемый код, но механизм и синтаксис совсем другой, и путать эти два языка друг с другом не стоит, несмотря на схожие идеи.

Делегаты бывают многоадресными: к одной переменной можно привязать сразу несколько методов через +=, и при вызове выполнятся все по очереди в порядке добавления. Это активно используется для системы событий в графических интерфейсах и в игровых движках, где на одно действие пользователя должны среагировать сразу несколько разных частей программы.

Делегат - объект C#, хранящий указатель на метод с определённой сигнатурой, используется для колбэков, событий и лямбд, в C++ прямого аналога нет, только указатели на функции и std::function.