«Стек — это вектор» неверно: наследование выставило наружу get(i), add(i, x), remove(i) — операции, разрушающие инвариант LIFO. Правильно — композиция: список внутри, наружу только push, pop, peek.
А ещё Тот же пример у Блоха: Properties extends Hashtable
Так подсказку видит пользователь sotto на живом собеседовании — за пару секунд, пока вы думаете вслух.
Наследование означает «является», и подтип обязан быть подставим вместо базового типа со всеми его операциями. Здесь же клиент, получивший Stack, вправе вызвать get(0), add(2, x) или remove(5) — стек перестаёт быть стеком. Правильное решение — композиция: держать список внутри и выставить только push, pop и peek, то есть ровно те операции, которые сохраняют инвариант. Это и есть смысл правила «композиция вместо наследования»: наследование переиспользует код ценой жёсткой связи и раскрытия чужого контракта. Отсюда же и совет использовать ArrayDeque вместо Stack в современном коде.
Один верный вариант. Подумайте, потом откройте ответ.
Инкапсуляция, наследование, полиморфизм, абстракция — зачем они нужны, как работают внутри и почему композицию предпочитают наследованию.
sotto слышит вопрос интервьюера и показывает короткий ответ и план, как в блоке «Коротко». Оставьте контакт — пришлём доступ и промокод.
sotto