获取可变参数模板的地址？

Question

template<typename R, typename... Args1, typename... Args2>
void Func(R (*)(Args1...), Args2...)
{ // ...
}

template<typename R, typename... Args>
void Init(R(*)(Args...))
{
    // the second list is all of same types (a generic "any" type), just need same number as Args
    auto ptr = &Func<R, Args..., (Misc<Args>::type)...>;

    // ...
}


Init(&somefunc); // usage

代码不言自明，我不确定如何将两者分开，以免它们最终连接到一个可变参数。我尝试使用另一个包含单个类型列表的类，然后 Func 只需要 3 个参数，但我不断收到显式模板错误。

Answer 1

这样的函数声明

template<typename R, typename... Args1, typename... Args2>
void Func(R (*)(Args1...), Args2...)
{ // ...
}

只能通过从实参推导出模板形参来实例化。 但是你真的需要 Args1 吗？怎么样：

template<typename R, typename... Args2>
void Func(R, Args2...)
{ // ...
}

template<typename R>
R Init(R)
{
  // instantiate Func<>(R, int, float, int)
  auto ptr = &Func<R, int, float, int>;

  // ...
  return ptr;
}


void foo(int, float) {
//
}


int main() {
  Init(foo);
}