В этом уроке мы разберем присвоение одного значения другому. Это одна из базовых операций с переменными в большинстве языков. Самая частая ошибка, с которой вы столкнетесь в 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
Команда проекта находится в телеграм-сообществе по ссылке https://ttttt.me/HexletLearningBot. Там можно задать любой вопрос и повлиять на проект
Если вы зашли в тупик, то самое время поговорить с нашим асситентом Тота во вкладке "Обсуждение". Как правильно задать вопрос:
Тесты устроены таким образом, что они проверяют решение разными способами и на разных данных. Часто решение работает с одними входными данными, но не работает с другими. Чтобы разобраться с этим моментом, изучите вкладку «Тесты» и внимательно посмотрите на вывод ошибок, в котором есть подсказки.
Это нормально 🙆, в программировании одну задачу можно выполнить множеством способов. Если ваш код прошел проверку, то он соответствует условиям задачи. В редких случаях бывает, что решение подогнано под тесты, но это видно сразу.
Создавать обучающие материалы, понятные для всех без исключения, довольно сложно. Мы очень стараемся, но всегда есть что улучшать. Если вы встретили материал, который вам непонятен, опишите проблему в обратной связи нашего сообщества
Привет! Я Тота и моя задача помочь в обучении. Чтобы активировать меня, нужно зарегистрироваться или залогиниться, если у вас уже есть аккаунт
Ваше упражнение проверяется по этим тестам
1import * as ta from 'type-assertions';
2import { expect, test } from 'vitest';
3
4import form from './index';
5
6test('form', () => {
7 const nameValidator = form.name.validator;
8 const ageValidator = form.age.validator;
9
10 expect(nameValidator(form.name.value)).toBe(true);
11 expect(ageValidator(form.age.value)).toBe(false);
12
13 ta.assert<ta.Equal<Parameters<typeof nameValidator>, [string]>>();
14 ta.assert<ta.Equal<Parameters<typeof ageValidator>, [number]>>();
15});
16
Решение учителя откроется через: