JavaScript без угадывания. 12 разборов неожиданных результатов

1. Задача и понятия

Отделить проверку числового импорта от сложения и получить количество, а не новую строку.

Строковые и числовые литералы, вызов функции, условие и return; простой цикл for перебирает значения последовательно.

В мастерской настольных игр считают заготовки жетонов. В утренней ведомости записано '27', в дополнительной — '5'. Данные уже представлены литералами: никакой файл читать не нужно. Обе ячейки содержат текст, хотя человек видит в них количества. Итог должен быть числом 32, пригодным для дальнейшего расчёта, а не подписью '275'.

Договоримся о формате заранее: принимаем строки с десятичными цифрами 0–9; внешние пробельные символы и ведущие нули разрешены. После преобразования каждое количество лежит от 0 до 10000 включительно. Пустота, знак, дробь, экспонента, другая система счисления и нестроковый вход означают ошибку. Функция суммы возвращает null, если хотя бы одна ячейка непригодна. Частичного итога нет.

У оператора + здесь два возможных назначения. Для двух чисел это сложение. Если один из двух наших простых операндов — строка, получается соединение текстов. Кавычки в исходнике не декоративны: они выбирают строковое значение. Выражение '27' + 5 тоже даст строку. Поэтому преобразовать только одну ячейку недостаточно; проверять нужно обе стороны операции.

Number(text), вызванный без new, превращает допустимую числовую запись в число. Но он не знает правил ведомости: пустая строка превращается в ноль, а экспоненциальные и шестнадцатеричные записи тоже могут быть числовыми. Проверка диапазона не доказывает, что исходная запись была десятичной. Сначала проверяем написание, затем значение, и лишь потом выполняем предметное действие.

Метод trim() убирает внешние пробельные символы. Шаблон /^[0-9]+$/ после этой очистки требует непустую последовательность цифр: [0-9] обозначает цифру, + — одно или несколько повторений, ^ и $ задают края. Метод test сообщает true или false. Number.isSafeInteger проверяет, что получено безопасное целое число; отдельное сравнение устанавливает наш значительно меньший предел. null служит отдельным сигналом отказа, не совпадающим с допустимым нулём.

1. Ошибочная версия — c01-bug.mjs

const morning = '27';

const extra = '5';

const total = morning + extra;

console.log(total);

console.log(typeof total);

1. Что произошло

275

string

Сначала переменные получают строки '27' и '5'. При вычислении + содержимое не распознаётся как количество жетонов: строка справа присоединяется к строке слева. Поэтому первая строка вывода похожа на число, но вторая прямо показывает тип string.

Ошибки выполнения нет: соединение строк допустимо. Расхождение обнаруживает контракт, требующий числовую сумму. Диагностический typeof полезен именно потому, что один внешний вид результата в консоли может ввести в заблуждение.

1. Исправленная версия — c01-fixed.mjs

import assert from 'node:assert/strict';

function readCount(raw) {

if (typeof raw !== 'string') return null;

const text = raw.trim();

if (!/^[0-9]+$/.test(text)) return null;

const value = Number(text);

if (!Number.isSafeInteger(value)) return null;

if (value > 10000) return null;

return value;

}

function sumCounts(left, right) {

const a = readCount(left);

const b = readCount(right);

if (a === null || b === null) return null;

return a + b;

}

const total = sumCounts('27', '5');

console.log(total);

console.log(typeof total);

assert.equal(total, 32);

assert.equal(sumCounts(' 004 ', '6'), 10);

assert.equal(sumCounts('0', '0'), 0);

assert.equal(sumCounts('10000', '10000'), 20000);

for (const bad of ['', ' ', '-1', '2.5', '1e2']) {

assert.equal(sumCounts(bad, '1'), null);

}

for (const bad of ['0x10', '10001', '2x', 7]) {

assert.equal(sumCounts('1', bad), null);

}

1. Почему работает исправление

32

number

Сложение находится после двух успешных преобразований; в эту строку попадают только числа. Проверка === null не отбрасывает ноль. Верхняя граница суммы равна 20000, так что при заявленных входах вопрос огромных целых не возникает. Сохранять исходное написание в числовом результате мы не обещаем: '004' становится 4.

Проверки берут не только рабочую пару: они защищают разрешённые нули, внешние пробелы, верхний предел и разные причины отказа. При смене формата импорта сначала меняйте договорённость о записи. Механическое удаление всех нецифровых символов опасно: ошибочная ячейка '2x' не должна незаметно становиться двумя жетонами.

У количества есть формат записи и допустимый диапазон; проверьте оба условия до числового сложения.

