c++ - 函数模板参数的顺序

Question

在以下 2 个模板参数中的代码中，我隐式使用了其中一个，显式使用了另一个:

class A {};

template<typename ToType, typename FromType>
ToType CompileTimeCast (FromType pointer)
{
  return (ToType)(pointer);
}

int main ()
{
  A *pA;
  int *pi = CompileTimeCast<int*>(pA); // function invocation
}

它工作正常。现在，如果我在参数列表中交换 ToType 和 FromType，编译器会抛出错误:

 error: no matching function for call to ‘CompileTimeCast(A*&)’

很想知道为什么编译器在知道函数调用时两个参数不同并且一个参数已被使用时会报错？

Answer 1

当你显式指定模板参数时，你必须按顺序指定它们，就像你必须以正确的顺序指定函数参数一样，即使它们是默认的:

int *pi = CompileTimeCast<int*, const int*>(pA);

在这个例子中，假设你的原始代码，ToType 是 int* 而 FromType 是 const int*。如果您只显式指定模板参数的一个子集，编译器将强制假定您的子集是按顺序排列的前几个模板参数。并且所有尾随模板参数必须是可推导的。

请注意，对于编译器推导的模板参数集，顺序无关紧要。在您的示例中，仅 FromType 是可推导的。

您已经发现了对模板参数进行排序的正确理由:通过降低客户希望在您的函数调用中明确指定它们的可能性来对它们进行排序。