在可变参数模板中使用 std::placeholders

Question

我在采用可变参数模板的函数中使用 std::placeholders 时遇到了困难。我开始认为我不需要使用可变参数模板，但我已经尝试了很长时间，我在杂草中思考，需要一个焕然一新的人。

以下模板函数采用常规模板参数，然后是可变参数。它导致编译器错误：

registerEvent<UpdaterComponent, std::_Ph<1>>(EVT_INIT, &UpdaterComponent::initialise, std::placeholders::_1); 

编译器错误：

错误 1 ​​错误 C2664: 'Status Component::registerEvent>(const int &,Status UpdaterComponent::* (__cdecl )(const EventArgs &),std::_Ph)' : 无法转换参数2 从 'Status (__thiscall UpdaterComponent:: )(const EventArgs &)' 到 'Status UpdaterComponent::* (__cdecl *)(const EventArgs &)'

这里到底出了什么问题，我该如何解决这个编译器错误？

// In class Component
template<typename T, typename... Params>
Status registerEvent(int evtId, Status T::*func(const EventArgs& evtArgs), Params...)
{
    ... irrelevant code removed for brevity

    auto res = std::bind(func, this, Params...);

    ... irrelevant code removed for brevity
}


// Usage
class UpdaterComponent : public Component
{
public:
    UpdaterComponent()
    {
        registerEvent<UpdaterComponent, std::_Ph<1>>(EVT_INIT, &UpdaterComponent::initialise, std::placeholders::_1);
    }
};

Answer 1

主要问题是您缺少括号：

template<typename T, typename... Params>
Status registerEvent(int evtId, Status (T::*func)(const EventArgs& evtArgs), Params...)
                                      ^^^       ^^^

所以你最终会得到 func 的类型错误。

一旦你解决了这个问题，你为什么要明确提供所有的模板参数？这就是模板扣除的用途！当你发现自己在输入std::_Ph 时，不要这样做。这足够了：

registerEvent(EVT_INIT, &UpdaterComponent::initialise, std::placeholders::_1);