Базовый CS с нуля
Когда программа падает: тест с выбором ответа
Суть Тест с выбором на синтез по всему юниту: error против exception, раскрутка стека, чтение stack trace, undefined behaviour и debugging как рассуждение.
Высота — путь к senior
НольJuniorMiddleSenior
Ты на middle-высоте — в небеШесть вопросов поперёк всего юнита. Каждый — небольшое решение, которое ты принимаешь перед реальным сбоем: не определение для заучивания, а различение, которое надо держать твёрдо — условие против механизма, громкий сбой против тихого, рассуждение против угадывания.
Цель
Убедись, что связываешь четыре урока в одну картину: error — это условие, exception — механизм, раскручивающий стек, stack trace — снимок этой раскрутки, undefined behaviour — опасный тихий случай, а debugging — рассуждение над детерминированной машиной.
Викторина
Completed
Программа пытается открыть несуществующий файл. Что здесь error, а что exception?
Heads-up Они меняются независимо. То же условие отсутствующего файла можно поднять как exception в одной программе и обработать обычной проверкой в другой. Программа может поднять exception, поймать его и продолжить совершенно нормально — ничего не сломано навсегда.
Heads-up Оба живут на уровне рантайма/программы. Разделение — условие против механизма, а не софт против железа: error — плохая ситуация, exception — ответ рантайма в виде раскрутки стека.
Heads-up Всё наоборот. Error — это условие (факт); exception — ответ (процесс раскрутки стека в поиске обработчика).
Викторина
Completed
main вызывает a, a вызывает b, b поднимает exception. Обработчик есть только у main. Сколько фреймов снимет (pop) рантайм и где возобновится нормальный поток?
Heads-up Crash наступает только когда раскрутка доходит до дна, и обработчика нет нигде. У main обработчик есть, поэтому раскрутка останавливается там и фрейм main не снимается — снимаются лишь b и a.
Heads-up Обработчик в main, но exception поднят в b. Рантайм должен сначала раскрутить b и a, чтобы дойти до фрейма, у которого реально есть обработчик.
Heads-up a стоит между b и main и не имеет обработчика, поэтому фрейм a тоже снимается. Перед тем как раскрутка дойдёт до main, снимаются два фрейма (b, затем a).
Викторина
Completed
Stack trace из четырёх строк (сверху вниз): divide, getAge, loadUser, main. Новичок первым делом правит main. Почему это неверный инстинкт?
Heads-up Самый внешний вызов — лишь место, откуда программа стартовала. Exception всплыл на верхней строке, divide. main в trace только потому, что он на цепочке вызовов, а не из-за вины.
Heads-up Trace читается сверху вниз. Верхняя строка — throw site, где поднят exception, а каждая строка ниже — вызывающий строки над ней, вплоть до точки входа внизу.
Heads-up Trace — не список функций программы. В нём лишь фреймы, активные на стеке в момент throw, — точная цепочка вызовов, приведшая к exception.
Викторина
Completed
Одна программа читает индекс 5 массива из 3 элементов и поднимает exception 'index out of range'. Другая читает ту же ячейку за границей и возвращает лежащие там биты, без всякой ошибки. Какой сбой опаснее и почему?
Heads-up Громкий, определённый сбой — это хороший случай: он останавливает поток и наводит trace на строку, так что ты находишь и чинишь быстро. Опасен именно тихий сбой, потому что его ничто не сигналит.
Heads-up Чтение неверной ячейки — тот же баг, но исходы расходятся полностью: определённая ошибка поймана и отрепортована; чтение с undefined behaviour молчит и распространяет неверное значение без trace.
Heads-up Продолжать работу с мусорным значением — не безопасность, а опасность. Программа выдаёт неверные результаты, выглядящие правильными, что хуже громкой остановки.
Викторина
Completed
В JavaScript чтение индекса 9 массива из 3 элементов даёт undefined (не падение), и затем код вычисляет undefined + 1. Что происходит и почему это напоминает undefined behaviour, хотя каждый шаг определён?
Heads-up Exception не поднимается. undefined + 1 вычисляется в NaN, и программа продолжает работать. Опасность как раз в том, что она не останавливается.
Heads-up undefined не приводится к 0 в сложении; undefined + 1 — это NaN. Этот NaN затем заражает каждое вычисление, которого касается.
Heads-up JavaScript проверяет границы — чтение за пределами возвращает undefined, что есть определённое поведение. Опасность в стиле undefined behaviour идёт от использования этого undefined незаметно для себя, а не от самого чтения.
Викторина
Completed
Программа возвращает неверную сумму. Инженер начинает переворачивать сравнения и перезапускать, пока число не станет похожим на верное. В чём принципиальное возражение, опирающееся на работу машины?
Heads-up Заставить видимый симптом исчезнуть — не значит убрать баг. Угадывание может замаскировать дефект, который всплывёт на другом входе. Детерминизм означает, что причина фиксирована и рассуждение может её найти.
Heads-up Компьютеры не ведут себя случайно — fetch-decode-execute детерминирован. То же состояние всегда даёт тот же результат, и именно это делает баг находимым рассуждением, а не удачей.
Heads-up Прохождение теста после слепого изменения не доказывает, что причина найдена; оно может лишь скрыть один путь к симптому. Менять строку стоит только после того, как рассуждение указало точный расходящийся шаг.
Итог
Юнит — одна цепочка: error — условие, exception — механизм, который останавливает нормальный поток и раскручивает стек фрейм за фреймом в поиске обработчика, а stack trace — этот стек, замороженный в момент throw, читаемый сверху вниз, throw site первым. Undefined behaviour — опасный случай, где error не поднимается вовсе и мусорное значение едет молча. А поскольку машина детерминирована, ответ на любой сбой — рассуждение, а не угадывание: сформулируй проверяемую гипотезу, сузь диапазон, прочитай trace, проверь состояние, затем чини шаг, виновность которого доказал.