они "дорогие" с вычислительной точки зрения
Хорошо, сейчас я попытаюсь доказать, что это совершенно фальшиво.
Представление стека не волшебно,Представление стека не выполняет никаких специальных настроек во время выполнения.Представление стека - просто создатель ограничений, ни больше, ни меньше.Так ты.Все, что делает представление стека, вы можете сделать.И результирующие ограничения стекового представления - это те же самые ограничения, которые вы создали бы сами (при условии, что вы даже знаете, как).Следовательно, сами ограничения не дороже только потому, что их сделал просмотр стека.
Итак, давайте поговорим о начальной генерации ограничений.Что ж, представление стека генерирует свои ограничения наизусть.Это просто простой формульный подход, основанный на параметрах, уже заданных такими вещами, как настройки представления стека и (в некоторых случаях) размеры внутреннего содержимого упорядоченных подпредставлений.Таким образом, фактически не требуется времени , чтобы представление стека выплюнуло создаваемые им ограничения, и ему нужно сделать это только один раз.
Так что, если генерация ограниченийне дорого, и если ограничения сами по себе не дороги, где расходы?Это нигде.
Кто-то может утверждать, что для определенного желаемого результата использование стекового представления излишне сложно или лениво, поэтому было бы «лучше» самим установить ограничения;но «дорогое» не кажется мне подлинным обвинением, которое можно предъявить стекам.