Справедливости ради, void* поинтеры - способ номер 1 отложить личинку себе в руки что в няшной сишке, что в крестах. В крестах даже reinterpert_cast<>, скажем так, ярче сверкает в исходниках, что в данной точке control flow происходит трансформация ужа в ежа. Типизация спасет мир (искренний привет F* c зависимыми типами).
Вот что пассаж про деревянные столы странный - это да. Как бы сам смысл современного ООП-like программирования в том, чтобы выделить в предметной области "хотспоты", в которых бизнес-логика меняется часто, и представить их в архитектуре как точки расширения, в которые можно воткнуть полиморфное поведение. А еще потом дисциплинировать кодеров, тыкая носом в контракт точки расширения, чтобы принцип подстановки Лисков соблюдали.