Что такое type erasure (idea)?

Скрытие конкретного типа за единым интерфейсом (function, any, шаблоны+virtual).

Разбор

• std::function.
• Аллокации/стоимость.
• В embedded осторожно.
• Альтернатива — шаблоны.

Итог

Type erasure = runtime единообразие ценой абстракции.