Typescript的泛型别名Exclude<T，U>到底是如何工作的？

Typescript的泛型别名Exclude<T，U>用于从类型T中排除类型U。它的工作原理是通过在类型级别进行条件判断和过滤来实现。

具体来说，Exclude<T，U>接受两个类型参数T和U，并返回一个新的类型，该类型是从T中排除了U的部分。它遍历T的每个属性，并检查是否与U相同或兼容。如果是，则将该属性从返回的类型中排除。

这个泛型别名的应用场景很广泛。例如，当我们需要从一个联合类型中排除某些特定类型时，可以使用Exclude<T，U>。它可以帮助我们过滤掉不需要的类型，从而得到我们想要的结果。

在腾讯云的相关产品中，没有直接对应的产品与Exclude<T，U>相关。然而，腾讯云提供了丰富的云计算服务，如云服务器、云数据库、云存储等，可以满足各种开发需求。您可以访问腾讯云官网（https://cloud.tencent.com/）了解更多关于腾讯云的产品和服务。

相关·内容

浅谈TypeScript泛型T和any的区别

使用any 简单粗暴，任何类型都可以，但是失去了ts类型保护的优势。 2. 使用泛型不预先指定具体的类型，而是在使用的时候在指定类型限制的一种特性。...如果你去超市破零钱，那售货员给你的还是钱，类型相同，可以用泛型T>。...any就不用过多讲解使用方式，和其他类型一样，主要说说泛型的使用 1.在函数中使用 function echoT>(arg:T):T{ return arg } const result=echo...function swapT,U>(arg:[T,U]):[U,T]{ return [arg[],arg[]] } const result2=swap(['string',]) 和上面类似...3.在接口中使用 interface KeyPairT,U>{ key:T, value:U } let kp1:KeyPair={key:,value

2K12 10

【TS】251- TypeScript 3.5发布：速度提升、工具智能

type 检查加速 TypeScript 3.4 中的意外地引入了一个回退，它可能导致 type 检查器执行的工作量增加，并增加相应的 type 检查时间，这使得使用样式组件库的用户受到较大的影响。...编译器本身将使用此 Omit type 来表示通过泛型上的对象 rest 析构声明创建的 type。...as namespace foo; 泛型构造函数的高阶类型推导 TypeScript 3.5 中将对泛型构造函数的推导操作整合了起来： class BoxT> { kind: "box";...type 'Bag>' 除了上面的组合模式之外，这种对泛型构造函数的新推导意味着在某些 UI 库（如 React）中对类组件进行操作的函数可以更正确地对泛型类组件进行操作。...此外，该功能是跨平台的，可供任何可以正确访问 TypeScript 语言服务器的编辑器使用。将 type 导出到本地 type 别名

8653 0

类型即正义，TypeScript 从入门到实践（四）：5000字长文带你重新认识泛型

上面的泛型调用时，T 接受的类型可以是任意类型，比如对象、函数等类型，不仅仅限于 string 、 number 等泛型，再回顾我们在上面用了很多的笔墨来试图将泛型和 “类型的函数” 划上等号，目的是为了让你理解泛型它工作的一个本来面貌...类型别名泛型因为在很多场景下，类型别名和接口充当类似的角色，所以在了解完接口泛型之后，我们有必要来了解学习一下类型别名如何结合泛型使用，和接口类似，将上面的接口泛型 Profile 用类型别名重写如下...重申：没有补全的 TypeScript 代码是没有生命的！那么我们如何让在既使用泛型的同时，还能获得代码补全了？答案相信你也猜到了，那就是我们这一节要讲的泛型约束。... 表示调用类型别名泛型生成一个 age 为 string 的新类型别名，然后通过 U extends ......深入实践，注解构造函数在了解泛型的基础知识，并且结合函数、接口、类型别名和类进行结合使用之后，相信你对如何使用泛型已经有了一点经验了。而了解了泛型，你就可以开始尝试深入 TS 类型编程的世界了！

1.7K2 0

类型体操：探究 TypeScript 内置高级类型

引入了泛型，让类型也能成为参数了。...鉴于 JavaScript 太灵活，TypeScript 实现的是结构类型系统，我们又觉得泛型的简单推到 T 的粒度还是不够细，我们希望能够获取 T 内部的结构。...于是，TypeScript 在泛型的基础上，又提供了类型编程，通过一些语法，我们可以拿到 T 下更细粒度的类型，或通过判断拿到其他类型。这个也被大家戏称为类型体操。...总结一下，从类型能力上的增强的过程来说，就是：基本类型 -> 泛型 -> 类型编程（类型体操） TypeScript 内置高级类型 TS 代码版本为 4.8.2 下面我们来看一下 TypeScript...实现如下： /** * Exclude from T those types that are assignable to U */ type ExcludeT, U> = T extends U

8691 0

TypeScript基础知识

类型别名：不仅可以为对象指定类型，实际上可以为任意类型指定别名。但是不能合并声明。泛型泛型是可以保证类型安全的前提下，让函数等与多种类型一起工作，从而实现复用，常用于：函数、接口、类中。...function idT, U>(arg: [T, U]): [T, U] { return arg; } console.log(id(['甜甜', 18])); typescript会自动给我们推断出输入...泛型约束如图，因为泛型T不一定包含属性length，所以当我们内部使用泛型变量的时候，不知道它是那种类型，所以不能操作它的属性和方法。...泛型接口我们可以在定义接口的时候指定泛型。在接口名称的后面添加，那么这个接口就变成了泛型接口。...Exclude ExcludeT, U> 的作用是将某个类型中属于另一个的类型移除掉,剩余的属性构成新的类型。

2.2K2 0

TypeScript中的高级类型工具类型及关键字

本文主要帮助理解 TypeScript 中的高级类型及工具类型。在实际使用 TypeScript 的开发过程中，得益于这些高级类型于工具类型，我们可以更方便的构建出我们需要的类型。...一、高级类型泛型泛型可以理解为一个变量，这个变量的值是一个类型。和函数的参数一样。...声明一个别名来代指当前类型，它是别名，不是一个新的类型。...ExcludeT, K> 去除 T 类型中于K类型包含的相同属性，使用剩余属性构造一个新类型 // type ExcludeT, U> = T extends U ?...T 的处理过程中的某个部分抽离出来当做类型变量 type UnpackedT> = T extends (infer U)[] ?

2.1K3 0

聊聊TypeScript类型声明那些最佳实践

而使用联合类型，我们可以声明一个类型可以是许多类型之一的组合，比如： type IWeather = 'sunny' | 'cloudy' | 'snowy' 泛型泛型是一个比较晦涩概念，但它非常重要...，不同于联合类型，泛型的使用更加灵活，可以为类型提供变量。...举个常见的例子： type myArray = Array // 没有泛型约束的数组可以包含任何类型 // 通过泛型约束的数组只能包含指定的类型 type StringArray = ArrayT> 从类型T中挑选的部分属性K Pick ExcludeT, U extends keyof T> 从类型...T中移除部分属性U Exclude NonNullableT> 从属性T中移除null和undefined NonNullable

1.6K2 0

掌握 TypeScript：20 个提高代码质量的最佳实践

这意味着，如果你声明一个变量为字符串类型，TypeScript 将确保分配给该变量的值确实是字符串而不是数字，例如。这有助于您及早发现错误，并确保您的代码按照预期工作。...最佳实践16：使用泛型泛型是 TypeScript 的一个强大特性，可以让你编写可以与任何类型一起使用的代码，从而使其更具有可重用性。...泛型允许你编写一个单独的函数、类或接口，可以与多种类型一起使用，而不必为每种类型编写单独的实现。...，满足特定条件： type PickPropertiesT, U> = { [K in keyof T]: T[K] extends U ?...文章中还介绍了一些如何使用 TypeScript 的高级特性的最佳实践，例如使用类型别名和枚举，以提高代码的可读性和可维护性。此外，该文章还强调了如何使用可选链操作符来避免一些运行时错误。

4.2K3 0

TypeScript 强大的类型别名

原理是令T'和U'分别为T和 U 的实例，并将所有类型参数替换为any，如果T'能赋值给 U'，则将有条件的类型解析成 X，否则为Y。...源码的实现： // node_modules/typescript/lib/lib.es5.d.ts type ExcludeT, U> = T extends U ?...Extract Extract 的作用是提取出 T 包含在 U 中的元素，换种更加贴近语义的说法就是从 T 中提取出 U，源码如下： // node_modules/typescript/lib/lib.es5...Exclude 就可以组合出来 Omit，用来忽略对象某些属性功能： type OmitT, K> = PickT, ExcludeT, K>>; // 使用 type Foo =...参考 TypeScript 中文网 TS 中的内置类型简述 TypeScript 一些你可能不知道的工具泛型的使用及其实现

3.4K2 0

【TS】1294- 搞懂 TypeScript 中的映射类型（Mapped Types）

Partial工具类型非常简单的实现将指定类型的所有属性转换为可选类型，那其内容原理又是如何？...我们可以在编辑器中，将鼠标悬停在 Partial名称上面，可以看到编辑器提示如下： image.png 拆解一下其中每个部分： type PartialT>：定义一个类型别名 Partial和泛型...T； keyof T：通过 keyof操作符获取泛型 T中所有 key，返回一个联合类型（如果不清楚什么是联合类型，可以理解为一个数组）； type User = { name: string;...in，用来遍历目标类型的公开属性名； T[P]：是个索引访问类型（也称查找类型），获取泛型 T中 P类型，类似 JS 中的访问对象的方式； ?...Exclude 从联合类型中排除指定类型用来从指定的联合类型中排除指定类型。实现如下： type ExcludeT, U> = T extends U ?

2.4K1 0

TypeScript小笔记

其实extends关键字表示约束的时候，就是表示要求泛型上必须实现(包含)约束的属性。...{ length: number } // 表示传入的泛型T接受Lengthwise的约束 // T必须实现Lengthwise 换句话说 Lengthwise这个类型是完全可以赋给T function...P : never; 复制代码 ExcludeT,U> Exclude是进行排除联合类型中的一部分内容，相对于下面的Omit操作符来说Omit是针对于key&value/接口形式的，而Exclude是针对于联合类型来操作的...ExcludeT, U> = T extends U ?...never : T 传入两个泛型我们这里用 typeof a 也就是 string | number 去代表 T 用 string 属性去代表第二个泛型 U T extends U 就判断是否string

1.1K2 0

《现代Typescript高级教程》泛型和类型体操

现代JavaScript高级小册深入浅出Dart 现代TypeScript高级小册泛型和类型体操泛型和类型体操（Type Gymnastics）是 TypeScript 中高级类型系统的重要组成部分...以下是一些常见的官方内置泛型函数： PartialT> PartialT> 是 TypeScript 中的一个内置泛型类型，它可以将给定类型 T 中的所有属性转换为可选属性。...我们还可以结合泛型和内置泛型函数来实现更复杂的类型操作。以下是一个示例，展示了如何使用 Pick 和泛型来创建一个函数，该函数从给定对象中选择指定属性，并返回一个新的对象。...这个例子结合了泛型、内置泛型函数 Pick、keyof 操作符和 extends 关键字，展示了如何在 TypeScript 中处理复杂的类型操作和转换。...ExcludeT, U> ExcludeT, U> 是 TypeScript 中的一个内置泛型函数，用于从类型 T 中排除类型 U。

3793 0

深入浅出 TypeScript

pop() { this.arr.pop() } } 泛型约束我们可以用 T extends xx> 的方式约束泛型。...extends keyof T>，我们用「索引类型」 keyof T 把传入的对象的属性类型取出生成一个「联合类型」，这里的泛型 U 被约束在这个「联合类型」中。...: T; left: TreeT>; right: TreeT>; } 如何区分类型别名和接口？...keyof，即索引类型查询操作符，我们可以用 keyof作用于泛型 T 上来获取泛型 T 上的所有 public属性名构成联合类型。...never : T; type TT = Exclude; // 2 Exclude 的作用是从T中排除出「可分配」给U的元素。

2.9K3 0

TypeScript的另一面：类型编程

1.7K2 0

通过三个实例掌握如何使用 TypeScript 泛型创建可重用的 React 组件

市面上已经有很多关于 TypeScript 泛型的文章和教程，所以本文将聚焦于如何在 React 组件中使用泛型，让你的组件变得更加灵活和可重用。...一、利用 TypeScript 泛型创建简单的可重用 React 组件创建一个简单的泛型 React 组件首先，我们来创建一个泛型 React 组件，它可以接受任何类型的数据并通过一个渲染函数将数据展示出来...// 定义一个泛型类型的 props type PropsT> = { data: T render: (data: T) => React.ReactNode } // 创建一个泛型 React...使用泛型组件渲染任务列表最后，我们来看看如何用泛型组件渲染一个任务列表。...通过使用泛型，你可以创建适用于任何数据类型的组件，这在处理各种数据类型的实际应用中尤为有用。希望这篇文章能让你更好地理解如何在 React 组件中使用泛型，并让你的组件变得更加灵活和可重用。

2611 0

速查手册 - TypeScript 高级类型 cheat sheet

附中文文档，有人做了专门的读书笔记 Typescript学习记录：高级类型 TypeScript: Built-in generic types：推荐，用案例详细解释高阶类型的使用； TS 一些工具泛型的使用及其实现...：TS 内置工具泛型高阶使用 TypeScript 2.1 新特性一览：查找/映射类型及 any 类型的推断都是在 2.1 版本引入的 TypeScript 2.8：Exclude 等条件类型是在 2.8...版本引入的，附中文 TypeScript 2.8 引入条件类型 lib.es2015.d.ts：大部分的声明在这个文件中可以找到 TypeScript 强大的类型别名：行文结构比较合理，也比较完善，可以当手册来查...U 的类型，换言之就是从T 中排除 U 源码： type ExcludeT, U> = T extends U ?...操作实现源码： type OverwriteT, U> = { [P in ExcludeT, keyof U>]: T[P] } & U; 示例： type Item1 = {

1.3K1 0

TypeScript进阶之重难点梳理

但是注意，「泛型不能应用于类的静态成员」几个简单的例子，先感受下泛型 function logT>(value: T): T { console.log(value); return...，其实就是泛型的一些语法糖的实现。...keyof T> = { [P in K]: T[P]; }; Exclude Exclude 将某个类型中属于另一个的类型移除掉。.../** * Exclude from T those types that are assignable to U */ type ExcludeT, U> = T extends U ?...我之前在公众号里面发表过两篇关于TS在实战项目中的介绍：如何用 Decorator 装饰你的 Typescript？

3.9K2 0

TS 进阶 - 类型系统

、意义、允许的值的集合，即访问限制与赋值限制在 TypeScript 中即原始类型、对象类型、函数类型、字面量类型等基础类型，以及类型别名、联合类型等经过类型编程后得到的类型类型系统一组为变量...条件类型绝大部分场景下会和泛型一起使用，泛型参数实际类型会在实际调用时才会被填充，而条件类型在这基础上，可以基于填充后的泛型参数做进一步的类型操作： type LiteralTypeT> = T extends...// 因为两个参数都引用了泛型参数 T，因此泛型会被填充为一个联合类型 universalAdd(1, 2); // T 填充为 1 | 2 universalAdd('Cell', '2022');...：类型参数需要是一个联合类型类型参数需要通过泛型参数的方式传入，不能直接进行条件类型判断条件类型中的泛型参数不能被包裹条件类型分布式特性的作用：将联合类型拆开，每个分支分别进行一次条件类型判断...T : never; type ExcludeT, U> = T extends U ?

1.2K5 0

TS 从 0 到 1 - 泛型进阶

# 泛型设计泛型是为了在成员之间提供有意义的约束，这些成员可以是：类的实例成员、类的方法、函数参数和函数返回值。...除了 T 之外，还有一些常见泛型变量： K - 表示对象的键类型 V - 表示对象的值类型 E - 表示元素类型也可以引入多个类型变量： function identity T, U> (value...", completed: false, }; # Exclude ExcludeT, U> 用于将某个类型中属于另一个的类型移除掉。...定义 // 如果 T 能赋值给 U，那么就会返回 never 类型，否则返回 T 类型 // 最终实现的效果就是将 T 中某些属于 U 的类型移除掉 type ExcludeT, U> = T extends...; // void type T2 = ReturnTypeT>() => T>; // {} # 使用泛型创建对象 # 构造签名有时，泛型类需要基于传入的泛型 T 来创建其类型相关的对象。

7352 0

一文看懂TypeScript工具类型

true 这个例子很简单，identity 函数接受一个名称为 T 泛型（名称可以随便写），函数参数的类型也是泛型 T ，返回值也是 T。...在泛型类型声明的时候泛型可以是多个，可以给默认值，有默认值的泛型参数是可选泛型参数，可选泛型参数需要放在泛型定义的后端。...U的默认值是T也就是boolean 泛型约束泛型约束是在泛型的类型参数上定义一个约束条件，从而限制了泛型实际类型的最大范围，这个类型参数的约束条件就是泛型约束，语法采用了 extends 关键字，类似于类的继承.../ Error 循环引用泛型类型别名泛型除了用在函数上还可以用在类和类型别名上。...在工具类型中，泛型大量应用与类型别名上，看两个例子： type NullableT> = T | undefined | null; type ContainerT> = { value: T };

2711 0

点击加载更多

扫码

添加站长进交流群

领取专属 10元无门槛券

手把手带您无忧上云