c++ 可变参数模板中的编译器错误

Question

我刚刚想出了一个想法来构建信号库的简单实现，例如 boost::signals。

我为此编写了一个简单的模板，但在尝试调用 oparator() 以触发所有回调时出现错误：

template <typename funcDef>
struct Connection
{
    typename std::vector<std::function<funcDef>>::iterator connectionItem;
};

template <typename funcDef>
class Signal;

template <typename retType, typename... args>
class Signal<retType(args...)>
{
    using return_type = retType;
    using argument_type = std::tuple<args...>;
public:
    Signal() {};
    ~Signal() {};

    Connection<retType(args...)> connect(std::function<retType(args...)> callback)
    {
        Connection<retType(args...)> connection;
        m_callbacks.push_back(callback);
        connection.connectionItem = std::prev(m_callbacks.end());

        return connection;
    }

    void disconnect(Connection<retType(args...)> connection) { m_callbacks.erase(connection.connectionItem); }

    void operator() (args...) 
    { 
        for (const auto & cb : m_callbacks) 
            cb(args...); // this generates compiler error: Error C2062 type 'int' unexpected    

    }

private:
    std::vector<std::function<retType(args...)>>  m_callbacks;
};


int sum(int a, int b){ return a + b; }
int sub(int a, int b){ return a - b; }

int main()
{

    Signal<int(int, int)> sig;
    auto c1 = sig.connect(sum);
    auto c2 = sig.connect(sub);

    sig(2, 2);

  return 0;

}

任何想法这个编译器错误的原因是什么（错误 C2062 类型“int”意外）

Answer 1

void operator() (args...) 
{ 
    for (const auto & cb : m_callbacks) 
        cb(args...);
}

上面 sn-p 中的

args 是一个 type 包 - 在将其扩展至 cb 之前，您需要为其命名：

void operator() (args... xs) 
{//              ^^^^    ^^
 //              type    name
    for (const auto & cb : m_callbacks) 
        cb(xs...);
}