函数参数包专用化

问：

template <typename T, typename ... Ts>
void foo(T , Ts ... )
{
}

template <typename ... Ts, typename T>
void bar(T , Ts ... )
{
}

int main()
{
  foo<int, char>(1, 'c'); // well formed
  foo(1, 'c');

  // bar<int, char>(1, 'c'); // ill formed
  bar(1, 'c');
}

为什么在第二种情况下显式专用化模板参数函数不起作用（）？很明显，原因是参数包在参数列表中排在第一位，但仍然......为什么？bar

归根结底，这两种情况都适用于隐式推导。显式指定参数只会使编译器更容易。

对于将其标记为重复的人，如果存在类似的东西，我不是在谈论“正常参数”。此外，我不是在问我是否可以在参数表之前放置参数包，我是在问为什么当包在参数列表中排在第一位时我不能显式指定模板参数。