c++ - 如何像类一样为 std::function 实现类型橡皮擦？

Question

我想把几个方法指针放在一个容器中，所以我实现了一个简单的std::function——就像模板类:

template<typename ...Args>
class MethodHolder : MethodHolderBase
{
public:
    typedef void(*MethodType)(Args...);
    MethodHolder(MethodType method) : method(method) {}
    virtual ~MethodHolder() {}

    void Invoke(Args... args)
    { method(args...); }

private:
    MethodType method;
};

它有一个基类，所以我可以这样写代码:

void func(int);
...
std::vector<MethodHolderBase*> funcs;
funcs.push_back(new MethodHolder<int>(&func));
...

然后我添加一个包装器以从 MethodHolderBase 调用 Invoke():

class Method
{
public:
    ...//constructors, assignment operator, destructor
    template<typename ...Args>
    void Invoke(Args&&... args)
    {
        auto pHolder = dynamic_cast<MethodHolder<Args...>*>(pBase);
        if (pHolder)
            pHolder->Invoke(args...);
    }
private:
    MethodHolderBase* pBase;
}

现在，我可以将 Method 的一些实例放入容器中，并调用 Invoke() 来调用函数。有效。但是一旦我将 func 的声明更改为:

void func(int&&);

似乎无论我将哪种类型传递给Method::Invoke()，都不会推导出int&&，所以dynamic_cast 失败。

我应该对 Method::Invoke 做一些修改吗？如果是这样，如何？或者有不同的解决方案？

Answer 1

您应该通过 std::forward 使用完美转发 ，否则您的右值/左值引用将不会被保留(更多信息 see this beautiful answer ):

void Invoke(Args&&... args)
//              ^^
{ method(std::forward<Args>(args)...); }
//       ^^^^^^^^^^^^^^^^^^^    ^

然后:

template<typename ...Args>
void Invoke(Args&&... args)
{
    auto pHolder = dynamic_cast<MethodHolder<Args&&...>*>(pBase);
    //                                           ^^
    if (pHolder)
        pHolder->Invoke(std::forward<Args>(args)...);
//                      ^^^^^^^^^^^^^^^^^^^    ^
}