从类模板生成 lambda

Question

我有一个注册回调函数并稍后调用它们的类，如下所示。

template<typename ReturnType, typename... Args>
class Signal {
    std::vector<std::function<ReturnType(Args...)>> function;
public:
    template<typename... Args2>
    ReturnType operator()(Args2&&... args2) {
        ReturnType ret;
        for (auto& func : function)
            ret = func(std::forward<Args2>(args2)...);
        return ret;
    }

    template<typename Func>
    void func(Func const &func) {
        function.push_back(std::function<ReturnType(Args...)>(func));
    }

    template<typename Class, typename Instance>
    void mfunc(ReturnType(Class::*func)(Args...), Instance &instance) {
        mfunc2(func, instance, make_int_sequence<sizeof...(Args)>{});
    }
    template<typename Class, typename Instance, int... I>
    void mfunc2(ReturnType(Class::*func)(Args...), Instance &instance, int_sequence<I...>) {
        using namespace std::placeholders;
        function.push_back(std::function<ReturnType(Args...)>(std::bind(func, &instance, placeholder_template<I>{}...)));
    }
};

#include <iostream>

class foo {
public:
    int bar(int x, double y) {
        std::cout << x << " and " << y << std::endl;
        return x*2;
    }
};

int main() {
    foo foo1;
    Signal<int, int, double> sig;
    sig.mfunc(&foo::bar, foo1);
    std::cout << "Return: " << sig(5,5.5) << std::endl;
}

我今天听到了 Stephan T. Lavavej 的演讲，他说的其中一件事是应该避免 std::bind 并改用 lambdas。所以要学习一些新东西，我想我会尝试将 mfunc2 中的 std::bind 调用更改为 lambda，但我对模板很陌生，不知道如何生成我想要的代码。

我在 SO 上找到的带有 make_int_sequence 的当前 placeholder_template，但我无法真正理解它是如何工作的，或者在哪里可以找到任何好的阅读材料...

Args... 包含 lambda 应该接受的参数类型，但我需要根据 sizeof...(Args) 以某种方式创建变量名称，例如 var1、var2、var3 等，然后将它们合并在一起.

所以例如 , Args... 将持有 int, int。 然后我想将 lambda 构造为

[func, &instance](int var1, int var2) -> ReturnType { return func(&instance, var1, var2); }

我怎样才能做到这一点？

Answer 1

这应该可以完成工作：

template<typename ReturnType, typename... Args>
class Signal {
    std::vector<std::function<ReturnType(Args...)>> function;
public:
    template<typename... Args2>
    ReturnType operator()(Args2&&... args2) {
        ReturnType ret;
        for (auto& func : function)
            ret = func(std::forward<Args2>(args2)...);
        return ret;
    }

    template<typename Func>
    void func(Func const &func) {
        function.push_back(std::function<ReturnType(Args...)>(func));
    }

    template<typename Class, typename Instance>
    void mfunc(ReturnType(Class::*func)(Args...), Instance& instance) {
        function.push_back([&instance, func](Args&&... args) { 
            return (instance.*func)(std::forward<Args>(args)...); 
        });
    }

};

https://ideone.com/gjPdWN

请注意，在您的 operator() 中，您基本上会丢弃除最后一个之外的所有返回值。这种行为是故意的吗？