Предположим, у нас есть генерализованный базовый класс, наподобие TStream, обеспечивающий некоторый уровень функционала, а в деталях полагающийся на специализированных наследников, скажет TFileStream.

у нас нет прямого доступа к коду обоих классов: это чужие классы, которые не хотелось бы модифицировать. Кроме того , специализированный класс наперед неизвестен.
 Но есть нужда расширить  неспециализированный функционал базового класса, прежде всего, перекрывая виртуальные методы.
Возможно ли это? Делал ли кто-нибудь такое?

А почему ты просто не унаследуешь класс от TFileStream и переопределишь нужные методы?

Да, возможно.

Добавлено через 3 минуты и 12 секунд
P.S. Подмену не всего класса целиком, а чисто одного виртуального метода можно сделать на базе кода этой заметки.