Задание 1.1

Сверьте пакет заявок на бумажные конверты: ['18', '0', '7']. Верните число 25. Функция получает плотный массив — с элементом в каждой позиции — максимум из 100 строк. После удаления внешних пробельных символов каждая строка должна содержать одну или несколько цифр 0–9 и задавать целое число 0–10000. Ведущие нули разрешены; пустая запись, знаки, дроби, экспонента и другая система счисления запрещены. Пустой пакет даёт 0; одна плохая ячейка или превышение размера пакета отменяет весь результат: возвращается null. Не пропускайте ошибочные заявки.

Подсказка 1.1

Решение 1.1

Задание 1.2

Подготовьте номера карточек очереди из начального номера '008' и количества '3': Q-008, Q-009, Q-010, каждый на своей строке. Оба входа — проверяемые десятичные строки с внешними пробелами. Начало допускается от 0 до 999, количество — от 0 до 20. Нулевое количество даёт пустой массив. Плохая запись или выход последнего номера за 999 даёт null.

Подсказка 1.2

Решение 1.2

К списку разборов

2. Задача и понятия

Различить отсутствующее значение, допустимый ноль и ошибочную настройку перед применением умолчания.

Числа, логические значения, поля объекта, условие и проверка строгого равенства.

Организатор кружка готовит текстовые карточки с заданиями. Настройка blankLines задаёт число пустых строк между заданиями: от 0 до 6, только целое число. Ноль выбран сознательно для компактной версии. Если настройку не передали или передали null, используются две строки. Сейчас программа печатает 2 даже для запроса 0; нужно сохранить выбор организатора.

Мы вычисляем только настройку, не создаём документ и не отправляем его в печать. В исправленном варианте функция возвращает выбранное число либо null при недопустимом значении. Строка '0', false, дробь, NaN и число вне диапазона не считаются отсутствием. Их нельзя молча заменять рабочим умолчанием.

Оператор || удобно читать как выбор по логической истинности, но не как проверку наличия. Он возвращает левое значение, если оно truthy, иначе правое. Среди falsy есть 0, false, пустая строка, NaN, null и undefined. В настройках первые три нередко означают полноценный пользовательский выбор. Один оператор не определяет их предметный смысл: его задаёт контракт поля.

Оператор ?? выполняет более узкий выбор: справа берётся запасное значение только при null или undefined слева. Для остальных значений возвращается левое. В частности, ноль остаётся нулём. Это оператор подстановки при отсутствии, а не очиститель неправильных данных. Он сохранит и отрицательное число, и NaN; поэтому после подстановки нужна отдельная проверка выбранного значения.

В функции ниже Number.isInteger принимает именно целые числа, без преобразования строк. Затем два сравнения ограничивают диапазон. Так получаются три разные ситуации: отсутствие получает умолчание, допустимое значение сохраняется, неправильное вызывает отказ. Операторы ?? и || нельзя напрямую смешивать в одном выражении без скобок; здесь они для одного решения вместе не нужны.

2. Ошибочная версия — c02-bug.mjs

function blankLines(value) {

return value || 2;

}

console.log(blankLines(0));

console.log(blankLines(undefined));

2. Что произошло

2

2

В первом вызове значение 0 действительно передано, но для || оно falsy. Выражение возвращает правую часть 2. Во втором вызове undefined тоже falsy, и получается та же двойка. Разные пользовательские намерения превратились в одинаковый результат.

При ручном тесте только с отсутствующей настройкой дефект не виден: второй результат как раз правильный. Нужен пример, где значение присутствует, допустимо и при этом логически ложно. Здесь это компактный режим с нулём пустых строк.

2. Исправленная версия — c02-fixed.mjs

import assert from 'node:assert/strict';

function blankLines(value) {

const chosen = value ?? 2;

if (!Number.isInteger(chosen)) return null;

if (chosen < 0 || chosen > 6) return null;

return chosen;

}

console.log(blankLines(0));

console.log(blankLines(undefined));

assert.equal(blankLines(0), 0);

assert.equal(blankLines(5), 5);

assert.equal(blankLines(6), 6);

assert.equal(blankLines(null), 2);

assert.equal(blankLines(), 2);

for (const bad of [-1, 7, 0.5, '0', false, NaN]) {

assert.equal(blankLines(bad), null);

}

assert.equal(blankLines(Infinity), null);

2. Почему работает исправление

0

2

Оператор выбирает кандидата, а проверки решают, можно ли использовать его как число строк. Это разные обязанности. Отрицательное значение не становится двойкой и не просачивается дальше. Успешный assert ничего не печатает, поэтому строки вывода показывают только два интересующих нас режима.

