Есть вот такой пример:
#include <iostream>
#include <functional>
void qwer(const std::function<void()> &a)
{
a();
}
int main()
{
int x{0};
auto f{
[x]()mutable
{
std::cout << ++x << std::endl;
}
};
qwer(f);
qwer(f);
qwer(f);
return 0;
}
Выводит:
1
1
1
Есть 2 вопроса:
- Почему компилятор не выдает ошибку? Ведь функция
qwer
ждет, что ей передадут функцию, а мы ей передаем лямбду, которая, на сколько я знаю, не является функцией. - Почему ,при передачи
f
в функциюqwer
каждый раз создается копияf
? Ведь при определении функцииqwer
при помощи&
мы явно указали, что хотим использовать не копию объекта, а сам объект
qwer
вызывается конструктор чтобы переобразовать лямбду вstd::function
. Лямбда при этом копируется. Вот вы и имеете три копии лямбды и у каждой своя копияx
.std::function
. Передавай через perfect forwarding, проверяй тип через концепт или метафункциюenable_if
(дляC++17
и ниже).std::function
- может содержать в себе лямбды, функции (указатели), функторы (функциональные объекты) и объекты созданные, например, черезstd::bind
. Вот здесь в самом начале всё написано en.cppreference.com/w/cpp/utility/functional/function