Шаблонная виртуальность (Parameterized Virtuality)

Помимо использования С++ интересно использовать трюки, которые позволяет этот язык. Одним из таких трюков является Parameterized Virtuality(C++ Templates: The Complete Guide By David Vandevoorde, Nicolai M. Josuttis).

Параметризированная виртуальность позволяет указывать будет ли использоваться механизм виртуальных функций при работе с иерархией классов.

Для этого использутся два класса:
<br />struct not_virtual_type {};<br /><br />struct virtual_type<br />{<br /> virtual void method() {}<br />};<br />
Далее, определяется базовый класс иерархии:
<br />template< class vbase ><br />struct base: private vbase<br />{<br /> void method() {}<br />};<br />
И класс наследник:
<br />template< class type ><br />struct derived: public base<type><br />{<br /> void method();<br />};<br />
Теперь, при использовании класса derived мы можем указать, использовать ли виртуальность. Это делается следующим образом:
<br />template< class T ><br />void test(base< T >& t)<br />{<br /> t.method();<br />}<br />
<br />base< not_virtual_type >* ptr = new derived< not_virtual_type >;<br />test(*ptr); // здесь вызывается base::method()<br />delete ptr;<br /><br />base< virtual_type >* vptr = new derived< virtual_type >;<br />test(*vptr); // здесь вызывается derived::method()<br />delete vptr;<br />