本文深入探讨了 TypeScript 中函数参数解构与默认值结合使用时，类型推断可能出现的问题以及解决方法。通过示例代码，详细讲解了如何确保 TypeScript 正确推断默认值的类型，避免因类型声明不准确导致的编译错误，提升代码的健壮性和可维护性。
在 TypeScript 中，函数参数解构是一种非常便捷的语法，可以让我们直接从传入的对象中提取所需的属性。同时，结合默认值，可以使函数在参数缺失时也能正常运行。然而，当这两者结合使用时，可能会遇到类型推断的问题。本文将深入探讨这个问题，并提供相应的解决方案。
考虑以下代码：
interface Args {
foo: {};
}
function test({ foo = { bar: 1 } }: Args) {
// typeof foo is {}, not {bar: number}
console.log(foo.bar); // Error: Property 'bar' does not exist on type '{}'.
}
test({});在这个例子中，我们期望 foo 的类型是 { bar: number }，因为我们为其设置了默认值 { bar: 1 }。然而，TypeScript 却将其推断为 {}，导致后续访问 foo.bar 时出现编译错误。
问题根源：类型声明覆盖默认值类型
问题在于，我们显式地将参数类型声明为 Args，而 Args 接口中 foo 的类型被定义为 {}。这种显式的类型声明覆盖了 TypeScript 尝试从默认值推断出的类型。TypeScript 相信我们提供的类型声明，即使它与默认值不一致。
解决方案一：修改接口定义
最直接的解决方案是修改接口定义，使其能够反映 foo 属性的真实类型。如果 bar 属性是可选的，我们可以这样定义：
interface Args {
foo: {
bar?: number;
};
}
function test({ foo = { bar: 1 } }: Args) {
// typeof foo is { bar?: number | undefined; }
console.log(foo.bar); // No error
}
test({});通过将 bar 声明为可选属性（bar?: number），TypeScript 能够正确推断 foo 的类型，并且允许在 foo 中存在或不存在 bar 属性。
解决方案二：使用类型交叉
如果无法修改 Args 接口（例如，它是来自第三方库的类型），我们可以使用类型交叉来扩展 Args 接口，并覆盖 foo 属性的类型：
interface Args {
foo: {};
}
interface MyArgs extends Args {
foo: Args['foo'] & {
bar: number; // Add back the "?" if bar is actually optional
};
}
function test({ foo = { bar: 1 } }: MyArgs) {
// typeof foo is { bar: number; }
console.log(foo.bar); // No error
}
test({});这里，我们创建了一个新的接口 MyArgs，它继承了 Args 接口，并使用类型交叉 Args['foo'] & { bar: number } 来覆盖 foo 属性的类型。Args['foo'] 确保我们保留了 Args 中 foo 的原有类型信息，而 { bar: number } 则添加了 bar 属性。
注意事项：
- 类型安全： 确保类型声明与默认值保持一致，避免运行时出现意外错误。
- 可选属性： 如果属性是可选的，务必在接口中使用 ? 标记，以便 TypeScript 正确推断类型。
- 类型交叉： 类型交叉是一种强大的工具，可以用于组合和修改现有类型。
总结：
在 TypeScript 中，函数参数解构与默认值结合使用时，需要注意类型推断的问题。通过正确地声明类型，或者使用类型交叉来覆盖类型，可以确保 TypeScript 正确推断默认值的类型，从而避免编译错误，提高代码质量。理解这些技巧对于编写健壮且可维护的 TypeScript 代码至关重要。
