功能模板的部分特化

Question

任何人都可以解释为什么部分特化对于函数模板无效，但它适用于类模板。

我理解部分特化可能会使编译器与函数重载混淆，但我仍然需要更多信息让我完全理解。 有人可以给我一些简洁的例子吗？

Answer 1

在这种情况下，混淆就足够了。

还有一个现有的替代解决方案：重载。 委员会花了很多精力（在我看来，我不在那里）获取函数重载解析工作模板，当然部分原因包括不必解决功能模板的一般性，难以解决的问题部分专业化。

Answer 2

现在，我不是专家，但我认为第一部分的答案是部分函数特化会与函数重载冲突（并且部分冗余）。 至于第二部分，您可以使用模板结构作为要部分特化的事物的容器。