HardООПоптимизация
Что такое empty-base optimization (EBO)?
1Постановка
Разберём, что от вас хотят в этом вопросе и как к нему подступиться на собеседовании.
2Решение
По стандарту каждый объект имеет ненулевый размер (чтобы адреса разных объектов различались) — даже пустой класс имеет sizeof == 1. EBO позволяет при наследовании от пустого класса не увеличивать размер производного класса: пустая база «растворяется».
struct Empty {};
struct WithBase : Empty { int x; }; // sizeof == 4 (без EBO было бы 8)
struct WithMember { Empty e; int x; };// sizeof == 8 (член e занимает байт)- Важно для stateless allocators, comparators,
std::allocator; - Без EBO контейнеры с такими типами тратили бы лишний байт на каждый;
- Большинство компиляторов реализуют EBO, но стандарт не гарантирует для всех случаев.
3Как отвечать
- Сначала уточните условия и ограничения, покажите аналитическое мышление.
- Рассуждайте вслух — интервьюеру важен ход мысли, а не только финальный ответ.
- Оцените сложность по времени и памяти (Big-O), если это алгоритмический вопрос.
💡
На реальном собеседовании Alffert подскажет развёрнутый ответ в реальном времени.