为什么说C++不支持参数多态？

根据维基百科页面参数多态性 https://en.wikipedia.org/wiki/Parametric_polymorphism:

类型多态性的一些实现表面上与参数多态性相似，同时也引入了特殊方面。 C++ 模板专门化就是一个例子。

问题：为什么说 C++ 只实现了表面上类似于参数化多态性的东西？特别是，模板不是完整参数多态性的示例吗？

您链接到的文章解释了这一点。您引用的文本实际上给出了一个将 C++ 模板与纯参数多态性区分开来的示例：C++ 模板专业化。

它继续这个主题：

Following Christopher Strachey,^[2] parametric polymorphism may be contrasted with ad hoc polymorphism https://en.wikipedia.org/wiki/Ad_hoc_polymorphism, in which a single polymorphic function can have a number of distinct and potentially heterogeneous implementations depending on the type of argument(s) to which it is applied. Thus, ad hoc polymorphism can generally only support a limited number of such distinct types, since a separate implementation has to be provided for each type.

因此，正如所描述的，C++ 模板接近（但不完全）参数多态性。