TypeScript 函数参数解构与默认值：类型推断的正确姿势-js教程-PHP中文网

TypeScript 函数参数解构与默认值：类型推断的正确姿势

心靈之曲

发布： 2025-11-02 20:37:01

原创

742人浏览过

typescript 函数参数解构与默认值：类型推断的正确姿势

本文深入探讨了 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 属性是可选的，我们可以这样定义：

即构数智人

即构数智人是由即构科技推出的AI虚拟数字人视频创作平台，支持数字人形象定制、短视频创作、数字人直播等。

查看详情

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 属性。

注意事项：