Wojciech Muła wrote:
> W haśle http://pl.wikipedia.org/wiki/Typ_polimorficzny
> napisano: "W C++ typy polimorficzne można uzyskać za pomocą
> mechanizmu szablonów - z mechanizmu tego korzysta m.in. STL".
>
> Jak dla mnie to bzdura - szablony tworzą za każdym razem
> specjalizację kodu, a nie jeden kod, potrafiący działać na
> dowolnym typie danych. To tak, jakby napisać, że generatory
> kodu odpowiadają za realizację typów polimorficznych.
>
> Ale może jednak się mylę?

Masz rację z dokładnością do jawnej specjalizacji szablonów. Wtedy dla
niektórych typów (argumentów) zachowanie może być drastycznie różne.
Choć można się upierać, że przechodzenie po liście int i przechodzenie
po liście double to też różne zachowania. W każdym razie na pewno różne
implementacje tego samego typu - podobnie jak różne są implementacje
typu definiowanego przez klasę bazową/interfejs.

--
Paweł Kierski
n...@p...net