TypeScript能否自动推断已赋值的接口可选属性为必选？

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

直接去掉变量的类型注解，用satisfies约束对象结构符合第三方接口，TypeScript会自动推断已赋值属性为非可选类型：

interface IMyInterface {
  prop1?: number[];
  prop2?: string;
  // ... 上百个其他可选属性
}

// 用satisfies确保对象符合IMyInterface结构，同时保留自动推断的具体类型
const myObject = {
  prop1: [1, 2]
} satisfies IMyInterface;

myObject.prop1.slice(0, 1); // 无报错，TS明确识别prop1为number[]类型

这个方案无需额外定义工具类型，代码简洁，还能在编写对象时获得第三方接口的类型提示，避免属性名或类型错误。

方案二：自定义泛型工具类型（兼容低版本TS） #

如果你的TypeScript版本低于4.9，无法使用satisfies，可以自定义泛型工具类型，将已赋值的属性转为非可选：

// 泛型工具：把T中存在于U的属性转为非可选
type RequiredAssigned<T, U extends Partial<T>> = Omit<T, keyof U> & Required<Pick<T, keyof U>>;

interface IMyInterface {
  prop1?: number[];
  prop2?: string;
  // ... 其他可选属性
}

// 先定义原始对象，再通过泛型约束最终类型
const rawObject = {
  prop1: [1, 2]
};

const myObject: RequiredAssigned<IMyInterface, typeof rawObject> = rawObject;

myObject.prop1.slice(0, 1); // 无报错

也可以合并为一行（可读性稍弱）：

const myObject = {
  prop1: [1, 2]
} as RequiredAssigned<IMyInterface, typeof { prop1: [1, 2] }>;

原写法报错原因 #

当手动指定变量类型为IMyInterface时，TypeScript会严格遵循接口定义，将所有属性标记为可选（哪怕你已经赋值），所以访问myObject.prop1时会提示“可能为undefined”。上面的方案都是让TypeScript基于实际赋值内容，自动调整对应属性的可选性，同时确保整体结构符合第三方接口要求。

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