开发者社区

文档建议反馈控制台

最新优惠活动

文章/答案/技术大牛

发布

TypeScript Exclude<UnionOfTypes，Interface>类型为"never“

TypeScript中的Exclude<UnionOfTypes, Interface>类型为"never"表示在给定的联合类型中排除满足指定接口的类型后，剩余的类型为空，即不存在满足指定接口的类型。

Exclude<UnionOfTypes, Interface>是TypeScript中的内置工具类型之一，用于从联合类型中排除满足指定条件的类型。它接受两个参数：UnionOfTypes表示要操作的联合类型，Interface表示要排除的接口类型。

当使用Exclude<UnionOfTypes, Interface>时，TypeScript会遍历联合类型UnionOfTypes中的每个成员类型，如果某个成员类型满足指定接口Interface，则该成员类型将被排除在结果类型之外。如果所有成员类型都满足指定接口，那么结果类型将为"never"。

这个类型的主要应用场景是在泛型中进行类型过滤或条件类型的操作。通过使用Exclude<UnionOfTypes, Interface>，我们可以排除不需要的类型，从而更精确地定义泛型的行为。

腾讯云相关产品和产品介绍链接地址：

相关搜索:Autofac -注册以interface为参数的实例类型 MongoDB Typescript错误“类型'ObjectId‘不可分配给类型'never’React TypeScript:参数不能赋值给'never‘类型的参数 React TypeScript:类型“”string[]“”不可分配给类型“”never[]“”React typescript：'number‘类型的参数不能赋值给'never’类型的参数 TypeScript Exclude<UnionOfTypes，UnionOfTypes>类型为“never”Typescript typeguard boolean结果为never Typescript ` type`中缺少`Property，但类型为‘`never`’typescript:类型“”never“”上不存在属性“”label“”TypeScript假定合并的接口的类型为never

相关搜索:

页面内容是否对你有帮助？

有帮助

没帮助

相关·内容

TypeScript never 类型

了解完底部类型的概念后，下面我们开始来介绍 TypeScript 中对应的底部类型 —— never 类型。...二、never 类型在 TypeScript 中，never 类型表示的是那些永不存在的值的类型。...下面我们来介绍一下 TypeScript 中 never 类型的应用场景。...在 TypeScript 中这些函数的返回类型被推断为 void。具有 never 返回类型的函数永不返回。它也不返回 undefined。...never 类型为底部类型，也称为零类型或空类型。它通常表示为⊥，表示计算未将结果返回给调用方。void 类型，在另一方面，是一个单元类型（类型，它允许只有一个值），没有定义的操作。

4.1K1 0

TypeScript-never和object类型、类型断言概述

前言TypeScript 中的 "never" 类型表示一个永远不会发生正常结束的函数返回值类型，通常在异常处理或无限循环中使用。这有助于标识代码中的潜在问题和错误流程。"...never" 用于处理异常情况，而 "object" 用于通用的对象表示。正确使用它们有助于提高代码的可读性和类型安全性。...Never 类型表示的是那些永不存在的值的类型一般用于抛出异常或根本不可能有返回值的函数抛出异常function demo(): never { throw new Error("报错了");}demo...();不可能有返回值的函数function demo(): never { while (true) { }}demo();Object 类型表示一个对象let obj: object;//...会报错// obj = 123;obj = {name: "BNTang", age: 18};console.log(obj);类型断言概述TS 中的类型断言和其它编程语言的类型转换很像，可以将一种类型强制转换成另外一种类型类型断言就是告诉编译器

1902 0

TypeScript 开启严格模式降低代码错误范例巧用never类型

在tsconfig.json中添加strict模式代码范例

1.4K3 0

【TypeScript 演化史 — 第三章】标记联合类型与 never 类型

