c++ - 将可变参数模板 args 与 lambda 参数匹配

Question

我想写一个你这样调用的函数：

f("a", 1,                 [](float a                  ) { … });
f("a", 1, "b", 2,         [](float a, float b         ) { … });
f("a", 1, "b", 2, "c", 3, [](float a, float b, float c) { … });

该函数的作用无关紧要。关键是每对 char*/integer 参数f对应于 lambda 函数的一个浮点参数。我到此为止：

template <typename ...Args>
void f(Args... args, std::function<void(???)> cb);

如何声明函子类型，使其参数的基数与输入对的基数匹配？

Answer 1

当需要函数对象参数时，通常您应该只允许函数接受任何类型，并让编译器在类型实际不匹配时自动发出错误。

template <typename... Args, typename F>
void f(const F& func, Args&&... args) { ... }

（请注意，我已将函数参数移到前面，因为可变参数部分将消耗所有参数。）