与 C++ 混淆了模板

Question

我正在查看一些 C++ 代码，但不明白在这种情况下模板声明的目的：

template<> void operator>>(const ClassA& s, const ClassB d) {...}

template<> 的语义是什么？

Answer 1

正如之前其他人提到的，这确实是模板专业化。肯定有一些先前声明的函数模板，例如：

template<typename T, typename U>
void operator>>(const T& s, const U d) {...}

但是，这是相当误导的。最好完全删除 template<>，这样 operator>> 就会被重载。函数模板特化的问题在于，它可能会在存在重载函数的情况下导致意外行为（并且 operator>> 有大量重载），因为特化不会重载。这意味着编译器首先为函数选择最合适的重载，然后，如果所选重载是函数模板，则它会查找模板特化以查看是否有合适的重载。

一个经典的例子（不幸的是，我不记得我在哪里读到的）。考虑这个重载函数模板：

template <typename T>
void Function(T param);

template <typename T>
void Function(T* param);

template <>
void Function(int* param);

main()
{
  int i = 5;
  Function(&i);
}

正如预期的那样，调用了 int* 的模板特化。但只需更改函数定义的顺序：

template <typename T>
void Function(T param);

template <>
void Function(int* param);

template <typename T>
void Function(T* param);

main()
{
  int i = 5;
  Function(&i);
}

现在调用 T* 的通用模板，因为我们专门针对 T 而不是 T* 的模板，第二个模板更适合我们的调用。如果我们重载函数而不是专门化模板，就可以避免这种情况：

void Function(int* param);

现在声明的顺序并不重要，我们将始终调用 int* 的重载。

更新：现在我知道该归功于谁了。我在 Herb Sutter 的文章中读到了这一点。该示例由 Peter Dimov 和 Dave Abrahams 提供。

Answer 2

这是模板专业化

Answer 3

当您想要为特定模板类型提供特殊处理程序时，可以使用此语法。考虑一下：

// A normal template definition.
template <typename AType>
whoami () {   std::cout << "I am an unknown type.";  }

// Now we specialize.
template <>
whoami<int> () {   std::cout << "I am an integer!";  }

还有一些其他的废话，特别是“部分专业化”，但这是 template <> 的基本功能。

Answer 4

它是模板专业化：（完全或部分）解析特定类型的模板。 （您的特定示例似乎是完全专业化，因为其中没有更多模板参数未解决。如果模板有多个参数，并且您仅专业化其中一些参数，则称为部分模板专业化）

这允许为给定模板提供特定于类型的优化，或者执行许多巧妙的技巧，例如检测变量的静态类型等。