Добрый день.
Может кто-нибудь прояснить отношения между делегатами и замыканиями? Вроде по отдельности понятно, но вместе не укладываются. В моем понимании делегат это "жирный" указатель, т.е. два указателя вместе - один на функцию, а второй на ее контекст. А замыкание это когда происходит во вложенной функции захват внешней переменной путем того, что компилятор автоматически выделяет под эту переменную память в куче и туда ее копирует. И отсюда у меня получается, что делегат == замыканию, а это не так. Буду благодарен, если кто просветит...

updated: поиск пролил немного света - вроде как делегат это указатель на функцию-член класса, а замыкание, это то, что я привел выше. т.е. делегат это частный случай замыкания?

Это сообщение отредактировал(а) drug007 - 3.10.2014, 09:40

замыкание частный случай делегата

В Qt делегат это одно, в C# это другое, у Вас это что-то третее, непонятное мне.
Полагаю, аналогично и с замыканием. Я знаю что такое замыкание в теории множеств, а что оно значит у Вас?

ну давайте с терминологией разберемся.

делегатом в C# называется тип функции, используемый для передачи в качестве аргумента. анонимные функции могут использоваться везде, где ожидается делегат.
в просторечии делегатом часто называется не тип, а сама функция, передаваемая в качестве аргумента.

замыканием называется функция, ссылающаяся на контекст за своими пределами (на переменные, объявленные вне функции и не являющиеся параметрами). доступ к глобальным переменным (если они поддерживаются ЯП) есть у любой функции, поэтому замыкания имеют смысл когда функция определяется локально. В C# это анонимные функции.

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

Вроде теперь понятно. Получается, что делегат это просто функция, передаваемая как аргумент.  А замыкание это более специализированный вариант делегата, потому что не только передается как аргумент, но и осуществляет захват внешнего контекста?

ага

Понятно для C# и Java. Но здесь ведь раздел C++. Что для этого есть в C++?

В C++11 есть и то, и другое. std::function (делегат) и лямбда функции (замыкание).