Согласно странице wikipedia для Параметрический полиморфизм:
Некоторые реализации полиморфизма типов поверхностно похожи на параметрический полиморфизм, а также вводят специальные аспекты. Одним из примеров является специализированная специализация на С++.
Вопрос: Почему С++ говорит, что он реализует что-то поверхностно похожее на параметризированный полиморфизм? В частности, не являются ли шаблоны примером полного параметрического полиморфизма?