函数模板显式特化c ++

Question

我的书中提到了两种明确专业化的方法：

template <> void Swap<int> (int &, int &);
template <> void Swap(int &, int&);

两者有什么区别？ 什么时候使用另一个？何时使用另一个？ 函数名后面的<>是什么？

Answer 1

两者有什么区别？

没有区别 。

在第二种情况下，您要让编译器从特化的签名中执行类型推导 。 因此，两种形式都为T = int声明了Swap<T>()的特化。

什么时候使用另一个？何时使用另一个？

在您的可读性或易维护性方面，当一种形式或另一种形式满足您的要求时，您可以自行决定。

函数名后面的<>是什么？

当它出现在函数名之后 ，它是指定模板参数的语法：

template<typename T = double, typename U = char>
void foo();

foo<int, bool>(); // Specifies explicit template arguments
foo<>(); // Use default template arguments
foo(); // Same as above, allowed for *function* templates only

当它出现在 template 关键字之后时 ，它是引入（类或函数）模板特化的语法。

Answer 2

第一个示例是显式专门化模板的真正方法，第二个示例只是第一种方式的快捷方式，因为编译器可以从函数签名中推断出类型本身。 结果是一样的 ，没有真正的区别。

<>用于将模板参数提供给模板化结构，在这种情况下，模板参数是操纵数据的类型，专门化是类型int 。