如何在 Typescript 类型检查期间抛出类型错误

Question

我有 2 种不应该相交的类型。有没有办法在他们这样做时制作类型检查器标志？理想情况下，我想纯粹在类型世界中执行此操作，而不声明任何冗余变量。

示例：

type A = 1 | 2 // Must be different from B
type B_OK = 3
type B_FAIL = 2 | 3

// What I want (pseudo Typescript)
type AssertDifferent<X,Y> = Extract<X,Y> extends never ? any : fail // Fail if the types intersect

// Expected result (pseudo Typescript)
AssertDifferent<A,B_OK> // TS is happy
AssertDifferent<A,B_FAIL> // Fails type check

Answer 1

最好的办法是让条件类型返回真或假，然后尝试将true 分配给结果。像这样：

type A = 1 | 2 // Must be different from B
type B_OK = 3
type B_FAIL = 2 | 3

type AssertTrue<T extends true> = T;

type IsDifferent<X,Y> = Extract<X,Y> extends never ? true : false

type result1 = AssertTrue<IsDifferent<A, B_OK>>; // OK
type result2 = AssertTrue<IsDifferent<A, B_FAIL>>; // Error

您可以在第二行使用 3.9 版中的新 @ts-expect-error comments 功能来强制始终抛出错误。