Базовый CS с нуля
Variables and state: тест с выбором ответа
Суть Тест с выбором на синтез по всему юниту — binding vs значение, assignment как запись, mutation и состояние, копирование vs reference, ловушки aliasing.
Высота — путь к senior
НольJuniorMiddleSenior
Ты на middle-высоте — в небеШесть вопросов поперёк всего юнита. Каждый — это решение о том, что реально лежит в ячейке: значение или reference, и что меняется при assignment или mutation. Разберись с моделью памяти — и баги aliasing перестанут быть сюрпризом.
Цель
Убедись, что связываешь четыре идеи юнита: variable — это имя, привязанное (binding) к ячейке; assignment перезаписывает эту ячейку; mutation меняет состояние на месте; примитивы копируются, а объекты разделяются по reference.
Викторина
Completed
После 'let score = 0' программа выполняет 'score = 42'. Что изменилось в памяти?
Heads-up Имя — это метка в исходном коде; оно никогда не хранит значение и не «становится» числом. Имя 'score' остаётся 'score', а привязанная к нему ячейка теперь содержит 42.
Heads-up Re-assignment пишет на месте в существующую ячейку. Новая ячейка не выделяется и binding не меняется — меняется только содержимое ячейки.
Heads-up Assignment — это разрушающая перезапись. Прежнее значение 0 пропало; ячейка хранит только 42. Память не ведёт историю прошлых значений.
Викторина
Completed
Почему читать '=' как «равно» — ловушка, и как читать вместо этого?
Heads-up Как уравнение 'x = x + 1' невозможно. Это вообще не уравнение, а команда из двух шагов — вычислить x+1, затем записать обратно — поэтому читается «x получает x+1».
Heads-up Сравнение — другой оператор (== или ===). Одиночный '=' выполняет запись, а не проверку. Он всегда сохраняет правое значение в левую ячейку.
Heads-up TypeScript вычисляет жадно. Правая часть немедленно сводится к конкретному значению, и оно записывается в ячейку сейчас — отложенного вычисления нет.
Викторина
Completed
Баг-репорт: «Я изменил obj2, а obj1 мутировал сам по себе.» В коде было 'let obj2 = obj1'. Что произошло на самом деле?
Heads-up Никакой постоянной синхронизации нет. Assignment однократно скопировал адрес; дальше обе переменные независимо держат один адрес, указывающий на единственный объект. Двух объектов никогда не было.
Heads-up Объекты не копируются глубоко при assignment — копируется только reference. Единый объект разделяется, поэтому mutation и проявилась на обоих именах.
Heads-up Это и есть определяющее поведение aliasing. Оба имени держат один reference на один объект, поэтому 'obj2.field = x' — та же запись, которую читает 'obj1.field'.
Викторина
Completed
'const user = { name: "A" }; user.name = "B";' выполняется без ошибки. Но 'const x = 1; x = 2;' падает. Почему?
Heads-up const действует и для объектов — перепривязка 'user = somethingElse' всё равно падает. Он лишь не запрещает mutation свойств объекта; он запечатывает только то, какой reference держит ячейка.
Heads-up Объекты — это значения; ячейка переменной держит значение-reference. const запечатывает этот reference от замены, но объект на куче за ним не заморожен, поэтому mutation свойства допустима.
Heads-up Существование свойства тут ни при чём. const охраняет binding, а не содержимое; добавление нового свойства (user.age = 1) тоже было бы разрешено.
Викторина
Completed
'let a = [1,2]; let b = a; b.push(3);' — затем код в другом месте читает a.length, ожидая 2. Почему он видит 3?
Heads-up push мутирует существующий массив на месте; он не создаёт новый массив и ничего не перепривязывает. Так как a и b — алиасы этого массива, новая длина видна через a.
Heads-up let vs const не влияет на разделение. Массивы разделяются, потому что reference скопирован при 'let b = a'; ключевое слово объявления этого не меняет.
Heads-up Массивы в JavaScript — объекты, не примитивы. Присваивание копирует их reference, поэтому оба имени указывают на единственный массив — по значению копируются только примитивы (number, string, boolean).
Викторина
Completed
В чём разница между «состоянием» программы и «мутациями» (mutation), которые его породили?
Heads-up Состояние — текущий снимок, а не история. Дойти до score=10 одним большим инкрементом или десятью маленькими — это разные истории, но идентичное состояние: важны только нынешние значения.
Heads-up Состояние охватывает каждую живую переменную, включая давно нетронутые. Их текущие значения по-прежнему часть условия программы прямо сейчас.
Heads-up Они различны: состояние — это значения, которые держатся сейчас; mutation — акт изменения одного из этих значений на месте. Может быть неизменное состояние (только const) вообще без mutation.
Итог
Сквозная линия: variable — это имя, привязанное (binding) к ячейке, и имя и значение — разные вещи. Assignment — разрушающая запись, «получает», а не «равно». Mutation меняет ячейку на месте, а состояние — это снимок всех текущих содержимых ячеек. Решающее различие — что лежит в ячейке: примитивное значение (копируется при assignment, поэтому изменения не распространяются) или reference на объект кучи (копируется как адрес, создавая алиасы, где одна mutation видна через каждое имя). const запечатывает, какой reference держит ячейка, но никогда — содержимое за ним.