При правильной организации сборщика мусора (и стратегии выделения памяти) - накладные расходы стремятся к одному проценту.

Например, для целого класса диалектов лиспа (я просто в курсе кода) выделение нового объекта делается так: { new_object = ptr; ptr+=size; }, что в ассемблере выливается в одну единственную команду; точно так же, как и выделение объектов _на_стеке_ в языках без СМ.

Далее, при непосредственно сборке мусора дерево объектов разворачивается (линеаризируется), при этом установкой одного бита отмечаются используемые объекты; далее сворачивается назад (с автоматической очисткой бита) и элементарнейшим образом компактифицируется. И пусть это звучит страшно, на деле занимает 10 строк С кода. Ну 15, ладно.

Зато "магическим" образом неиспользуемые объекты никак вообще не затрагиваются, и просто исчезают.

А теперь сравниваем это с выделением объектов на куче в С, например. И, главное, с освождением оных (и процессом объединения "пустих" зон, с кучей трюков как бы этот алгоритм ускорить и т.д. и т.п.)

Отсюда выводы: пусть даже такие языки и проигрывают в скорости непосредственно исполняемого алгоритма, но во многих классах задач выигрывают очень хорошо.
Например, парсинг и обработка текста. Чисто на реаллокациях строк с++ влегкую проигрывает у того же коммон лиспа. Плата - объемы используемой памяти.