TypeScript如何自动推断常量对象的接口子集类型？

方法一：使用satisfies关键字（TypeScript 4.9+ 推荐） #

TypeScript 4.9引入的satisfies关键字完美适配这个场景——它既能约束对象结构符合指定类型，又会保留对象自身的具体类型推断，不会把必填属性转为可选类型：

interface Foo {
  foo: number;
  bar: number;
  baz?: number;
  buz?: number;
}

const doFoo = (params: Foo) => { /* ... */ };

// 用satisfies约束BASE_PROPERTIES是Foo的子集，同时保留属性的具体类型
const BASE_PROPERTIES = {
  foo: 42,
  baz: 9001,
} satisfies Partial<Foo>;

// 展开使用时类型完全兼容，不会出现number | undefined的错误
doFoo({
  ...BASE_PROPERTIES,
  bar: -1000
});

优势：

• 无需手动维护属性名列表，添加/修改属性时编辑器会智能提示，不属于Foo的属性会直接报错
• 自动推断的类型保留了属性的确定性（比如foo是number而非number | undefined）
• 完全规避any或强制类型断言带来的风险

方法二：泛型函数约束（兼容低版本TypeScript） #

如果你的项目还在使用低于4.9的TypeScript版本，可以通过泛型函数实现相同效果：

interface Foo {
  foo: number;
  bar: number;
  baz?: number;
  buz?: number;
}

const doFoo = (params: Foo) => { /* ... */ };

// 泛型函数约束传入参数必须是Foo的子集，同时自动推断具体类型
const createBaseProps = <T extends Partial<Foo>>(props: T) => props;

const BASE_PROPERTIES = createBaseProps({
  foo: 42,
  baz: 9001,
});

doFoo({
  ...BASE_PROPERTIES,
  bar: -1000
});

这个方法通过泛型T自动捕获传入对象的具体类型，同时T extends Partial<Foo>确保所有属性都属于Foo接口，同样能实现智能提示和类型安全。

内容的提问来源于stack exchange，提问作者SCB