C++模板专业化概念

Question

我正在探索 C++ 模板专业化，并且试图理解语法规则：

template <typename T> T foo(T a, char b) {
   /* some code */
}

template <> _X foo<_Y>(_Z a, _W b) {
   /* some code */
}

以我的简单示例为例，其中 _X、_Y、_Z、_W 作为类型占位符。 在我看来，如果我指定了类型 _Z 和 _W，为什么我需要在 <_Y> 中使用 _Y？ _Y 必须与 _Z 或 _W 类型相同吗？

无论实现如何 - 我试图理解本主题中的每个教程，但它从未得到正确解释（或者也许只是我:)） - 如果我已经为某些类型定义了专门的模板，为什么用这些类型调用模板函数还不够？为什么我需要 _Y 类型？

为什么我需要像这样调用专用模板： foo<_Y>(c, d) 为什么 foo(c, d) 还不够？

另外，从我所做的所有测试来看，似乎所有类型： _X、_Y、_Z、_W 必须相同，否则会出现构建错误。 真的是这样吗？

我希望这是有道理的。

Answer 1

你不需要。只要可以像在函数调用中一样推导模板参数，就可以省略显式模板参数列表。

例如，

template <> int foo(int a, char b) {
   /* some code */
}

作为 foo 的显式特化，因为主模板中 T 的参数可以从第一个推导为 int专业化中的函数参数，与进行函数调用 foo(0, '0') 的方式相同（0 的类型为 int< /code> 和类型'0' 是 char），您也不必显式编写 foo(0, '0') 。

但是，为了匹配主模板，_W 必须始终为 char。同样，_X 和 _Z（如果给定 _Y）必须都是相同的类型。