代码之家 › 专栏 › 技术社区 › Freewind thk

无法正确理解typescript中的“Exclude<t,U>`

types typescript

Freewind thk · 技术社区 · 6 年前

typescript中有类型定义:

type Exclude<T, U> = T extends U ? never : T;

我们可以使用它从另一个类型中排除一个类型:

type AB = 'a' | 'b'
type AC = 'a' | 'c'

type X = Exclude<AB, AC>

类型 X b 现在。

Exclude

type X = AB extends AC ? never : AC;

类型是不同的,不是 b 再也不是了 AC .

我不明白为什么会有不同的表现。

1 回复 | 直到 6 年前

tmarwen 4 年前

首先,如果你替换了内容, X 会是 type X = AB extends AC ? never : AB;

Exclude ,每个并集成员分别经历条件,结果被并集。所以呢 Exclude<AC, AB> 相当于:

type X = ('a' extends AC ? never : 'a') | ('b' extends AC ? never : 'b')

T 不在另一个类型(如元组、数组或另一个泛型类型的参数)中使用,这就是为什么在条件中直接使用该类型不会产生相同的结果。你可以读更多 here

推荐文章

Terio · Typescript:使用变量的值创建自定义类型

2 年前

Kareem Adel · 创建函数类型(TypeScript接口)

3 年前

supercarp · 我在R中的数据帧显示,它包含值,但为空,并且对于除第一行以外的所有行,is\u null返回TRUE

3 年前

Oleksandr · 在java中,不同的数据类型如何依赖于操作系统?

3 年前

chili83 · Typescript:可以在类的私有属性中使用构造函数属性吗?

3 年前

Troskyvs · 映射比较函数导致运行时“bad\u function\u call”

3 年前

MatÄj VondrÃ¡Äek · 如何在c#方法中传递类型?

3 年前

Dave · Haskell:将积分转换为浮点(或浮点)。混合浮点数和整数

7 年前

kreo · 为什么&[T]参数也接受&Vec?

7 年前

Jiji · 将简单对象强制转换为简单的通用接口

7 年前