Присвоить новое значение STD :: функции при вызове

Question

int i = 9; 
struct_variable.f = [i](T struct_variable&) { 
    do_something_with_capture_variable(i); 
    ... 
    struct_variable.f = another_compatible_std_function; 
    //do something else, but never use captured variable after here 
    ... 
}; 

struct_variable.f(struct_variable); 

Функция лямбды сохраняются в качестве члена struct_variable.f (который также напечатало std::function), так и в обратном вызове struct_variable.f заменяется another_compatible_std_function после финиша, используя захваченный переменным.

Безопасна ли эта практика?

Answer 1

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