TypeScript中如何为默认对象实现动态类型提示与类型安全？

问题核心需求 #

需要同时实现两个目标：

• 确保defaultValues是MyInput接口的子集，具备完整的类型提示与类型安全校验
• 合并后的inputObject能被TypeScript正确识别为完整的MyInput类型，且无需手动维护属性列表

方案一：泛型函数约束与自动类型推导 #

通过泛型函数约束默认值的类型范围，同时让TypeScript自动推导实际属性的具体类型，规避Partial带来的全可选类型问题：

interface MyInput {
  reqString: string;
  reqNumber: number;
  optString?: string;
}

// 泛型函数：约束输入为MyInput的子集，同时推导实际属性的具体类型
const createDefaults = <T extends Partial<MyInput>>(defaults: T): T => defaults;

// 此处可获取MyInput的属性提示，且只能输入接口内的属性
const defaultValues = createDefaults({
  reqString: "hello",
  optString: "goodbye"
});

// 合并后自动识别为完整的MyInput类型，无类型报错
const inputObject: MyInput = {
  ...defaultValues,
  reqNumber: 5
};

方案说明 #

• createDefaults的泛型T extends Partial<MyInput>确保默认值只能包含MyInput中的属性，IDE会提供对应的类型提示。
• TypeScript会将defaultValues的类型推导为{ reqString: string; optString: string; }（而非全可选的Partial<MyInput>），因此合并时属性类型是确定的非undefined。
• 补充必填属性reqNumber后，最终对象完全符合MyInput的类型要求。

方案二：使用satisfies操作符（TypeScript 4.9+） #

若项目使用TypeScript 4.9及以上版本，可直接用satisfies操作符约束对象类型，同时保留字面量类型信息：

interface MyInput {
  reqString: string;
  reqNumber: number;
  optString?: string;
}

// satisfies验证对象符合Partial<MyInput>，同时保留实际属性的具体类型
const defaultValues = {
  reqString: "hello",
  optString: "goodbye"
} satisfies Partial<MyInput>;

// 合并后正常识别为MyInput类型
const inputObject: MyInput = {
  ...defaultValues,
  reqNumber: 5
};

方案说明 #

• satisfies操作符仅验证对象是否符合指定类型，不会修改对象的原有类型推导结果。
• 既保证了defaultValues只能使用MyInput的属性（有类型提示和安全校验），又保留了属性的具体非可选类型，合并时不会出现类型不兼容问题。

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