如何为 std::function 之类的类实现类型橡皮擦？

Question

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

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)...);
//                      ^^^^^^^^^^^^^^^^^^^    ^
}