在变量模板中使用std::占位符

Question

我有困难使用std::占位符在我的函数，采取可变模板。我开始认为我不需要使用可变模板，但我已经尝试了这么久，我在杂草中思考，需要一个有新面貌的人。

下面的模板函数接受一个常规模板参数，然后接受一个可变参数。它导致编译器错误：

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

编译器错误：

错误1错误C2664:“状态组件：：registerEvent”

这里到底出了什么问题？我如何修复这个编译器错误？

// 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);