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

S>Я так понимаю для TS нужна именно виртуальность. Чтобы была возможность определить impl класс в run-time

Все может быть, конечно, я не спорю. В то же время я видел достаточно много примеров, когда динамический полиморфизм использовался там, где за глаза хватало статического — просто по причине консервативности мышления.