# 避免不必要的类型参数 ## 概述 “泛型黄金法则”规定类型参数应该在函数签名中出现两次或多次。如果类型参数仅出现一次，则它与任何内容无关并且可能是不必要的。不必要的类型参数会产生类型安全的错误感觉，并且可能导致推理不太成功。这项技能可以帮助您识别并消除多余的类型参数，从而生成更干净、更易于维护的代码，TypeScript 可以更有效地推断代码。 ## 何时使用此技能 * 编写泛型函数或类型 * 检查类型签名以确保清晰 * 类型参数仅出现一次（除了其声明之外） * 试图添加泛型以实现“灵活性” * 调试不良类型推断 ## 铁律 **类型参数必须出现两次或多次才能建立关系。如果类型参数只出现一次，请强烈重新考虑是否需要它。** ## 检测留意这些模式： // 危险信号 - 不必要的类型参数函数 parseYAML(输入：字符串): T; // 仅返回泛型类型 Fn = (x: T) => void; // T 只使用一次函数第三(a: A, b: B, c: C): C; // A和B出现一次函数 getLength(x: T): number; // T 仅在参数中 ## 黄金法则类型参数用于关联类型。如果类型参数仅出现一次，则它与任何内容无关： // 好：T 出现两次，关联输入和输出函数身份(arg: T): T { 返回参数； } // 不好：T 只出现一次（在返回类型中）函数 parseYAML(输入：字符串): T; // 等价于： function parseYAML(input: string): any // 用法说明了问题：常量数据：User = parseYAML('...'); // 看起来很安全，但 T 可以是任何东西 const bad: Banana = parseYAML('...'); // 同样“有效” - 没有错误！ ## 仅返回泛型仅返回泛型是危险的，因为它们相当于没有显式“as”的类型断言： // 不好：仅返回泛型声明函数 parseYAML(input: string): T; const user: User = parseYAML('...'); // 没有错误，但也没有验证 // 好：返回未知，强制显式断言声明函数 parseYAML（输入：字符串）：未知； const user = parseYAML('...') as User; // 明确断言 // 或者使用验证： const user = parseYAML('...'); if (isUser(user)) { // 类型保护 // 这里的user就是User } ## 简化不必要的泛型 // BEFORE: 不必要的类型参数函数第三（a：A，b：B，c：C）：C { 返回c； } // AFTER: 只保留出现两次的C 函数第三（a：未知，b：未知，c：C）：C { 返回c； } ## 当需要泛型时 // 好：K 出现两次，将参数与返回类型联系起来函数 getProperty(obj: T, key: K): T[K] { 返回 obj[键]； } // K出现在：参数类型（key：K）和返回类型（T[K]） // 这是泛型的一个很好的用途 ## 类泛型 // 好：T 出现多次，与类属性相关类容器 { 私有项目：T[] = []； add(item: T): void { this.items.push(item); } } getAll(): T[] { 返回 this.items; } } // 不好：T 只在一种方法中使用类 Joiner { 加入（els：T []）：字符串{ return els.map(String).join(','); } } // 更好：将 T 移至方法或使用具体类型类连接器 { 加入（els：（字符串|数字）[]）：字符串{ return els.map(String).join(','); } } // 最好：只是一个函数函数 join(els: (字符串 | 数字)[]): 字符串 { return els.map(String).join(','); } ## 抗压协议当被迫添加“灵活”泛型时： 1. **统计出现次数**：类型参数是否出现两次或两次以上？ 2. **检查关系**：是否关联多个值的类型？ 3. **考虑未知**：“未知”也同样有效吗？ 4. **测试推理**：泛型会改善还是损害类型推理？ ## 危险信号反模式|为什么它很糟糕 ---|--- `函数 f(): T` |仅返回，无类型安全 `类型 Fn = (x: T) => void` | T 不用于返回，不必要一次性类型的仿制药 |增加了复杂性却没有任何好处 `T 扩展 X`，其中 T 只出现一次 |约束没有帮助 ## 常见的合理化 ### “它使 API 更加灵活” **现实**：不必要的仿制药会产生错误的安全感。它们并没有增加真正的灵活性，只是造成混乱。 ###“我稍后会需要它” **现实**：在需要时添加泛型，而不是在预期中添加。您以后随时可以添加它们。 ###“看起来更专业” **现实**：简单、正确的类型比复杂、不必要的类型更专业。 ## 快速参考图案|判决 |修复 ---|---|--- `函数 f(x: T): T` | ✓ 好 | T 将输入与输出联系起来 `函数 f(x: 字符串): T` | ✗ 坏 |使用“未知”或具体类型 `函数 f(x: T): void` | ✗ 坏 |使用“未知”或“任何” `类 C { 方法(x: T): T }` | ✓ 好 | T 涉及多种用途 `类 C { 方法(x: T): void }` | ✗ 坏 |将 T 移至方法或删除 ## 底线泛型的第一条规则是“不要”。仅当类型参数建立类型之间的关系时才添加类型参数。如果类型参数仅出现一次，请将其删除。这会产生更清晰的代码和更好的类型推断。 ## 参考 * 有效的 TypeScript，第二版，作者：Dan Vanderkam * 第 51 项：避免不必要的类型参数

避免不必要的类型参数

包含技能