Как я могу сохранить лямбда-выражение в качестве поля класса в C ++ 11?

Question

Я хотел бы создать класс, в котором клиент может хранить лямбда-выражение типа []() -> void {} в качестве поля класса, но я не могу понять, как это сделать. В одном ответе предложено использовать decltype, что я попытался безуспешно. Вот ссылка ideone source . Ниже приведены источник и результат:

#include <cstdio>
auto voidLambda = []()->void{};

class MyClass {
public:
     decltype(voidLambda) t;
     MyClass(decltype(voidLambda) t) { 
        this->t = t;
     }
};

int main() {
   MyClass([] {
      printf("hi");
   });
}

Результат:

prog.cpp: In constructor 'MyClass::MyClass(<lambda()>)':
prog.cpp:3:79: error: no matching function for call to '<lambda()>::__lambda0()'
prog.cpp:2:20: note: candidates are: <lambda()>::<lambda>(const<lambda()>&)
prog.cpp:2:20: note:                 <lambda()>::<lambda>(<lambda()>&&)
prog.cpp:3:88: error: no match for 'operator=' in '((MyClass*)this)->MyClass::t = t'
prog.cpp: In function 'int main()':
prog.cpp:5:27: error: no matching function for call to 'MyClass::MyClass(main()::<lambda()>)'
prog.cpp:3:48: note: candidates are: MyClass::MyClass(<lambda()>)
prog.cpp:3:14: note:                 MyClass::MyClass(const MyClass&)

Кто-нибудь знает, как это сделать?

Answer 1

Если вы хотите, чтобы член класса был лямбда-выражением, рассмотрите возможность использования типа оболочки std::function<> (из заголовка <functional>), который может содержать любую вызываемую функцию.Например:

std::function<int()> myFunction = []() { return 0; }
myFunction(); // Returns 0;

Таким образом, вам не нужно знать тип лямбда-выражения.Вы можете просто сохранить std::function<> соответствующего типа функции, и система шаблонов будет обрабатывать все типы для вас.В более общем смысле любой вызываемый объект соответствующей сигнатуры может быть назначен на std::function<>, даже если фактический тип этого функтора является анонимным (в случае лямбда-выражений) или действительно сложным.

Тип внутришаблона std::function должен быть тип функции, соответствующий функции, которую вы хотите сохранить.Так, например, чтобы сохранить функцию, которая принимает два int s и возвращает void, вы должны сделать std::function<void (int, int)>.Для функции, которая не принимает параметров и возвращает int, вы должны использовать std::function<int()>.В вашем случае, так как вам нужна функция, которая не принимает параметров и возвращает void, вам нужно что-то вроде этого:

class MyClass { 
public:
    std::function<void()> function;
    MyClass(std::function<void()> f) : function(f) {
        // Handled in initializer list
    }
};

int main() {
    MyClass([] {
        printf("hi")
    }) mc; // Should be just fine.
}

Надеюсь, это поможет!

Answer 2

Единственный способ сохранить лямбду в классе - использовать шаблон с вспомогательной функцией make_:

#include <cstdio>
#include <utility>

template<class Lambda>
class MyClass {
    Lambda _t;
public:
    MyClass(Lambda &&t) : _t(std::forward<Lambda>(t)) {
        _t();
    }
};

template<class Lambda>
MyClass<Lambda> make_myclass(Lambda &&t) {
    return { std::forward<Lambda>(t) };
}

int main() {
    make_myclass([] {
        printf("hi");
    });
}