Время жизни лямбда-функции

@AndrSlav · Регистрация: 20.12.2013

Author24 — интернет-сервис помощи студентам

A lambda might outlive its caller/ This can happen if we pass a lambda to a different thread or the callee stores away the lambda for latest use. For example:

C++

void setup(Menu& m)
{
 
Point p1, p2, p3;
m.add("draw triangle", [&]{m.draw(p1,p2,p3);}}

Не пойму, здесь сохраняется ведь указатель на лямбда-функцию? А при выходе из области почему не происходит удаления тела функции, введенной локально, с указанием указателя на неизвестную область памяти?

@nmcf · 25.12.2017, 22:03

Почему указатель? Она как объект.

@AndrSlav · 26.12.2017, 02:58 **[ТС]**

Сообщение от nmcf

Почему указатель? Она как объект.

Да, в книге написано, что можно считать ее функциональным объектом, но есть и такая фраза:
A lambda that captures nothing can be assigned to a pointer to function of an appropriate type.
А если "плавает как утка, выглядит как утка, крякает как утка, то ...".
Вопрос из следующего возник: привел тут на форуме одно решение, сокращенно

C++

class action
{
    std::string str;     //Ответ для формулировки действия
    void(*fun)(std::string ss);
public:
    action(void(*f)(std::string ss) = 0) : fun(f) {};
    void operator()(std::string s){ str = s; fun(str); return; };
};
 
void check_age(std::string ss)
{
//
};
 
vector<pair<std::string, action*>> ans;  //сохраняется пара<ответ, действие>
std::string str2, cur_str;
char buf[200];
 
int main() {
    
    setlocale(LC_ALL, "C");
 
    //Ввод исходных данных
    ans.push_back(make_pair<std::string, action*>("To be (y) , or not to be (n) ?", new action(
                            [](std::string ss) { ss == std::string{ "y" } ? std::cout << "Ok." << '\n' << '\n' : std::cout << "The answer is wrong." << '\n' << '\n'; })));
        ans.push_back(make_pair<std::string, action*>("How old are you?", new action(check_age)));
 
    //...
    //Диалог
    cout << "Hello." << '\n';
    for (auto vaL : ans)
    {
        std::cout << vaL.first<<'\t';
        std::cin>>str2;
        (*vaL.second)(str2);
        delete vaL.second;
    };

Т.е. с помощью new создается объект типа action, и в него передается лямбда-функция через указатель на функцию, дальше в цикле for происходит использование, и это работает. Но теперь не могу понять: для цикла for по объектам функтор уже не в зоне видимости, т.е. если я передал указатель, то объект уже должен быть удален, и указатель указывает на в общем случае неизвестно что? Вот если бы копировался объект, то понятно, но передача через указатель... Это чисто случайно получилось, что программа работает, или так и должно быть?

Добавлено через 34 минуты
p.s. Т.е. похоже, что в случае передачи как указателя передается указатель на operator(), но это ничего не проясняет.
Вот сейчас изменил код

C++

class action
{
        std::string str;     //Ответ для формулировки действия
    void(*fun)(std::string ss);
    function<void(std::string ss)> lam; //ДОБАВЛЕНО!!!!!!!!!!!!!!!
public:
    action(function<void(std::string ss)> lam_, void(*f)(std::string ss) = 0) : fun(f), lam(lam_) {};  //ДОБАВЛЕН ПЕРВЫЙ АРГУМЕНТ И ЕГО ИНИЦИАЛИЗАЦИЯ!!!!!!!!!!!!!!!
    void operator()(std::string s) { str = s; /*fun(str);*/lam(str); return; };
};
 
void check_age(std::string ss)
{
//
};
 
vector<pair<std::string, action*>> ans;  //сохраняется пара<ответ, действие>
std::string str2, cur_str;
char buf[200];
 
int main() {
    
    setlocale(LC_ALL, "C");
 
    //Ввод исходных данных
    ans.push_back(make_pair<std::string, action*>("To be (y) , or not to be (n) ?", new action(
                            [](std::string ss) { ss == std::string{ "y" } ? std::cout << "Ok." << '\n' << '\n' : std::cout << "The answer is wrong." << '\n' << '\n'; })));
    ans.push_back(make_pair<std::string, action*>("How old are you?", new action(check_age)));
 
    //...
    //Диалог
    cout << "Hello." << '\n';
    for (auto vaL : ans)
    {
        std::cout << vaL.first<<'\t';
        std::cin>>str2;
        (*vaL.second)(str2);
        delete vaL.second;
    };

Т.е. теперь передается как function<void(std::string ss)> . Результат выполнения тот же.
Но функция check_age тоже передалась через function<void(std::string ss)> - значит function<void(std::string ss)> тоже указатель на функцию?!

Добавлено через 10 минут

C++

void setup(Menu& m)
{
 
Point p1, p2, p3;
m.add("draw triangle", [&]{m.draw(p1,p2,p3);}}
}

If a lambda might outlive its caller, we must make sure that all local information (if any) is copied into the closure object and that values are returned through the return mechanism.

C++

1	m.add("draw triangle", [=]{m.draw(p1,p2,p3);}

Как я вижу, лямбда передается только как указатель (хз как в случае использования auto, ну да здесь это не прокатит). Так лямбда - всегда статический объект? Или это "умный указатель", который предотвращает удаление объекта?

Добавлено через 7 минут
pps Если нужен рабочий текст программы для проверки, то он здесь "Да" и "нет" в качестве величины переменной

@alex white · 26.12.2017, 05:20

AndrSlav, сложно вас читать...
"почему не происходит удаления тела функции" - тело функции - это код, статическая информация, оно во время выполнения ни создаётся, ни удаляется. В этом нет никакого смысла.

@Fyret · 26.12.2017, 10:55

Реализация лямбд зависит от компилятора. Но для понимания можно считать, что для лямбды компилятор сам создает класс-функтор с автоматически сгенерированным и неизвестным человеку именем (поэтому лямбды объявляются с auto).

C++

auto lambda = [] (int a) { return a + 3; };
...
class Functor
{
public:
    int operator()(int a) { return a + 3; }
};

Для лямбд с захватом переменных (по значению или по ссылке)

C++

int x = 3;
auto lambda = [&x] (int a) { return a + x++; };
...
class Functor
{
public:
    Functor(int& x): m_x(x) {}
    int operator()(int a) {return a + m_x++;}
private:
    int& m_x;
};

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

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

@nmcf 7796 / 6562 / 2985 Регистрация: 14.04.2014 Сообщений: 28,699
	25.12.2017, 22:03	2
	Почему указатель? Она как объект. 0

@alex white 277 / 226 / 93 Регистрация: 27.06.2016 Сообщений: 639
	26.12.2017, 05:20	4
	AndrSlav, сложно вас читать... "почему не происходит удаления тела функции" - тело функции - это код, статическая информация, оно во время выполнения ни создаётся, ни удаляется. В этом нет никакого смысла. 0

	26.12.2017, 10:55

Время жизни лямбда-функции

Решение