# 控制联合在条件类型上的分布 ## 概述默认情况下，TypeScript 中的条件类型分布在联合上。这通常是您想要的，但有时它会导致令人惊讶的行为。了解如何控制分发（在不需要时阻止它并在需要时启用它）对于高级类型级编程至关重要。主要的惊喜包括：“boolean”被视为“true |” false`、`never` 分发到 `never` 以及无法分发的递归类型。这项技能向您展示如何处理这些情况。 ## 何时使用此技能 * 条件类型对于联合输入的行为异常 * `boolean` 类型产生令人惊讶的结果 * `never` 类型的计算结果意外 * 需要防止工会分配 * 递归泛型类型分布不正确 ## 铁律 **将条件包裹在一元组`[T]`中以防止分布；添加裸条件“N extends...”来强制分配。了解“boolean”和“never”在分配条件句中的行为方式。** ## 检测留意这些令人惊讶的行为： // 令人惊讶的是：布尔分布类型 Celebrate = V 扩展 true ？ “万岁！” ：绝不; 类型惊喜 = 庆祝; //“万岁！”不是从来没有 // 令人惊讶的是：从不分配到从不类型AllowIn = T扩展{密码：字符串}？ '是' : '否'; 类型 N =AllowIn<从不>; // 从不，不是“是” | ‘不’ // 问题：递归类型不分布类型 NTuple = /* ... */; // NTuple<字符串, 2 | 3> 给出错误的结果 ## 阻止分发将条件包装在一元组“[T]”中： // 问题：在联合上分配类型比较 = T 扩展日期？日期 |数量： T 扩展号码？数量： T 延伸字符串 ?字符串：从来没有； // 日期 |字符串变为 (日期 | 数字) |字符串 - 错误！让 dateOrStr: 日期 |细绳; const 结果：Comparable； // 应该永远不会 // 解决方案：包装在一个元组中类型比较 = [T] 延长 [日期] ？日期 |数量： [T] 延伸 [数量] ?数量： [T] 扩展 [字符串] ？字符串：从来没有； // 现在日期 |字符串正确地评估为从不 ## 布尔惊喜 TypeScript 将“boolean”视为“true |”假`：类型 CelebrateIfTrue = V 扩展 true ？ “万岁！” ：绝不; // 令人惊讶的结果类型 Party = CelebrateIfTrue; //“万岁！” 类型 NoParty = CelebrateIfTrue; // 从不类型惊喜 = CelebrateIfTrue; //“万岁！” （！） // 为什么？布尔分布： // 庆祝IfTrue // = CelebrateIfTrue |庆祝IfTrue // =“万岁！” |从不 // =“万岁！” // 修复：阻止分发类型 CelebrateIfTrue = [V] 扩展 [true] ？ “万岁！” ：绝不; 类型 SurpriseFixed = CelebrateIfTrue; // 永远不会 - 正确！ ## 永远不会令人惊讶 `never` 被视为空联合：类型AllowIn = T扩展{密码：字符串}？ '是' : '否'; // 令人惊讶的是：never 的计算结果为 never 类型 N =AllowIn<从不>; // 从不（不是“是”或“否”） // 为什么？永远不会是空联合： //AllowIn =AllowIn<> = 空 union = never // 修复：换行为一元组类型AllowIn = [T]扩展[{密码：字符串}]？ '是' : '否'; 类型 NFixed = AllowIn<从不>; // '不' - 正确！ ## 启用分发有时你需要强制分配。添加一个裸条件： // 问题：递归类型不分布类型 NTuple = NTupleHelp; 类型 NTupleHelp = Acc['length'] 扩展 N ？加速器 : NTupleHelp; 类型 PairOrTriple = NTuple； // 得到：[字符串，字符串]（错误！） // 想要：[字符串，字符串] | [字符串，字符串，字符串] // 解决方案：添加分布式包装器类型 NTuple = N extends number // 力分布？ NTupleHelp ：从不；类型 PairOrTripleFixed = NTuple； // 现在：[字符串，字符串] | [字符串，字符串，字符串] - 正确！ ## 完整示例 // 类型安全比较函数类型比较 = [T] 延长 [日期] ？日期 | number : // 阻止分发 [T] 延伸 [数量] ?数量： [T] 扩展 [字符串] ？字符串：从来没有；声明函数 isLessThan(a: T, b: Comparable): boolean; // 有效比较 isLessThan(new Date(), new Date()); // 好的 isLessThan(new Date(), Date.now()); // 确定（日期/数字）小于 (12, 23); // 好的 isLessThan('A', 'B'); // 好的 // 无效比较 - 正确拒绝 isLessThan(12, 'B'); // 错误：字符串不能分配给数字 // Union 案例 - 被正确拒绝让 dateOrStr: 日期 |细绳; isLessThan(dateOrStr, 'B'); // 错误：字符串不能分配给 never ## 抗压协议当条件类型表现异常时： 1. **检查分配**：类型是否在不应分配的情况下分配到联合上？ 2. **使用 boolean/never 进行测试**：这些通常会揭示分布问题 3. **包裹在一个元组中** : `[T] extends [X]` 阻止分发 4. **添加裸条件** : `N extends any` 力分布 5. **使用联合验证**：使用联合输入测试您的类型 ## 危险信号症状|原因 |修复 ---|---|--- `boolean` 给出了意想不到的结果 |分销|用 `[T]` 包裹起来 `never` 给出 `never` |空联盟|用 `[T]` 包裹起来 Union 未正确分裂 |没有发行|添加裸露的“N 个扩展” 十字路口想要，工会得到了|分销|用 `[T]` 包裹起来 ## 常见的合理化 ### “对于复杂的情况，我只会使用 `any`” **现实**：了解分布可以让您精确控制。 “any”牺牲了所有类型的安全性。 ### “这对于我的用例来说太复杂了” **现实**：一元组技巧很简单：“[T] 扩展 [X]” 与“T 扩展 X”。一次学习，终身受用。 ###“类型系统不应该这样工作” **现实**：分发是一项强大的功能。了解它可以让你利用这种力量而不是对抗它。 ## 快速参考目标|语法 |示例 ---|---|--- 允许分发 | `T 扩展 X` |默认行为防止分布 | `[T] 扩展 [X]` |对于联合，布尔值，从不力量分布| `N 扩展任何？ ... : 从来没有` |对于递归类型 ## 底线通过工会进行分配通常是您想要的，但并非总是如此。使用“[T]extends[X]”来阻止它，并用简单的条件来强制它。了解“boolean”和“never”的行为方式以避免意外。 ## 参考 * 有效的 TypeScript，第二版，作者：Dan Vanderkam * 第 53 项：了解如何控制条件类型上的联合分布

控制联盟分布

包含技能