Посоветуйте компилятор, не только наиболее близкий к стандарту, но и без ошибок.

VC6 — не подходит. Не разрешает переопределение виртуальной функции, если меняется тип возвращаемого значения (со ссылки на базовый класс -> на ссылку на дочерний).

Borland 6.0 (среда, номера его компилера не помню) — тоже, т.к. плохо работает с шаблонами и странно наследует статические члены.

Может в Линух податься? Там есть хорошие среды разработки?