Что такое стек

Представьте стек как стопку карточек. Вы кладете новую карточку сверху и первой снимаете тоже верхнюю. Поэтому порядок называется LIFO, Last In, First Out.

На интервью не уходите в длинное определение. Назовите три вещи: порядок LIFO, операции push и pop, доступ только через вершину. Затем добавьте пример из фронтенда. Так ответ звучит не как заученный термин, а как рабочее понимание.

Короткая формулировка:

Стек это структура данных с принципом LIFO. Последний добавленный элемент извлекается первым. Обычно у него есть push, pop, peek и проверка пустоты. Во фронтенде это видно в call stack, undo и алгоритмах проверки вложенности.

Главный смысл стека не в том, что данные лежат в массиве или списке. Смысл в контракте доступа. Вы работаете только с вершиной.

class Stack {
  #items = [];

  push(value) {
    this.#items.push(value);
  }

  pop() {
    if (this.#items.length === 0) {
      return undefined;
    }

    return this.#items.pop();
  }

  peek() {
    return this.#items[this.#items.length - 1];
  }

  isEmpty() {
    return this.#items.length === 0;
  }
}

Такой пример хорошо подходит для интервью, потому что показывает границу API. Внутри используется массив, но внешний код не получает доступ к произвольному индексу. Так вы снижаете риск случайно нарушить LIFO и получить баг, который сложно отследить в алгоритме.

Первый пример это call stack JavaScript. Когда функция вызывает другую функцию, новый вызов попадает на вершину стека вызовов. Когда функция завершается, ее frame снимается, и выполнение возвращается к предыдущему вызову.

Второй пример это undo в редакторе. Последнее действие пользователя должно отменяться первым. Это ровно LIFO. Если вы добавляете redo, часто нужен второй стек для отмененных действий. После нового действия redo-стек очищают, чтобы UI не вернул устаревшую ветку истории.

Третий пример это проверка вложенности. Скобки, HTML-подобные теги, вложенные токены в парсере удобно проверять стеком: открывающий элемент кладете наверх, закрывающий должен совпасть с верхним элементом.

В этом примере стек помогает поймать неверный порядок вложенности. Обратите внимание на две проверки: нельзя делать pop из пустого стека, и в конце стек должен быть пустым.

function isBalanced(input) {
  const stack = [];
  const pairs = {
    ")": "(",
    "]": "[",
    "}": "{",
  };

  for (const char of input) {
    if (char === "(" || char === "[" || char === "{") {
      stack.push(char);
      continue;
    }

    if (char === ")" || char === "]" || char === "}") {
      if (stack.length === 0) {
        return false;
      }

      const lastOpen = stack.pop();

      if (lastOpen !== pairs[char]) {
        return false;
      }
    }
  }

  return stack.length === 0;
}

Плохой вариант: сразу вызвать stack.pop() и сравнивать результат без проверки пустоты. На строке ")(" такой код легко даст неверную логику. Без финальной проверки остатка стека строка "((" тоже может пройти ошибочно.

Рекурсия связана со стеком через call stack. Каждый рекурсивный вызов хранит свой контекст: параметры, локальные переменные и точку возврата. Когда глубина небольшая, это удобно и читаемо.

Риск появляется на очень глубоких данных. Например, обход дерева комментариев, DOM-подобной структуры или вложенного меню может быть безопасным на тестовых данных и падать на реальном большом вводе. В такой ситуации вы можете заменить рекурсию на цикл и собственный стек.

function walkTree(root) {
  const stack = [root];

  while (stack.length > 0) {
    const node = stack.pop();
    handleNode(node);

    const children = node.children ?? [];

    for (let i = children.length - 1; i >= 0; i -= 1) {
      stack.push(children[i]);
    }
  }
}

Такой код не делает рекурсивные вызовы и лучше контролирует память. Проверка node.children ?? [] нужна, чтобы обход не падал на листовом узле и не ломал отрисовку дерева или меню. На интервью скажите, что это альтернатива для данных с непредсказуемой глубиной.

Хороший ответ не заканчивается фразой "стек это LIFO". Добавьте, что стек выбирают, когда нужно всегда работать с последним добавленным элементом: последний вызов функции, последнее действие пользователя, последняя открытая скобка, последний узел для DFS.

Если задача требует обрабатывать элементы в порядке поступления, стек не подходит. Там чаще нужна очередь. Если нужно часто искать произвольный элемент, стек тоже не лучший интерфейс. Его сила именно в ограниченном доступе через вершину.