Typescript: Присвоение значения
В этом уроке мы разберем присвоение одного значения другому. Это одна из базовых операций с переменными в большинстве языков. Самая частая ошибка, с которой вы столкнетесь в TypeScript будет выглядеть как Error: Type X is not assignable to type Y.. Такой код не удается скомпилировать, поэтому нужно разобраться, как это исправить.
Присвоение одного значения другому и передача аргументом в функцию называют присваиваемостью(Assignability):
let x: number;
const y: number = 10;
x = y;
function len(str: string): number {
return str.length;
}
len(false); // Error!
При присвоении x = y; и передачи аргумента f(false); сначала проверяется, может ли переменная содержать передаваемый тип — совместим ли тип x с типом y.
Если думать о типах, как о множествах значений, то присваиваемость — это проверка, что множество значений x входит в множество значений y. Например, литеральный тип 'one' входит в множество значений string, а множество значений number — нет.
Переменная типа x присваивается переменной типа y, если множество значений x входит в множество значений y. Или другими словами — если множество значений x является подмножеством множества значений y.
Так что когда вы в следующий раз столкнетесь с ошибкой Type X is not assignable to type Y., не стоит сразу приводить всё к самому общему типу через as any. Ведь, в таком случае вы полностью отключаете проверку типов для этой переменной.
Сначала нужно разобраться, что ожидается на вход, и что возвращает функция. И только после этого можно модифицировать собственные типы: расширять допустимые типы, например, с помощью объединения и только в крайних случаях использовать хак с any.
Чтобы понимать, что к чему в TypeScript можно присвоить, нужно смотреть на код с точки зрения иерархии типов и структурной типизации. Этому посвящены следующие уроки в этом курсе.
Задание
Реализуйте объект по описанному типу Form. Поле name.value должно проходить валидацию, а поле age — нет.
console.log(form.name.validator(form.name.value)); // true
console.log(form.age.validator(form.age.value)); // false
Определения
- Совместимость типов (Types Compatibility)
- совокупность правил, на основе которых при анализе типа данных принимается решение о возможности заменить один тип данных другим таким образом, чтобы замена не нарушила выполнение программы.
Упражнение не проходит проверку — что делать? 😶
Если вы зашли в тупик, то самое время задать вопрос в «Обсуждениях». Как правильно задать вопрос:
- Обязательно приложите вывод тестов, без него практически невозможно понять что не так, даже если вы покажете свой код. Программисты плохо исполняют код в голове, но по полученной ошибке почти всегда понятно, куда смотреть.
В моей среде код работает, а здесь нет 🤨
Тесты устроены таким образом, что они проверяют решение разными способами и на разных данных. Часто решение работает с одними входными данными, но не работает с другими. Чтобы разобраться с этим моментом, изучите вкладку «Тесты» и внимательно посмотрите на вывод ошибок, в котором есть подсказки.
Мой код отличается от решения учителя 🤔
Это нормально 🙆, в программировании одну задачу можно выполнить множеством способов. Если ваш код прошел проверку, то он соответствует условиям задачи.
В редких случаях бывает, что решение подогнано под тесты, но это видно сразу.
Прочитал урок — ничего не понятно 🙄
Создавать обучающие материалы, понятные для всех без исключения, довольно сложно. Мы очень стараемся, но всегда есть что улучшать. Если вы встретили материал, который вам непонятен, опишите проблему в «Обсуждениях». Идеально, если вы сформулируете непонятные моменты в виде вопросов. Обычно нам нужно несколько дней для внесения правок.
Кстати, вы тоже можете участвовать в улучшении курсов: внизу есть ссылка на исходный код уроков, который можно править прямо из браузера.
Ваше упражнение проверяется по этим тестам
1import * as ta from 'type-assertions';
2
3import form from './index';
4
5test('form', () => {
6 const nameValidator = form.name.validator;
7 const ageValidator = form.age.validator;
8
9 expect(nameValidator(form.name.value)).toBe(true);
10 expect(ageValidator(form.age.value)).toBe(false);
11
12 ta.assert<ta.Equal<Parameters<typeof nameValidator>, [string]>>();
13 ta.assert<ta.Equal<Parameters<typeof ageValidator>, [number]>>();
14});
15Решение учителя откроется через:
