本文深入探讨了 TypeScript 中函数参数解构与默认值结合使用时，类型推断可能出现的问题。我们将分析 TypeScript 如何处理这种情况，并提供两种解决方案，确保类型推断的准确性，提升代码的健壮性和可维护性。
在 TypeScript 中，函数参数解构是一种简洁且强大的语法，允许我们直接从传入的对象中提取所需属性。结合默认值使用，可以使函数更加灵活，处理参数缺失的情况。然而，当类型声明与默认值发生冲突时，TypeScript 的类型推断可能会出现偏差。本文将详细分析这个问题，并提供有效的解决方案。
问题分析
考虑以下代码：
interface Args {
foo: {};
}
function test({ foo = { bar: 1 } }: Args) {
// typeof foo is {}, not {bar: number}
}这段代码的意图是，如果 foo 没有传入，则使用默认值 { bar: 1 }。然而，TypeScript 将 foo 的类型推断为 {}，而不是期望的 { bar: number }。这是因为类型声明 Args 明确指定了 foo 的类型为 {}，覆盖了默认值的类型推断。
解决方案
为了解决这个问题，我们需要确保类型声明能够正确反映 foo 的实际类型，或者允许 TypeScript 基于默认值进行类型推断。
方案一：修改接口定义
如果可以修改 Args 接口，最直接的解决方案是使 bar 属性成为可选属性：
interface Args {
foo: {
bar?: number;
};
}
function test({ foo = { bar: 1 } }: Args) {
// typeof foo is { bar?: number | undefined; }, which is more accurate
console.log(foo.bar?.toFixed(2)); //Safe to call toFixed as bar is optional and may be undefined
}在这个方案中，我们将 bar 属性声明为可选的 (bar?: number)。这样，TypeScript 就会正确地推断 foo 的类型为 { bar?: number | undefined; }，从而允许我们安全地访问 foo.bar。
方案二：使用类型交叉
如果不能修改 Args 接口，我们可以使用类型交叉来扩展 Args 接口，并覆盖 foo 的类型：
interface Args {
foo: {};
}
interface MyArgs extends Args {
foo: Args['foo'] & {
bar: number; // 如果 bar 实际上是可选的，则添加 "?"
};
}
function test({ foo = { bar: 1 } }: MyArgs) {
// typeof foo is { bar: number; }
console.log(foo.bar.toFixed(2)); //Safe to call toFixed as bar is required
}在这个方案中，我们定义了一个新的接口 MyArgs，它继承自 Args，并使用类型交叉 (&) 将 foo 的类型扩展为 Args['foo'] & { bar: number }。这意味着 foo 必须同时满足 Args['foo'] (即 {}) 和 { bar: number } 的类型约束。这样，TypeScript 就会正确地推断 foo 的类型为 { bar: number }。
注意： 如果 bar 实际上是可选的，则应将 bar: number 修改为 bar?: number。
总结
当在 TypeScript 中使用函数参数解构和默认值时，需要特别注意类型推断的问题。如果类型声明与默认值发生冲突，TypeScript 可能会使用类型声明，而不是默认值进行类型推断。为了解决这个问题，我们可以修改接口定义，使类型声明能够正确反映实际类型，或者使用类型交叉来扩展接口，并覆盖相关属性的类型。选择哪种方案取决于具体情况，但目标始终是确保类型推断的准确性，从而提升代码的健壮性和可维护性。
