У нас есть закрытие на С++?

Ответ 1

В последнем стандарте С++ C++11 есть закрытие.

http://en.wikipedia.org/wiki/C%2B%2B11#Lambda_functions_and_expressions

http://www.cprogramming.com/c++11/c++11-lambda-closures.html

Ответ 2

Если вы понимаете закрытие как ссылку на функцию со встроенным, постоянным, скрытым и неотделимым контекстом (память, состояние), чем да:

class add_offset {
private:
    int offset;
public:
    add_offset(int _offset) : offset(_offset) {}
    int operator () (int x) { return x + offset; }
}

// make a closure
add_offset my_add_3_closure(3);

// use cloure
int x = 4;
int y = my_add_3_closure(x);
std::cout << y << std::endl;

следующий изменяет свое состояние:

class summer
{
private:
    int sum;
public:
    summer() : sum(0) {}
    int operator () (int x) { return sum += x; }
}

// make a closure
summer adder;
// use closure
adder(3);
adder(4);
std::cout << adder(0) << std::endl;

Внутреннее состояние не может ссылаться (доступ к нему) снаружи.

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

Закрытие означает отсутствие свободных переменных - оно сопоставимо с классом с только частными атрибутами и только общедоступным методом.

Ответ 3

Да, это показывает, как можно реализовать функцию с состоянием без использования функтора.

#include <iostream>
#include <functional>


std::function<int()> make_my_closure(int x){
    return [x]() mutable {   
        ++x;
        return x;   
    };
}

int main()
{
    auto my_f = make_my_closure(10);

    std::cout << my_f() << std::endl; // 11
    std::cout << my_f() << std::endl; // 12
    std::cout << my_f() << std::endl; // 13

     auto my_f1 = make_my_closure(1);

    std::cout << my_f1() << std::endl; // 2
    std::cout << my_f1() << std::endl; // 3
    std::cout << my_f1() << std::endl; // 4

    std::cout << my_f() << std::endl; // 14
}

Я забыл ключевое слово mutable, которое ввело поведение undefined (версия clang возвращала значение мусора). Как реализовано, закрытие работает отлично (на GCC и clang)

Ответ 4

Да, С++ 11 имеет закрытие с именем lambdas.

В С++ 03 встроенная поддержка lambdas отсутствует, но существует Boost.Lambda.

Ответ 5

Я подозреваю, что это зависит от того, что вы подразумеваете под закрытием. Значение, которое я имею всегда используется мусорная сборка (хотя я думаю, что это могут быть реализованы с использованием подсчета ссылок); в отличие от лямбда в других языки, которые захватывают ссылки и сохраняют ссылочный объект живой, С++ lambdas либо фиксирует значение, либо объект, на который ссылается, является не поддерживается (и ссылка может легко болтаться).