Question

C++编程中，为什么要用模板特化？请高手简明扼要的讲解下。多谢了。

Answer 1

因为通用的版本不符合要求，我列出几个暂时能想到的原因：

比如为了优化，例子就是std::vector<T>和std::vector<bool>（不清楚可以看源码，后面的是一个特化版本）。
还有可能是对不同的类型（或值）有不同的实现。
比如：
test<bool>可能在test<true>下有某个typedef，在test<false>中则没有。这不是故意构造出来给你看的，你可以看一下c++11或者boost库中，什么is_same, enable_if等等都有用到这种（或类似）的技巧。

Answer 2

首先是新增了新的参数类型，然后因为你既不想修改已实现的模板函数逻辑，又想要支持新的功能新的参数类型，那就只能特化了。如果你修改已实现的模板函数逻辑去支持新的参数类型，新的功能，那就不用特化也行。所以特化并非解决问题唯一方式，也就是说不特化也行啊。