1. есть базовый класс
class Base
{
public:
 virtual void Foo();
};

2. есть класс-шаблон
template<class T>
class Derived: T
{
public:
 void Foo();
};

В большинстве случаев предполагается, что параметр T будет наследником от Base, а значит Derived<t>::Foo() будет виртуальным.
Но не всегда, в таком случае Derived<t>::Foo() будет не виртуальной, а попросту она и вообще в таком случае не нужна.
Как избавится от еее определения при помощи препроцессора?

ну покури директивы препроцессора  на свой компилятор.

(1) не хотелось бы всюду писать директивы, слишком муторно

(2) да бросай ты программирование вообще. это слишком муторно.

(3) да лучше 1С бросить

я просто как-то читал книжку, вот вспомнить не могу, где чувак с шаблонами вытварял разные штуки, типа программирования на уровне метаданных, не ран-тайм

(5)
Александреску ищи.
А твой случай решается не препроцессором, а специализацией шаблона.

(0) При помощи шаблонов можно сделать многое, но не всё то, что делается с их помощью делается правильно.

(6) спасибо, именно так, я в (5) написал

ещё можно всякие бусты и sh распотрошить.