，咱们可以创建一个 TypeScript 接口 interface Cash { kind: "cash"; } interface PayPal { kind: "paypal", email...never 类型 TypeScript 2.0 引入了一个新原始类型 never。never 类型表示值的类型从不出现。...在这种情况下，TypeScript 推断出 never 类型，因为咱们已经将 value 参数注解为类型为 string | number，也就是说，除了string 或 number, value 参数不可能有其他类型...never 和 void 之间的区别你可能会问，为什么 TypeScript 已经有一个 void 类型为啥还需要 never 类型。...这样的函数在 TypeScript 中被推断为有一个 void 返回类型。具有 never 返回类型的函数永不返回。它也不返回 undefined。

1K2 0

typescript 高级技巧

以下是我在工作中总结到的比较实用的 typescript 技巧。 01 keyof keyof 与 Object.keys 略有相似，只不过 keyof 取 interface 的键。...& Exclude & Omit 官方文档对 never 的描述如下 the never type represents the type of values that never occur....结合 never 与 conditional type 可以推出很多有意思而且实用的类型，比如 Omit type Exclude = T extends U ?...never : T; // 相当于: type A = 'a' type A = Exclude 结合 Exclude 可以推出 Omit 的写法...type Omit = Pick>; interface User { id: number;

1.2K4 0

typescript 高级技巧

以下是我在工作中总结到的比较实用的 typescript 技巧。 01 keyof keyof 与 Object.keys 略有相似，只不过 keyof 取 interface 的键。...& Exclude & Omit 官方文档对 never 的描述如下 the never type represents the type of values that never occur....结合 never 与 conditional type 可以推出很多有意思而且实用的类型，比如 Omit type Exclude = T extends U ?...never : T; // 相当于: type A = 'a'type A = Exclude 结合 Exclude 可以推出 Omit 的写法...type Omit = Pick>; interface User { id: number; age:

1.1K2 0

typescript进阶常见的typescript高级技巧

Exclude & Omit 官方文档对 never 的描述如下 the never type represents the type of values that never occur....结合 never 与 conditional type 可以推出很多有意思而且实用的类型，比如 Omit type Exclude<T, U> = T extends U ?...never : T; // 相当于: type A = 'a' type A = Exclude<'x' | 'a', 'x' | 'y' | 'z'> 结合 Exclude 可以推出 Omit...的写法 type Omit<T, K extends keyof any> = Pick<T, Exclude>; interface User { id: number;...或者编辑 .vs-code/settings.json { "typescript.tsdk": "node_modules/typescript/lib" } 11 Typescript Roadmap

1.3K3 0

TypeScript 强大的类型别名

，而 d 不能赋值给 Words 类型，所以 WD 为 false。...' | 'b' | 'c', Person>; // -> { a: Person; b: Person; c: Person; } Exclude Exclude 将某个类型中属于另一个的类型移除掉...源码的实现： // node_modules/typescript/lib/lib.es5.d.ts type Exclude = T extends U ?...never : T; 以上语句的意思就是如果 T 能赋值给 U 类型的话，那么就会返回 never 类型，否则返回 T，最终结果是将 T 中的某些属于 U 的类型移除掉，举个例子： type T00...// node_modules/typescript/lib/lib.es5.d.ts interface ThisType { } 可以看到声明中只有一个接口，没有任何的实现，说明这个类型是在

3.3K2 0

TypeScript-Exclude

在 TypeScript 中，Exclude 是一个高级类型，属于“类型实用工具”（type utilities）。Exclude 类型用于从联合类型中排除某些类型，只留下不在排除列表中的类型。...基本语法 Exclude 类型的语法如下： type Exclude = T extends U ? never : T; 这里，T 是要操作的类型，U 是要排除的类型。...如果 T 可以赋值给 U，则结果为 never；否则，结果为 T。使用场景 1....注意事项 • Exclude 只能用于联合类型和基本类型之间的操作。如果尝试排除复杂类型（如类类型或接口类型），TypeScript 将报错。...• Exclude 是一个有条件的类型，这意味着它的结果取决于类型检查的结果。如果 T 可以赋值给 U，则结果为 never；否则，结果为 T。

791 0

TS 从 0 到 1 - 泛型进阶

# 确保属性存在有时，希望类型变量对应的类型上存在某些属性，除非显式地将特定属性定义为类型变量，否自编译器不会知道这些属性是否存在。...如，never 类型是那些总是会抛出异常或根本就不会有返回值的函数表达式或箭头表达式的返回值类型。没有类型是 never 的子类型或可以赋值给 never 类型（除了 never 本身）。...", completed: false, }; # Exclude Exclude 用于将某个类型中属于另一个的类型移除掉。...定义 // 如果 T 能赋值给 U，那么就会返回 never 类型，否则返回 T 类型 // 最终实现的效果就是将 T 中某些属于 U 的类型移除掉 type Exclude = T extends...never : T; 示例 type T0 = Exclude; // "b" | "c" type T1 = Exclude<"a" | "b" | "

7012 0

TypeScript 类型体操：合并映射类型的处理结果为联合类型

索引类型是 TypeScript 中的常见类型，它是聚合多个元素的类型，对象、类、元组等都是索引类型。...它可以对索引类型的索引和值做一些变换，然后产生新的索引类型。...： TypeScript 也内置了很多基于映射类型实现的工具类型，比如 Partial、Required 等。...${DFS}` : Key : never }[keyof Obj]; 这里因为 Key 默认推导出来的不是 string，所以加一层 Key extends...总结索引类型是 TypeScript 中的常见类型，可以通过映射类型的语法来对它做一些修改，生成新的索引类型。

1.6K4 0

typescript 入门-工具类型

type 类型别名 // 为某类型指定别名 type Name = string type Age = number type Man = { name: Name age: Age } const...Record 定义 K 为键， T 为值的映射类型 type keys = 'name' | 'job' | 'age' type Man = Record const... 联合类型取 K，T 的差集 interface A{ name: string color: string } interface B{ name: string, width...T1 = NonNullable // never type T2 = NonNullable // never type T3 = NonNullable<never...typescript 的 Utility Types, 你真的懂吗? typescript的infer关键字

4711 0

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

：TS 内置工具泛型高阶使用 TypeScript 2.1 新特性一览：查找/映射类型及 any 类型的推断都是在 2.1 版本引入的 TypeScript 2.8：Exclude 等条件类型是在 2.8...X : Y 表示，如果 T 可以赋值给 U （类型兼容），则返回 X，否则返回 Y； 1.3、使用 `keyof` 和 `in` keyof 可以用来取得一个对象接口的所有 key 值： interface...3.1、Exclude（官方）某些地方也称为 Diff 作用：从 T 中剔除可以赋值给 U 的类型，换言之就是从T 中排除 U 源码： type Exclude = T extends...X : Y) 示例： type T = Exclude // -> 2 参考文档： Add support for literal type subtraction TypeScript...源码： // node_modules/typescript/lib/lib.es5.d.ts interface ThisType { } 解释：可以看到声明中只有一个接口，没有任何的实现

1.3K1 0

TypeScript进阶之重难点梳理

name: string // 错误，`name`的类型与索引类型返回值的类型不匹配 } 当然，我们也可以将索引签名设置为只读，这样就可以防止给索引赋值 interface ReadonlyStringArray...例如，基类型中键a为string，在扩展出的类型中无法将其改为number。...索引签名参数类型必须为 "string" 或 "number" interface Map { [key: string]: T; } //T[U]是索引访问操作符;U是一个属性名称。...Exclude 将某个类型中属于另一个的类型移除掉。...never : T; 以上语句的意思就是如果 T 能赋值给 U 类型的话，那么就会返回 never 类型，否则返回 T，最终结果是将 T 中的某些属于 U 的类型移除掉举个栗子： type T00

3.8K2 0

Typescript中的复杂类型声明

Typescript为javascript加入了众多类型声明语法，灵活使用可使代码变得健壮，不严谨的类型声明会带来后期的维护麻烦。...本篇假设读者已经学会ts的基础类型声明语法，包括type、interface、extends和泛型，在此基础上，聊一聊一些更加复杂的类型声明场景以及解决办法。...另一个我们需要用到的例子是条件类型Exclude，它的源码就位于Readonly的下方不远处（你可能需要将ts升级到2.8以上才能看到），源代码如下： /** * Exclude from T those...never : T; 使用时，Exclude需要填入两个泛型类，当T继承自U的时候，结果等于never类型，当T和U不相关时，结果等于T类型。...TypeScript does code flow analysis (

7.1K5 0

TypeScript 疑难杂症

/Microsoft/TypeScript/issues/14094#issuecomment-373782604 type Without = { [P in Exclude<keyof...://stackoverflow.com/questions/42123407/does-typescript-support-mutually-exclusive-types interface Person...限制传入对象必须包含某些字段用于给某个处理特定对象的函数来限制传入参数，尤其是当对象的某些字段是可选项的时候，比如说： test函数接受的参数类型为： interface Param { key1...P : never type Test = PromiseInnerType> // Test 的类型为 string 其实上面就是 infer的通常用途。...Prettify> : never type Test = InjectTypes // Test 的类型为 { user

1.9K1 0

TypeScript 官方手册翻译计划【十】：类型操控-映射类型

因为我也是 TypeScript 的初学者，所以无法保证翻译百分之百准确，若有错误，欢迎评论区指出；翻译内容：暂定翻译内容为 TypeScript Handbook，后续有空会补充翻译文档的其它部分；...索引签名用于为那些没有提前声明的属性去声明类型，而映射类型是基于索引签名的语法构建的。...never 类型，从而过滤掉某些键： // 移除 kind 属性 type Exclude = T extends U ?...never : T type RemoveKindField = { [Property in keyof Type as Exclude]: Type...举个例子，下面是一个使用了条件类型的映射类型，根据对象是否有一个设置为字面量 true 的属性 pii，它会返回 true 或者 false： type ExtractPII = {

7625 0

深入浅出 TypeScript

never 类型表示的是那些永不存在的值的类型，never类型是任何类型的子类型，也可以赋值给任何类型；然而，没有类型是 never的子类型或可以赋值给 never类型（除了never本身之外）。...「TypeScript 的函数重载」：为同一个函数提供「多个函数类型定义」来进行函数重载，目的是重载的函数在调用的时候会进行「正确的类型检查」。...可以理解为对象的大括号取值。如果value为never，则不返回任何类型；如果不是never，则直接返回。...: T[P] }; Exclude type Exclude = T extends U ?...never : T; type TT = Exclude; // 2 Exclude 的作用是从T中排除出「可分配」给U的元素。

2.8K3 0

TypeScript 技巧拾遗

，再加上 TypeScript 的类型系统有着一定的复杂度，因此感觉自己并没有发挥好这门语言的优势，使代码变得更具可读性与可维护性。...嵌套接口类型 interface Producer { name: string cost: number production: number } interface Province...never : T // type A = 'a' type A = Exclude type Omit = Pick> interface User { id: number age: number name: string } /...下面来求解一道 LeetCode 上关于 TypeScript 的面试题，题目的大致内容为有一个叫做 EffectModule 的类，它的实现如下： interface Action { payload

6652 0

TS数据类型(1)：从Utility Types发微，分类学习笔记

interface Props { a?: number; b?...Exclude作用：从Type中排除可以分配给ExcludedUnion的类型。...它会生成具有所有参数类型的元组类型（如果 T 不是函数，则返回的是 never 类型）。...操作符类：typeof、keyof、in、infertypeof、keyof、in其实你就理解为操作结果为ts 类型interface Person { name: string; age: number.../html/webfront/ECMAScript/typescript/2022_0922_8876.html

1911 0

点击加载更多

扫码

添加站长进交流群

领取专属 10元无门槛券

手把手带您无忧上云

扫码加入开发者社群

相关资讯

热门标签

活动推荐

运营活动

活动名称

广告关闭