将 C++ 非捕获 lambda 转换为 void*

Question

我有一个带参数的回调类

template<typename Ret, typename ...Args>
class Callback
{
public:
    typedef Ret (*Ptr)(Args..., void* param);
    Ptr m_func;
    void* m_param;
    void setFunc(void* func) { m_func = (Ptr)func; }
    template<typename T>
    void setFunc(const T& func) { m_func = (Ptr)func; }
};

“param”成员是一个空指针，但它实际上可能指向不同的结构，即使在一个回调的上下文中所以我可以使用 setFunc 和这样的简单函数：

void func1(..., ExampleContext* param) { ... }
callback.setFunc(func1);

但是对于非捕获 lambda，我只能将它与严格的 void 类型一起使用：

callback.setFunc([](..., void* param) { ... });

我可以将 lambda 转换为它的指针，但我应该编写它的 typedef 和强制转换，而我希望 setFunc 接受具有任何参数类型的 lambda，而无需在 Callback 类之外进行额外的转换，我能以某种方式做到吗？ 谢谢你。

Answer 1

我相信这样的事情应该有效：

template<typename Ret, typename Param = void, typename ...Args>
class Callback
{
public:
    template<typename T = Param>
    using Ptr = Ret (*)(Args..., T *param);
    Ptr<> m_func;
    Param *m_param;
    template<typename T = Param>
    void setFunc(Ptr<T> func) { m_func = (Ptr<>)func; }
};

工作副本： https ://ideone.com/amapu0

但是，您应该知道使用 m_func 而不将其转换回正确的类型是 UB。 虽然可以按照您的要求进行操作，但这种类型的转换和对 UB 的依赖通常表明您的代码需要重构。 这可能是一个xy 问题。 为了获得更合适的解决方案，您必须解释为什么您希望单个 Callback 实例中的 m_param 指向不同的类型。