اختبار الأنواع باستخدام expectTypeOf وtsd

مرحبًا

لماذا نختبر الأنواع؟

expectTypeOf من Vitest

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

npm install --save-dev tsd

تأكيدات tsd

import { expectType, expectError } from 'tsd';
import { add } from '../src';
expectType<number>(add(1, 2));
expectError(add('a', 'b'));

مكتبة expect-type

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

// package.json
{ "scripts": { "test:types": "tsd" } }

اختبارات الأنواع مقابل اختبارات وقت التشغيل

تحقق سريع

مراجعة