Здравствуйте, Курилка, Вы писали:

К>Тут есть полиморфизм повыше обычного ООПшного

Шаблоны — это статический полиморфизм — его нет во время работы программы.
А в ООП динамический полиморфизм — он есть во время работы программы.

К>вот реализуй полиморфную для любых типов ф-цию swap?

Если шаблонов нет, как я ее реализую? Никак. Чего тогда спрашиваешь?