在 TypeScript 中，联合类型（Union Types）是一种用于表示变量或参数可以具有多种类型的概念。它允许我们将多个类型中的一个或多个类型作为一个整体来使用。...本文将详细介绍 TypeScript 联合类型的定义、使用场景和注意事项，并提供一些示例来帮助理解。定义联合类型在 TypeScript 中，可以使用 | 符号将多个类型组合成一个联合类型。...使用联合类型类型断言当我们使用联合类型的变量时，有时候需要告诉 TypeScript 具体的类型，以便进行相应的操作。可以使用类型断言（Type Assertion）来实现。...类型区分使用类型区分（Type Guard）可以根据条件判断不同的类型。以下是常见的类型区分方法：instanceof 操作符使用 instanceof 操作符可以判断一个对象是否为指定类的实例。...总结本文详细介绍了 TypeScript 联合类型的定义、使用场景和注意事项，并提供了一些示例帮助理解。我们学习了如何使用类型断言和类型保护来处理联合类型的变量，以及如何结合交叉类型使用联合类型。
让我们通过这篇文章，深入了解如何从判别联合类型中提取类型，进一步提升我们的编码效率和代码可靠性。 什么是判别联合类型？...TypeScript中的魔法衣橱整理术 在TypeScript中，判别联合类型（Discriminated Unions）使用一个共同的属性，称为判别属性（discriminant），来区分联合类型中的不同类型...当你使用Clothing类型时，TypeScript的类型系统可以使用这个判别属性来缩小类型范围，并根据是Top还是Bottom提供更具体的信息或检查。...通过定义不同的服务器错误类型并使用工厂函数，我们创建了一种结构化且易于管理的错误处理方法。...handleServerError函数利用TypeScript的类型检查来准确处理不同的错误类型，从而提高代码的可读性和可维护性。
可以把联合类型想象成一个能根据不同情况戴上不同帽子的变量。例如，一个变量在某些情况下可能是字符串，而在另一些情况下可能是数字。...接下来，我们将继续深入探讨联合类型的其他高级用法，以及如何利用 TypeScript 的工具类型来进一步简化和优化我们的代码。 二、 高级联合类型操作 联合类型不仅仅是为了声明可以拥有多种类型的变量。...在这篇文章中，我们将重点介绍 Extract 类型，通过实际示例展示如何在真实的 TypeScript 场景中有效使用它。...让我们来探索如何使用 Extract 来优化类型定义并简化 TypeScript 代码。...下面是一个示例，展示如何利用 TypeScript 确保我们的 AppState 使用正确的模式。
使用 TypeScript 2.0，类型检查器会分析语句和表达式所有可能的控制流，在任何指定的位置对声明为联合类型的局部变量或参数产生最可能的具体类型（缩小范围的类型）。...下面的示例演示了 TypeScript 如何理解赋值给局部变量的影响，以及如何相应地缩小该变量的类型： let command: string | string[]; command = "pwd"...严格的 Null 检查 当与可空类型一起使用时，基于控制流的类型分析尤其有用，可空类型使用包括 null 或undefined 在联合类型中的表示。...其思想是确保每个不可空的局部变量在使用之前都已正确初始化。 只读属性 在 TypeScript 2.0 中，readonly 修饰符被添加到语言中。...也就是说，它是类型系统的另一个特性，通过让编译器从 TypeScript 代码库中检查意外的属性分配，帮助你编写正确的代码。
配置TypeScript 当然，要开始编写能正确编译的TypeScript（文件），正确配置开发环境是必要的。...当你想一组具有关联性的描述名称的不同值，枚举就很有用处了。 默认，为枚举分配从0开始的值，接下来的值为（上一个枚举值）加1。...可是，并不限制你使用更具有描述性的名称来表示你的泛型类型。...在类型可以是多种类型之一的情况下，使用|分隔符隔开不同类型的选项来使用联合类型。...复制代码 交集类型 交集类型使用&符号将多个类型组合在一起。这和（上面的）联合类型不同，因为联合类型是表示结果的类型是列出的类型之一，而交集类型则表示结果的类型是所有列出类型的集合。
配置TypeScript 当然，要开始编写能正确编译的TypeScript（文件），正确配置开发环境是必要的。...当你想一组具有关联性的描述名称的不同值，枚举就很有用处了。 默认，为枚举分配从0开始的值，接下来的值为（上一个枚举值）加1。...可是，并不限制你使用更具有描述性的名称来表示你的泛型类型。...在类型可以是多种类型之一的情况下，使用|分隔符隔开不同类型的选项来使用联合类型。...交集类型 交集类型使用&符号将多个类型组合在一起。这和（上面的）联合类型不同，因为联合类型是表示结果的类型是列出的类型之一，而交集类型则表示结果的类型是所有列出类型的集合。
中使用类，提供了创建具有属性和方法的对象的方式。...示例：let x = 10; // TypeScript推断类型为number联合类型和枚举:TypeScript允许你为可以具有多种类型的变量定义联合类型。枚举帮助你创建具有命名常量值的常量。...TypeScript如何处理联合类型，它们有什么用处？ 回答: 联合类型允许一个变量具有多个类型。例如，一个变量可以是字符串或数字类型。这种灵活性在变量在不同情况下可以采用不同数据类型时很有用。...TypeScript中的接口是什么，为什么要使用它们？ 回答: 接口定义对象的结构。它们指定对象应该具有的属性的名称和类型。使用接口可以清楚地说明对象应该具有的形状，促进一致性，避免潜在的错误。...TypeScript如何支持基于类的面向对象编程？ 回答: TypeScript支持类，它们是创建对象的蓝图。
11、TypeScript 中的可区分联合有什么用处？ 答案：可区分联合（也称为标记联合）是一种结合了联合类型、文字类型和类型保护的模式。...公共属性（通常称为“鉴别器”）允许我们在联合内的类型之间安全地切换，从而更轻松地使用此类对象。 12、继承在 TypeScript 中如何发挥作用？...答案：与 JavaScript 一样，== 是一个执行类型强制的松散相等运算符，这意味着如果不同类型的值在强制转换后具有相同的值，则可以将它们视为相等。...但是，TypeScript 不支持传统的方法重载（您可以定义多个具有相同名称但参数不同的方法）。 相反，您可以使用可选参数或联合类型来实现类似的功能。...此功能对于接口非常强大：如果多次定义一个接口，TypeScript 会将其视为具有组合成员的单个接口。这在扩展现有类型或使用模块化代码时非常有用。
keyof 操作符是在 TypeScript 2.1 版本引入的，该操作符可以用于获取某种类型的所有键，其返回类型是联合类型。...对象上的不同属性，可以具有完全不同的类型，我们甚至不知道 obj 对象长什么样。 那么在 TypeScript 中如何定义上面的 prop 函数呢？...首先定义了 T 类型并使用 extends 关键字约束该类型必须是 object 类型的子类型，然后使用 keyof 操作符获取 T 类型的所有键，其返回类型是联合类型，最后利用 extends 关键字约束...K 类型必须为 keyof T 联合类型的子类型。...最后，我们来简单介绍一下 keyof 与 typeof 操作符如何配合使用。 四、keyof 与 typeof 操作符 typeof 操作符用于获取变量的类型。
下面我们通过几个例子来了解 TypeScript 的高级类型推断是如何工作的。 1....keyof 操作符，使得我们可以安全地访问对象的属性，并且返回正确的类型。...这一特性在处理具有相同属性但不同结构的类型集合时特别有用，使得类型检查更加简洁和准确。下面我们通过一个具体的例子来详细介绍区分联合类型的用法。...1、区分联合类型的基本用法 区分联合类型的关键在于为每个类型定义一个共同的属性，这个属性可以用来区分不同的类型。...这种方式避免了类型断言，保证了类型检查的准确性。 3、区分联合类型的优势 使用区分联合类型有以下几个优势： 类型安全：通过共同的区分属性，可以确保在处理不同类型时的类型安全性，避免类型错误。
不同于JavaScript，TypeScript 能实时检测我们书写代码里 变量的类型是否被正确匹配，有了这一机制我们能在书写代码的时候 就提前发现 代码中可能出现的意外行为，从而减少出错机会。...而使用联合类型，我们可以声明一个类型可以是许多类型之一的组合，比如： type IWeather = 'sunny' | 'cloudy' | 'snowy' 泛型 泛型是一个比较晦涩概念，但它非常重要...，不同于联合类型，泛型的使用更加灵活，可以为类型提供变量。...logPoint(rect) // 类型检查也通过，因为Rect具有Point相同的结构，从感官上说就是React继承了Point的结构 此外，如果对象或类具有所有必需的属性，则TypeScript会认为它们成功匹配...从使用场景上说，type 的用途更加强大，不局限于表达 object/class/function ，还能声明基本类型别名、联合类型、元组等类型： // 声明基本数据类型别名 type NewString
就像 TypeScript 如何使用静态类型分析运行时的值一样，它将类型分析覆盖在类似于 if/else 这样的 JavaScript 运行时控制流结构上，同时还包括了三元表达式、循环、真值检查等，这些都能对类型产生影响...那么结果为 true 的分支会将 x 收缩为具有可选属性或必需属性 value 的类型，而结果为 false 的分支则会将 x 收缩为具有可选属性或缺失属性 value 的类型。...TypeScript 是如何在具体的分支中收缩类型的。...当联合类型中的每个类型都包含一个字面量类型的公共属性的时候，TypeScript 会将其视为一个可辨识的联合类型，并通过收缩确认类型为联合类型的某个成员。...你将看到，在 switch 语句中意外遇到不同子句时，类型检查可以有效避免 bug 的出现 可辨识联合类型的用处非常大，不仅仅是用在本例的圆形和正方形中。
下面就来看看 TypeScript 4.2 带来了哪些新内容。 元组类型的 Rest 元素可放置于元组中的任何位置 在 TypeScript 中，元组类型用于建模具有特定长度和元素类型的数组。...详细信息请参见原始拉取请求： https://github.com/microsoft/TypeScript/pull/41544 更智能的类型别名保护 TypeScript 一直使用一组启发式方法来判断何时以及如何显示类型别名...其实这和 TypeScript 在内部表示类型的方法有关。从一个或多个联合类型创建一个联合类型时，它总会将这些类型规范化为一个新的展平联合类型——但这会丢失信息。...类型检查器是没办法知道 string | number | boolean 来自哪里的。 在 TypeScript 4.2 中，我们的内部结构更加智能了。.../pull/42284 模板字面量表达式具有模板字面量类型 在 TypeScript 4.1 中我们引入了一种新的类型：模板字面量类型。
身上的可枚举属性浅拷贝到target: T上，因此返回值类型为T & U 交叉类型A & B既是A也是B，因此具有各个源类型的所有成员： interface A { a: string; } interface...） 类似于交叉类型，联合类型由具有“或”关系的多个类型组合而成，例如： interface DateConstructor { new (value: number | string | Date)...typeof variable === 'type'是用来确定基本类型的惯用手法，因此TypeScript能够识别typeof，并自动缩窄对应分支下的联合类型： let x: number | string...，见4.24 Type Guards P.S.另外，class具有双重类型含义，在TypeScript代码里的体现形式如下： 类的类型：typeof className 类实例的类型：typeof className.prototype...相当于类型断言（不同于类型保护）： let x: string | undefined | null; x!.
当我们在函数体中返回字符串时，TypeScript 正确地假定我们的函数具有字符串返回类型。...在本节中，我们将学习如何创建函数类型，它们是表示特定函数签名的类型。在将函数传递给其他函数时，创建与特定函数匹配的类型特别有用，例如，具有本身就是函数的参数。这是创建接受回调的函数时的常见模式。...我们正在使用联合类型 User | null 作为 Promise 泛型的类型参数。...因此，您可以省略 getUserById 函数的返回类型，因为它仍然被正确推断为具有类型 Promise： async function getUserById(userId...使用 TypeScript，我们可以创建函数重载，明确描述它们处理的不同情况，通过分别记录重载函数的每个实现来改善开发人员体验。 本节将介绍如何在 TypeScript 中使用函数重载。
别名条件与判别式的控制流分析 在 JavaScript 当中，我们往往需要以不同的方式探测同一变量，查看它是否有我们可以使用的具体类型。...除 typeof 检查之外，TypeScript 还提供多种不同的类型守卫条件。例如，对 charm 等可区分联合进行检查。...当我们将对象字面量传递给具有预期类型的内容时，TypeScript 即可检查未在预期类型中得到声明的多余属性。 interface Options { width?...}; 关于索引签名的最后一项要点是，其现在可以支持无限域原始类型的联合，具体包括： string number symbol 模板字符串模式 (例如hello-${string}) 参数为这些类型的联合的索引签名将脱糖为几个不同的索引签名...https://github.com/microsoft/TypeScript/issues/44074 性能改进 声明发布速度更快 TypeScript 正在考量内部符号能否在不同上下文中访问，以及应如何打印特定类型
什么是 Exclude 工具类型 在 TypeScript 中，Extract 工具类型是我们精确选择联合类型中特定类型的利器，而 Exclude 则像一个筛子，过滤掉不需要的类型，只保留我们所需的部分...这是一种非常有价值的工具类型，能够从联合类型中移除指定的类型，使我们的类型定义更加简洁，并让代码库更加易于管理和减少错误。...通过使用 Exclude 工具类型，我们可以在定义组件的事件处理函数时，排除掉不需要的事件处理函数。这不仅让类型定义更加清晰，还能防止误用，确保代码的正确性和稳定性。...Exclude 的高级应用：在 Zustand 中排除类型的使用 我们将探讨一个更高级的用例，展示如何在 React 应用中使用 Zustand 进行状态管理和动作分发时应用 Exclude。...这展示了 Exclude 在状态管理场景中的强大功能，展示了它如何用于定制应用中不同部分可分发的动作集。这是保持复杂应用模块化和可维护性的实际例子。
TypeScript 可辨识联合（Discriminated Unions）类型，也称为代数数据类型或标签联合类型。它包含 3 个要点：可辨识、联合类型和类型守卫。...这种类型的本质是结合联合类型和字面量类型的一种类型保护方法。如果一个类型是多个类型的联合类型，且多个类型含有一个公共属性，那么就可以利用这个公共属性，来创建不同的类型保护区块。...联合类型，对于 Vehicle 类型的变量，它可以表示不同类型的车辆。...那么，现在我们应该如何解决以上问题呢？这时，我们可以使用类型守卫。...五、参考资源 Zhihu - 如何评价 TypeScript 最新加入的 Discriminated union type？
使用 any 类型，可以很容易地编写类型正确但在运行时有问题的代码。如果我们使用 any 类型，就无法使用 TypeScript 提供的大量的保护机制。...换句话说，类型保护可以保证一个字符串是一个字符串，尽管它的值也可以是一个数值。类型保护与特性检测并不是完全不同，其主要思想是尝试检测属性、方法或原型，以确定如何处理值。...这种类型的本质是结合联合类型和字面量类型的一种类型保护方法。如果一个类型是多个类型的联合类型，且多个类型含有一个公共属性，那么就可以利用这个公共属性，来创建不同的类型保护区块。...联合类型，对于 Vehicle 类型的变量，它可以表示不同类型的车辆。...那么，现在我们应该如何解决以上问题呢？这时，我们可以使用类型守卫。
TypeScript 将正确地推断每个变量的类型： const { name, website, twitterHandle } = marius; name; // Type string...; // Type string rest; // Type { name: string; website: string; } TypeScript 会为得到结果的局部变量确定正确的类型。...一个对象的不同属性可以有完全不同的类型，咱们甚至不知道 obj 是什么样子的。 那么如何在 TypeScript 中编写这个函数呢？...，以获得其所有属性键的类型，该类型是字符串字面量类型的联合 type TodoKeys = keyof Todo; // "id" | "text" | "due" 当然，各位也可以手动写出联合类型 "...} TypeScript 现在以推断 prop 函数的返回类型为 T[K]，这个就是所谓的 索引类型查询 或 查找类型。
领取专属 10元无门槛券
手把手带您无忧上云
云服务器
ICP备案
腾讯会议
云直播
对象存储
