Почему я не могу создать вектор лямбда-выражений (одного типа) в C ++ 11?

Я пытался создать вектор лямбда, но не смог:

auto ignore = [&]() { return 10; };  //1
std::vector<decltype(ignore)> v;     //2
v.push_back([&]() { return 100; });  //3

До строки №2 компилируется нормально . Но строка №3 дает ошибку компиляции :

ошибка: нет соответствующей функции для вызова 'std :: vector <main () :: <lambda () >> :: push_back (main () :: <lambda ()>)'

Мне не нужен вектор указателей на функции или вектор объектов функций. Однако вектор функциональных объектов, которые инкапсулируют реальные лямбда-выражения, подойдет мне. Это возможно?

Каждая лямбда имеет разный тип, даже если у них одна и та же сигнатура. Вы должны использовать инкапсулирующий контейнер времени выполнения, например, std::functionесли вы хотите сделать что-то подобное.

например:

std::vector<std::function<int()>> functors;
functors.push_back([&] { return 100; });
functors.push_back([&] { return  10; });

Все лямбда-выражения имеют разный тип, даже если они посимвольно идентичны . Вы вставляете лямбду другого типа (потому что это другое выражение) в вектор, и это явно не сработает.

Одно из решений - std::function<int()>вместо этого создать вектор .

auto ignore = [&]() { return 10; };
std::vector<std::function<int()>> v;
v.push_back(ignore);
v.push_back([&]() { return 100; });

С другой стороны, это не лучшая идея, [&]если вы ничего не захватываете.

Хотя то, что другие сказали, актуально, все еще можно объявить и использовать вектор лямбда, хотя это не очень полезно:

auto lambda = [] { return 10; };
std::vector<decltype(lambda)> vec;
vec.push_back(lambda);

Таким образом, вы можете хранить там любое количество лямбд, если это копия / перемещение lambda!

Если ваша лямбда не имеет состояния, т. Е. [](...){...}C ++ 11 позволяет ей преобразоваться в указатель на функцию. Теоретически компилятор, совместимый с C ++ 11, сможет это скомпилировать:

auto ignore = []() { return 10; };  //1 note misssing & in []!
std::vector<int (*)()> v;     //2
v.push_back([]() { return 100; });  //3

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

#include <vector>
#include <iostream>

int main() {
    auto lambda_gen = [] (int i) {return [i](int x){ return i*x;};} ;

    using my_lambda = decltype(lambda_gen(1));

    std::vector<my_lambda> vec;

    for(int i = 0; i < 10; i++) vec.push_back(lambda_gen(i));

    int i = 0;

    for (auto& lambda : vec){
        std::cout << lambda(i) << std::endl;
        i++;
    }
}

Но я думаю, что на этом этапе вы в основном создали свой собственный класс. В противном случае, если лямбды имеют совершенно разные caputres / args и т. Д., Вам, вероятно, придется использовать кортеж.

Каждая лямбда - это отдельный тип. Вы должны использовать std::tupleвместо std::vector.