C++模板化的回调反弹函数

C++ templated callback bounce function

本文关键字：函数 回调 C++      更新时间：2023-10-16

我一直在尝试开发一个模板化函数，该函数在处理使用函数指针回调的C API时概括了反弹过程。

我基本上已经想好了，并且有一个工作系统，但我想知道是否有办法清理最后一步。

假设您有一个API，它接受一个函数指针和一个用户数据指针。您希望使用实例方法作为回调目标。这需要一个"反弹"函数，该函数将用户数据指针重新解释为实例指针，并使用其余参数调用该方法。

以下示例代码有效：

#include <cstdio>
class Foo {
public:
    Foo(int val) : val_(val) { }
    void baz(int v) const
    {
        printf("baz %dn", v + val_);
    }
private:
    int val_;
};
// Templated bounce function
template<class T, class Method, Method m, class Ret, class ...Args>
static Ret bounce(void *priv, Args... args)
{
    return ((*reinterpret_cast<T *>(priv)).*m)(args...);
}
#define BOUNCE(c, m) bounce<c, decltype(&c::m), &c::m>
// Callback simulator
void call_callback(void (*func)(void *, int), void *priv, int v)
{
    if (func) {
        func(priv, v);
    }
}
// Main Entry
int main()
{
    Foo bar(13);
    call_callback(&bounce<Foo, decltype(&Foo::baz), &Foo::baz>, &bar, 10);
    call_callback(&BOUNCE(Foo, baz), &bar, 11);
    return 0;
}

基本上，我正在寻找一种清理使用情况的方法。宏是有效的，但我正试图找到某种类型的辅助函数，它只需要像&Foo::baz这样的方法指针参数，就可以推导出所有参数。类似于bounce_gen(&Foo::baz)的东西，它会返回一个指向实际反弹函数的指针。

这是一个有趣的练习，但我没能完全完成最后一部分。

成员函数指针的类型包含类类型和函数签名。因此，您可以让模板函数参数推导为您处理此问题：

template<class T, class Method, class ...Args>
static auto bounce(Method T::*func, T* priv, Args... args) -> decltype((priv->*m)(args...))
{
    return (priv->*m)(args...);
}

更方便的方法可能是使用std::bind或lambda来完全隐藏它是成员函数调用的事实：

template<class Func, class ...Args>
static auto bounceCallable(Func func, Args... args) -> decltype(func(args...))
{
    return func(args...);
}

你可以这样称呼它：

call_callback([&bar](int v){bar.baz(v);}, 11);

使用lambda，您的语法比使用std::bind更好，但这是以必须重复签名为代价的。

相关文章：