Исправление подходит именно для договора, где null и undefined равнозначны отсутствию. Если null означал бы отдельную команду, например сброс сохранённых данных, эту ветку пришлось бы обработать явно. Нет общего правила «всегда заменять || на ??»: сначала перечислите допустимые значения конкретного поля.

Подстановка по отсутствию должна сохранять валидные falsy-значения и не маскировать ошибки диапазона.

Задание 2.1

Подготовьте настройки предпросмотра: {captions: false, title: ''}. Функция получает обычный объект; поля могут отсутствовать. Поле captions принимает только boolean; умолчание true. Поле title принимает любую строку, включая пустую; умолчание 'Preview'. Умолчание применяется только к null и undefined. Получив неподходящий тип хотя бы одного выбранного поля, функция возвращает null. Иначе она возвращает новый объект с двумя полями. Выведите false и затем пустой заголовок внутри квадратных скобок.

Подсказка 2.1

Решение 2.1

Задание 2.2

Для учебного стенда выберите число повторных попыток: сначала личное значение, затем групповое, затем 4. Отсутствуют только null и undefined. Первый присутствующий кандидат должен быть целым числом от 0 до 8; если он неправильный, верните null и не переходите к следующему. Ноль означает отсутствие повторов. Для личного undefined и группового 0 выведите 0.

Подсказка 2.2

Решение 2.2

К списку разборов

3. Задача и понятия

Построить числовую сортировку для отчёта, не меняя массив в порядке поступления.

Плотный массив — массив с элементом в каждой позиции; знакомы индексы, длина и вызов функции.

В клубе моделирования фиксируют длительности четырёх этапов: [8, 35, 120, 4] минут. Массив хранит порядок выполнения; рядом нужен список от короткого этапа к длинному. Правильный отчёт — 4, 8, 35, 120. Исходная последовательность должна остаться прежней, иначе исчезнет информация о ходе работы.

Принимаем плотные массивы целых чисел от 0 до 600 включительно. Ноль, повторы и пустой массив допустимы. Строки, NaN, Infinity, объекты и пропуски позиций находятся вне входного контракта. Здесь исследуем порядок и изменение массива, а не строим универсальный валидатор импортированных данных.

Вызов sort() без функции сравнения выбирает порядок по строковым представлениям элементов, сравнивая кодовые единицы UTF-16. Для наших положительных целых это видно уже по первым цифрам: запись '120' начинается с '1' и оказывается перед '35', '4' и '8'. При этом сами элементы не становятся строками в массиве: меняется порядок, а не числовой тип.

Чтобы задать другой порядок, sort получает функцию сравнения, или компаратор. В записи (a, b) => a - b два значения называются a и b, а результат выражения возвращается вызывающему методу. Отрицательный результат требует поставить a раньше b, положительный — позже, ноль означает равенство по выбранному критерию. Для ограниченных конечных чисел вычитание задаёт нужный числовой порядок.

Вторая независимая особенность sort — изменение того массива, на котором его вызвали. Возвращается ссылка на него же. Присваивание результата другой переменной не создаёт копию. Запись [...values] сначала создаёт новый массив из элементов values; сортируя эту копию, мы сохраняем исходную последовательность. Для данной задачи с числами этого достаточно; обещания о копировании вложенных объектов здесь нет.

3. Ошибочная версия — c03-bug.mjs

const minutes = [8, 35, 120, 4];

const report = minutes.sort();

console.log(report.join(', '));

console.log(minutes.join(', '));

console.log(report === minutes);

3. Что произошло

120, 35, 4, 8

120, 35, 4, 8

true

Метод join(', ') соединяет элементы для компактного вывода; запятые относятся к представлению списка. Первая строка обнаруживает строковый порядок. Вторая показывает, что массив этапов тоже переставлен. Третья подтверждает: report и minutes обозначают один массив, а не два одинаковых по содержимому.

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

3. Исправленная версия — c03-fixed.mjs

import assert from 'node:assert/strict';

function orderedMinutes(values) {

const copy = [...values];

copy.sort((a, b) => a - b);

return copy;

}

const minutes = [8, 35, 120, 4];

const report = orderedMinutes(minutes);

console.log(report.join(', '));

console.log(minutes.join(', '));

console.log(report === minutes);

assert.deepEqual(report, [4, 8, 35, 120]);

assert.deepEqual(minutes, [8, 35, 120, 4]);

assert.notEqual(report, minutes);

assert.deepEqual(orderedMinutes([]), []);

assert.deepEqual(orderedMinutes([7]), [7]);