13

Объясните простым, человеческим языком, кто такой и зачем нужен делегат в ООП вообще и в С# в частности?

5
  • 3
    Что-то все ответы какие-то длинные. Кратко: делегат - безопасный (управляемый) указатель на функцию (метод). Всё. 5 апр 2017 в 11:57
  • под словом управляемый подразумевается то что его можно добавить, изменить или удалить когда угодно? 5 апр 2017 в 12:37
  • Это значит, что использовать его напрямую можно только в управляемом (managed) коде - в платформе .NET. 5 апр 2017 в 12:43
  • 1
    @AlexanderPetrov к вашему определению не хватает завершающего вопроса: "Понятно, а что такое указатель на функцию?" =) Определение верное, но не слишком понятное для непосвященных.
    – rdorn
    5 апр 2017 в 13:39
  • @rdorn - а это уже нужно задавать отдельным вопросом :) 5 апр 2017 в 13:42

4 ответа 4

13

Делегат — это объектно-ориентированный способ работы с методом как с переменной. Его более привычный аналог — указатель на функцию, функтор, или даже просто вектор прерывания (спасибо @rdorn за подсказку).

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

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

4
  • @rdorn: Ну, делегат это как бы объект, то есть мы оборачиваем функцию именно объектом. Вектора прерываний — это, как мне кажется, всего лишь аналог. А есть где-то применение термина «делегат» не в контексте объекта-обёртки?
    – VladD
    5 апр 2017 в 13:18
  • @rdorn все-таки делегат - это не функтор и не указатель на функцию. От указателя на функцию делегат отличается тем, что хранит контекст вызова и может комбинироваться. Функтор же - более широкое понятие чем делегат. Любой делегат есть функтор, но обратное неверно. 5 апр 2017 в 14:04
  • Ну, указатели вроде бы есть только в C и C++ из крупных языков? А, и в Паскале.
    – VladD
    5 апр 2017 в 14:35
  • @VladD и еще в IL... 5 апр 2017 в 14:36
13

Из справки на MSDN Делегаты (Руководство по программированию на C#):

Делегат — это тип, представляющий ссылки на методы с конкретным списком параметров и возвращаемым типом. При создании экземпляра делегата этот экземпляр можно связать с любым методом с совместимой сигнатурой и возвращаемым типом. Метод можно вызвать (активировать) с помощью экземпляра делегата.

Добавлю своими словами: делегаты можно назвать особыми типами с кодом, генерируемым на этапе выполнения. Также можно сказать, что это своего рода указатели на методы. Вызов делегатов выполняется в том же потоке через метод, вызванный с использованием делегата, причем исключения бросаются так же, как будто метод был вызван напрямую. Вызов делегата с одним методом равносилен обычному вызову метода. Один делегат может вызвать много методов (если подписаны на несколько методов). Касаемо ООП - как уже было сказано, это объектно-ориентированный способ работы с методом. Вообще, тема ООП достаточно большая, поэтому тут только вскользь. Делегат - это такой же тип, как к примеру класс или интерфейс, он может определяться либо внутри класса, либо вне, в пределах пространства имен.

На ruSO C#-делегаты достаточно популярная тема, вопросы и ответы на которую имеются, для изучения приведу пару примеров:

5

Уже 2 ответа даны. Я добавлю третий вариант, более человечный :)

Делегат - лучше всего вспомнить о таком слове как Представитель. Это слово будет синонимом или, если хотите, переводом на русский яз. Еще можно вспомнить о слове Депутат. Короче, представитель, который представляет в качестве себя одного любимого многих. Депутат представляет выборщиков, много выборщиков. Делегат в языке C# - представляет или может представлять много методов. Этакое отношение один-ко-многим.

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

Про использование в ООП: на делегатах основаны события, с помощью делегатов можно создавать анонимные методы (методы без имени), ну и см. ответ уважаемого @VladD.

5
  • 1
    т.е. делегат это просто ссылка на метод (или методы)? они нужны для того что бы упростить написание кода ? 6 апр 2017 в 7:34
  • 3
    @Сергей не упростить, а ввести в язык ряд новых функциональных возможностей. Упрощает так называемый "синтаксический сахар", а делегат это прежде всего тип в языке, который служит выполнению ряда необходимых задач. Почитайте про events (события) - это еще один тип основанный на делегатах.
    – Bulson
    6 апр 2017 в 8:18
  • спасибо, почитаю 6 апр 2017 в 8:26
  • Вот события - это как раз не тип. 22 апр 2017 в 18:24
  • @PavelMayorov вы правы, это я сгоряча сказанул...
    – Bulson
    22 апр 2017 в 22:58
5

Я думаю что остальные излишне сложно написали... Если просто и в двух словах:

Делегат - это просто обьект, который хранит ссылку(и) на метод(ы).

Когда мы вызываем делегат с какими-то входными параметрами - это то же самое, что вызвать все методы которые на него подписаны.

Как бы и все обьяснение которое необходимо...

И на примере использования:

//Обьявляем делегат
delegate int Mydel(int x, int y); 

//Обьявляем метод, который может быть подписан на делегат. Пример кодом:
static int Sum(int x, int y)
{
    return x + y;
}
// Этот метод должен соответствовать:
// * Иметь такую же сигнатуру как сам делегат (входные параметры)
// * Возвращать такой же тип данных как и делегат
//
// Мой код, как видно, соответствует этому.

Использование делегата:

// обьявил переменную делегата и подписал метод Sum
Mydel sumDelegate = Sum;

//вызвал метод Sum через sumDelegate
int result = sumDelegate(10, 5); 

Что нужно иметь ввиду:

  • Один делегат может вызвать много методов (если подписаны на несколько методов). (подписывать через += и отписывать через -= )

  • Вызов делегата делается в том же потоке, в котором находится метод, из которого его вызвали. Это значит, что если у вас есть 2 потока в программе, и нужно вызвать метод, который делает что-то из UI потока, нужно вызвать BeginInvoke.

    Как-то так:

     Dispatcher.BeginInvoke(sumDelegate(10, 5));
    
  • Еще есть предопределенные делегаты Action и Func. Лично я предпочитаю пользоваться именно ими.

  • Еще есть довольно родственное понятие event. Event- ы основаны на делегатах. Про разницу между ними можно почитать вот здесь: Event и delegate: в чем отличие?

1
  • 1
    Action, как и Func, это не замена делегатов, это просто несколько предопределенных делегатов
    – Grundy
    22 дек 2018 в 14:35

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.