Свои классы ошибок

Здесь будет встроен видео-разбор темы (5–7 минут, YouTube / RuTube / VK Видео) — тем, кто лучше воспринимает на слух, текст ниже не обязателен.

Бросить в JavaScript можно что угодно — строку, число, объект. Язык не возражает. А вот тот, кто будет ловить, останется без половины информации.

js

try {
  throw "Всё сломалось";
} catch (e) {
  console.log(typeof e);
  console.log(e.message);
}

Сначала предположите, что выведет код

У объектов Error есть message и stack, их понимают консоль, логгеры и отладчик. Поэтому свои ошибки делают не с нуля, а наследованием — class ... extends Error.

js

class ValidationError extends Error {
  constructor(message) {
    super(message);
    this.name = "ValidationError";
  }
}
const e = new ValidationError("Имя пустое");
console.log(e.name + ": " + e.message);

Сначала предположите, что выведет код

super(message) в конструкторе наследника обязателен: до его вызова this просто не существует. Заодно он и кладёт текст в message — вручную это делать не нужно.

Имя класса и свойство name — разные вещи. name живёт в прототипе Error, и наследование его не переписывает: класс называется по-своему, а ошибка представляется чужим именем.

js

class MyError extends Error {}
const e = new MyError("что-то не то");
console.log(e.name);
console.log(String(e));

Сначала предположите, что выведет код

Задать имя можно двумя способами: присвоить this.name в конструкторе или объявить поле класса. Поле короче, и конструктор тогда вообще не нужен — он пригодится, только когда в ошибку кладут что-то ещё.

js

class NotFoundError extends Error {
  name = "NotFoundError";
}
function findUser(id) {
  if (id !== 1) throw new NotFoundError("нет пользователя " + id);
  return "Аня";
}
try { findUser(7); } catch (e) { console.log(e.name); }

Сначала предположите, что выведет код

Если у вас целое семейство ошибок, имя можно взять из new.target — это ссылка на тот класс, который реально вызвали через new. Один конструктор в предке обслуживает всех наследников.

js

class AppError extends Error {
  constructor(message) {
    super(message);
    this.name = new.target.name;
  }
}
class DbError extends AppError {}
console.log(new DbError("нет связи").name);

Сначала предположите, что выведет код

Наследование даёт бесплатную иерархию: объект — экземпляр и своего класса, и всех предков сразу. Это позволяет ловить хоть одну конкретную ошибку, хоть целую ветку.

js

class AppError extends Error {}
class TimeoutError extends AppError {}
const e = new TimeoutError("Слишком долго");
console.log(e instanceof TimeoutError);
console.log(e instanceof AppError);
console.log(e instanceof Error);

Сначала предположите, что выведет код

В catch прилетает одна переменная на все случаи жизни, и разбираться, что случилось, приходится внутри. instanceof — самый прямой способ: он смотрит на цепочку прототипов, а не на текст.

js

class NotFoundError extends Error {}
function findUser(id) {
  if (id !== 1) throw new NotFoundError("нет пользователя " + id);
  return "Аня";
}
try { findUser(2); }
catch (e) { console.log(e instanceof NotFoundError ? 404 : 500); }

Сначала предположите, что выведет код

Не разбирайте message регулярками: сообщение пишут для человека, класс — для программы. Текст поправят при переводе, и проверка тихо перестанет срабатывать.

Часто низкоуровневая ошибка бесполезна снаружи: вызывающему коду важно «конфиг не прочитался», а не «неожиданный символ в позиции 1». Но выбрасывать подробности жалко — по ним чинят баг. Второй аргумент Error принимает объект с полем cause, куда кладут исходную ошибку.

js

function readConfig(text) {
  try {
    return JSON.parse(text);
  } catch (low) {
    throw new Error("Битый конфиг", { cause: low });
  }
}
try { readConfig("{нет}"); } catch (e) { console.log(e.cause.name); }

Сначала предположите, что выведет код

Свои классы получают эту возможность даром: если собственного конструктора нет, работает конструктор Error, а он умеет принимать cause. Если конструктор всё же свой — не забудьте пробросить второй аргумент в super.

Обёртки складываются: каждый слой приложения добавляет свой смысл, а первопричина остаётся в самом низу. Дойти до неё — обычный цикл по cause.

js

const low = new RangeError("вне диапазона");
const mid = new Error("не смог посчитать", { cause: low });
const top = new Error("запрос не выполнен", { cause: mid });
let e = top;
while (e.cause) e = e.cause;
console.log(e.name);

Сначала предположите, что выведет код

Ошибка — не только сообщение. Ей почти всегда есть что рассказать: какой статус вернул сервер, какое поле формы не прошло проверку, сколько секунд ждать до повтора. Всё это кладут в поля объекта.

js

class HttpError extends Error {
  name = "HttpError";
  constructor(status) {
    super("Сервер ответил " + status);
    this.status = status;
  }
}
console.log(new HttpError(503).status);

Сначала предположите, что выведет код

Альтернатива, к которой тянет новичка, — строковые коды вроде "BAD_SUM" и сравнение через ===. Работает, но плохо стареет: опечатка в строке не ошибка, а молчаливое «не совпало».

Что нужно	Строковый код	Свой класс
Отличить ошибку от ошибки	сравнение строк, опечатка тихо даёт false	instanceof, опечатка в имени класса — сразу ошибка
Передать подробности	поля приходится лепить рядом с кодом	поля конструктора: status, field, retryAfter
Сгруппировать похожие	список кодов или общий префикс	общий предок и один instanceof
Найти все места в коде	поиск по строке	поиск по классу, редактор подсказывает

