TypeScript Academy · Урок

Проверка типов с помощью expectTypeOf и tsd

Проверяйте корректность типов наряду с поведением во время выполнения

Урок 4 из 413 шагов

«Проверка типов с помощью expectTypeOf и tsd» — бесплатный урок TypeScript Academy на CoddyKit. Это урок 4 из 4. Ты можешь прочитать весь урок бесплатно ниже — а потом практиковать его прямо в браузере с встроенным редактором кода и ИИ-репетитором 24/7. Это часть пути обучения TypeScript Academy, и твой прогресс синхронизируется между веб-версией и приложением CoddyKit. Курс TypeScript Academy содержит 4 уроков всего.

Добро пожаловать

Проверка самих типов, а не только поведения во время выполнения, гарантирует корректную работу утилит TypeScript и обобщённых типов.

Зачем проверять типы

В обобщённых утилитах и условных типах могут быть ошибки, влияющие только на определённые аргументы типов. Тесты типов обнаруживают их.

expectTypeOf из Vitest

Vitest предоставляет expectTypeOf для проверок типов во время компиляции.
import { expectTypeOf } from 'vitest';
expectTypeOf(42).toBeNumber();
expectTypeOf('hello').toBeString();

Проверка возвращаемых типов

Проверьте возвращаемый тип функции.
import { identity } from '../src/utils';
expectTypeOf(identity(42)).toEqualTypeOf<number>();
expectTypeOf(identity('hi')).toEqualTypeOf<string>();

Библиотека tsd

tsd — это инструмент CLI для проверки типов в файлах объявлений TypeScript.
npm install --save-dev tsd

Проверки tsd

Пишите файлы .test-d.ts с проверками tsd.
import { expectType, expectError } from 'tsd';
import { add } from '../src';
expectType<number>(add(1, 2));
expectError(add('a', 'b'));

Библиотека expect-type

Библиотека expect-type предоставляет совместимые с Jest проверки типов.
import { expectTypeOf } from 'expect-type';
expectTypeOf<User>().toHaveProperty('name').toBeString();

Проверка условных типов

Проверьте, что условные типы создают правильный результат для разных входных данных.
type IsArray<T> = T extends any[] ? true : false;
expectTypeOf<IsArray<string[]>>().toEqualTypeOf<true>();
expectTypeOf<IsArray<string>>().toEqualTypeOf<false>();

Проверка отображаемых типов

Убедитесь, что утилиты отображаемых типов создают правильные структуры.
type Mutable = { -readonly [K in keyof ReadonlyUser]: ReadonlyUser[K] };
expectTypeOf<Mutable['name']>().toBeString();
expectTypeOf<Mutable>().not.toMatchTypeOf<Readonly<Mutable>>();

Запуск tsd в CI

Добавьте tsd в конвейер CI, чтобы обнаруживать регрессии типов.
// package.json
{ "scripts": { "test:types": "tsd" } }

Тесты типов и тесты выполнения

Тесты типов выполняются во время компиляции, не требуя ресурсов во время выполнения. Тесты выполнения проверяют поведение. Необходимы оба вида тестов.

Быстрая проверка

Что проверяет `expectTypeOf(add(1, 2)).toEqualTypeOf()`?

Итоги

Проверка типов с помощью expectTypeOf и tsd: вы освоили основные понятия и шаблоны.
Можно начать бесплатно

Изучай TypeScript с ИИ-репетитором — бесплатно

Пиши и запускай код прямо в браузере, получай мгновенную помощь от ИИ-репетитора 24/7 и продолжи учиться на сайте или в приложении.

Курсы
101
Уроки
352

Часто задаваемые вопросы

Урок «Проверка типов с помощью expectTypeOf и tsd» бесплатный?

Да — полный текст урока «Проверка типов с помощью expectTypeOf и tsd» бесплатно доступен здесь в веб-версии. Чтобы практиковать его интерактивно (встроенный редактор кода и ИИ-репетитор 24/7) и разблокировать остальной курс TypeScript Academy, подпишись на CoddyKit PRO. Курс TypeScript Academy содержит 4 уроков всего.

Чему я научусь в уроке «Проверка типов с помощью expectTypeOf и tsd»?

Проверяйте корректность типов наряду с поведением во время выполнения Ты практикуешь TypeScript Academy с помощью реального кода, который запускаешь прямо в браузере, и ИИ-репетитор 24/7 отвечает на твои вопросы во время урока.

Нужен ли мне опыт, чтобы начать TypeScript Academy?

Предыдущий опыт не требуется. TypeScript Academy на CoddyKit структурирован для всех уровней — от новичков до продвинутых, поэтому ты можешь начать отсюда или с самого начала и учиться в своем темпе. Это урок 4 из 4.

Сколько времени занимает урок «Проверка типов с помощью expectTypeOf и tsd»?

Большинство уроков CoddyKit занимают около 5–10 минут. Каждый из них компактный и интерактивный, поэтому ты постоянно делаешь прогресс и продолжаешь с того же места в веб-версии и приложении.

Можно ли писать и запускать код в этом уроке TypeScript Academy?

Да. Каждый урок TypeScript Academy включает встроенный редактор кода, поэтому ты пишешь и запускаешь реальный код прямо в браузере и получаешь моментальную обратную связь от AI — локальная установка не требуется.

Все уроки этого курса

  1. Настройка Jest для TypeScript с ts-jest
  2. Написание типобезопасных модульных тестов
  3. Имитация модулей и функций в TypeScript
  4. Проверка типов с помощью expectTypeOf и tsd
← Назад к TypeScript Academy