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)
совокупность правил, на основе которых при анализе типа данных принимается решение о возможности заменить один тип данных другим таким образом, чтобы замена не нарушила выполнение программы.
Как с вами связаться? 🙃

Команда проекта находится в телеграм-сообществе по ссылке https://ttttt.me/HexletLearningBot. Там можно задать любой вопрос и повлиять на проект

Упражнение не проходит проверку — что делать? 😶

Если вы зашли в тупик, то самое время поговорить с нашим асситентом Тота во вкладке "Обсуждение". Как правильно задать вопрос:

В моей среде код работает, а здесь нет 🤨

Тесты устроены таким образом, что они проверяют решение разными способами и на разных данных. Часто решение работает с одними входными данными, но не работает с другими. Чтобы разобраться с этим моментом, изучите вкладку «Тесты» и внимательно посмотрите на вывод ошибок, в котором есть подсказки.

Мой код отличается от решения учителя 🤔

Это нормально 🙆, в программировании одну задачу можно выполнить множеством способов. Если ваш код прошел проверку, то он соответствует условиям задачи. В редких случаях бывает, что решение подогнано под тесты, но это видно сразу.

Прочитал урок — ничего не понятно 🙄

Создавать обучающие материалы, понятные для всех без исключения, довольно сложно. Мы очень стараемся, но всегда есть что улучшать. Если вы встретили материал, который вам непонятен, опишите проблему в обратной связи нашего сообщества

Нашли ошибку? Есть что добавить? Пулреквесты приветствуются

Привет! Я Тота и моя задача помочь в обучении. Чтобы активировать меня, нужно зарегистрироваться или залогиниться, если у вас уже есть аккаунт

Loading...

Ваше упражнение проверяется по этим тестам

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

Решение учителя откроется через:

20:00
waiting_clock