js

class HttpError extends Error {
  constructor(status) { super("HTTP " + status); this.status = status; }
}
function needRetry(e) {
  return e instanceof HttpError && e.status >= 500;
}
console.log(needRetry(new HttpError(503)));
console.log(needRetry(new HttpError(404)));

Сначала предположите, что выведет код

Своя ошибка — это class X extends Error и обязательный super(message) в конструкторе наследника.
Свойство name не подхватывает имя класса: задайте его полем или в конструкторе, иначе ошибка представится как Error.
Различать ошибки надёжнее через instanceof, а не по тексту message; общий предок группирует целое семейство.
Второй аргумент { cause } сохраняет исходную ошибку внутри новой — обёртка не теряет первопричину.
Подробности ошибки живут в её полях (status, field), а не в строковом коде, который легко перепутать.

1/3Класс объявлен как class MyError extends Error {}. Что выведет console.log(new MyError("ой").name)?

2/3Как правильно передать исходную ошибку внутрь новой?

3/3Есть class AppError extends Error {} и class TimeoutError extends AppError {}. Что вернёт new TimeoutError() instanceof Error?

Семейство ошибок формы

Опишите базовый класс AppError и двух наследников: ValidationError с полем field и NotFoundError. Напишите функцию handle(e), которая возвращает "поле: " + e.field для ошибки валидации, "не найдено" — для второй и "неизвестно" — для всего остального.

js

class AppError extends Error {}
// ваш код: ValidationError с полем field и NotFoundError — оба наследники AppError

function handle(e) {
  // ваш код: разберите ошибку по классу, от узкого к широкому
  return "неизвестно";
}

console.log(handle(new TypeError("бум")));
// после решения заработают и две другие ветки:
// handle(new ValidationError("email")) — «поле: email»
// handle(new NotFoundError("нет юзера")) — «не найдено»

Сначала предположите, что выведет код

Общий предок AppError сам по себе пустой — он нужен, чтобы позже одним instanceof AppError отделять «наши» ошибки от чужих TypeError и RangeError.

jsлистинг · не запускается

class AppError extends Error {}
class ValidationError extends AppError {
  constructor(field) {
    super("Поле заполнено неверно: " + field);
    this.name = "ValidationError";
    this.field = field;
  }
}
class NotFoundError extends AppError {
  name = "NotFoundError";
}
function handle(e) {
  if (e instanceof ValidationError) return "поле: " + e.field;
  if (e instanceof NotFoundError) return "не найдено";
  return "неизвестно";
}
console.log(handle(new ValidationError("email"))); // поле: email
console.log(handle(new NotFoundError("нет юзера"))); // не найдено
console.log(handle(new TypeError("бум"))); // неизвестно

class AppError extends Error {}
class ValidationError extends AppError {
  constructor(field) {
    super("Поле заполнено неверно: " + field);
    this.name = "ValidationError";
    this.field = field;
  }
}
class NotFoundError extends AppError {
  name = "NotFoundError";
}
function handle(e) {
  if (e instanceof ValidationError) return "поле: " + e.field;
  if (e instanceof NotFoundError) return "не найдено";
  return "неизвестно";
}
console.log(handle(new ValidationError("email"))); // поле: email
console.log(handle(new NotFoundError("нет юзера"))); // не найдено
console.log(handle(new TypeError("бум"))); // неизвестно

Порядок проверок важен: наследники идут раньше предка. Если поставить instanceof AppError первым, он перехватит обе конкретные ошибки, и до них дело не дойдёт.

Не потерять первопричину

Напишите ConfigError и функцию loadSettings(text): она возвращает разобранный JSON, а при неудаче бросает ConfigError со своим сообщением и исходной ошибкой в cause. Проверьте, что e.name — ваш, а e.cause.name — SyntaxError.

Собственный конструктор здесь не нужен: раз его нет, работает унаследованный конструктор Error, а он уже умеет принимать вторым аргументом объект с cause.

jsлистинг · не запускается

class ConfigError extends Error {
  name = "ConfigError";
}
function loadSettings(text) {
  try {
    return JSON.parse(text);
  } catch (low) {
    throw new ConfigError("Настройки не читаются", { cause: low });
  }
}
try {
  loadSettings("{oops}");
} catch (e) {
  console.log(e.name); // ConfigError
  console.log(e.cause.name); // SyntaxError
}

class ConfigError extends Error {
  name = "ConfigError";
}
function loadSettings(text) {
  try {
    return JSON.parse(text);
  } catch (low) {
    throw new ConfigError("Настройки не читаются", { cause: low });
  }
}
try {
  loadSettings("{oops}");
} catch (e) {
  console.log(e.name); // ConfigError
  console.log(e.cause.name); // SyntaxError
}

Если конструктор всё же понадобится (например, чтобы принять путь к файлу), не забудьте пробросить настройки дальше: constructor(path, options) { super("Не читается " + path, options); }.

Свои классы ошибок

Видеоразбор темы за 5–7 минут

Наследуемся от Errorпочему строку бросать не стоит

Имя ошибкиname не появляется сам собой

Различаем через instanceofкакая именно ошибка прилетела

causeобёртка, которая не теряет первопричину

Доменные ошибки вместо кодовполя вместо строковых кодов

Итогошпаргалка по теме

Проверьте себятри быстрых вопроса

Задачидве задачи с решениями

Семейство ошибок формы

Не потерять первопричину