Функція, що повертає лямбда-вираз

Цікаво, чи можливо написати функцію, яка повертає лямбда-функцію в C ++ 11. Звичайно, одна проблема полягає в тому, як оголосити таку функцію. Кожна лямбда має тип, але цей тип не виражається в C ++. Я не думаю, що це буде працювати:

auto retFun() -> decltype ([](int x) -> int)
{
    return [](int x) { return x; }
}

Ані це:

int(int) retFun();

Мені не відомі будь-які автоматичні перетворення з лямбд у, скажімо, вказівники на функції, або деякі подібні. Чи єдиним рішенням є ручна робота об’єкта функції та її повернення?

Вам не потрібен ручний об’єкт функції, просто використовуйте std::function, в який лямбда-функції можна конвертувати:

Цей приклад повертає цілочисельну функцію ідентичності:

std::function<int (int)> retFun() {
    return [](int x) { return x; };
}

Для цього простого прикладу вам не потрібно std::function.

Зі стандартного п. 5.1.2 / 6:

Тип закриття для лямбда-виразу без лямбда-захоплення має загальнодоступну невіртуальну неявну функцію перетворення const на вказівник на функцію, що має ті самі параметри та типи повернення, що і оператор виклику функції типу закриття. Значення, яке повертає ця функція перетворення, має бути адресою функції, яка при виклику має такий самий ефект, як виклик оператора виклику функції типу закриття.

Оскільки у вашої функції немає захоплення, це означає, що лямбда може бути перетворена в покажчик на функцію типу int (*)(int):

typedef int (*identity_t)(int); // works with gcc
identity_t retFun() { 
  return [](int x) { return x; };
}

Це моє розуміння, виправте мене, якщо я помиляюся.

Ви можете повернути лямбда-функцію з іншої лямбда-функції, оскільки ви не повинні чітко вказувати тип повернення лямбда-функції. Просто напишіть щось подібне у глобальному масштабі:

 auto retFun = []() {
     return [](int x) {return x;};
 };

Хоча питання конкретно задає C ++ 11, заради інших, хто натрапляє на це і має доступ до компілятора C ++ 14, C ++ 14 тепер дозволяє виводити типи повернень для звичайних функцій. Тож приклад у питанні можна налаштувати просто так, щоб він працював за бажанням, просто опустивши -> decltypeречення ... після списку параметрів функції:

auto retFun()
{
    return [](int x) { return x; }
}

Однак зауважте, що це не спрацює, якщо return <lambda>;у функції з’являється більше одного . Це пов’язано з тим, що обмеження на відрахування типу повернення полягає в тому, що всі оператори return повинні повертати вирази одного типу, але кожен лямбда-об’єкт отримує компілятор свій власний унікальний тип, тому return <lambda>;вирази матимуть різний тип.

Ви повинні писати так:

auto returnFunction = [](int x){
    return [&x](){
        return x;
    }();
};

щоб отримати повернення як функцію та використовувати її як:

int val = returnFunction(someNumber);

Якщо у вас немає c ++ 11 і ви використовуєте ваш код c ++ на мікроконтролерах, наприклад. Ви можете повернути порожній покажчик, а потім виконати приведення.

void* functionThatReturnsLambda()
{
    void(*someMethod)();

    // your lambda
    someMethod = []() {

        // code of lambda

    };

    return someMethod;
}


int main(int argc, char* argv[])
{

    void* myLambdaRaw = functionThatReturnsLambda();

    // cast it
    auto myLambda = (void(*)())myLambdaRaw;

    // execute lambda
    myLambda();
}