TypeScript如何在编译期校验Partial返回类型的所有属性是否被正确映射

方案1：基于类型窄化的编译期校验（零额外依赖，兼容TS4.5+） #

核心思路是不修改全局InfoType的Partial属性，针对同步服务的专属消费场景做单独的类型约束：

1. 首先定义同步服务需要的必填字段集合，后续新增字段优先更新该清单：

// 枚举所有同步服务需要用到的Info字段
type SyncNeededInfoKeys = 'propertyA' | 'propertyB' | 'propertyC' | 'propertyD'
// 构造同步场景下的必填Info类型，所有列出的字段必须存在，不能缺
type SyncSceneInfo = Required<Pick<InfoType, SyncNeededInfoKeys>>

// 同步场景下的Row类型，覆盖全局Partial的info字段
type SyncRowType = Omit<RowType, 'info'> & {
  info: SyncSceneInfo
}

2. 给数据库读取器的转换逻辑加类型校验，修改读取器的map逻辑：

rows.map<Persisted<SyncRowType>>(
  ({ position, user_id: userId, user_seq: userSeq, payload }) => ({
    position: Number(position),
    payload: {
      userId,
      userSeq: Number(userSeq),
      // 这里info必须完全匹配SyncSceneInfo的必填字段，漏写会直接编译报错
      info: {
        propertyA: payload.propertyA,
        propertyB: payload.propertyB,
        propertyC: payload.propertyC
        // 漏写propertyD时，TS会直接提示缺少该属性
      }
    },
  }),
),

3. 同步服务的入参也改为SyncRowType，后续在同步服务里使用字段时也能直接获得非可选的类型提示，无需额外做undefined判断。

方案2：用satisfies操作符做轻量化校验（兼容TS4.9+） #

如果不需要单独定义同步场景Row类型，可以直接在构造info对象时做校验，侵入性更低：

info: {
  propertyA: payload.propertyA,
  propertyB: payload.propertyB,
  propertyC: payload.propertyC,
} satisfies Required<Pick<InfoType, 'propertyA'|'propertyB'|'propertyC'|'propertyD'>>

只要漏写了列表里的任何字段，TS会直接在编译期抛出错误，不会等到运行时才发现。 #

多消费场景适配 #

如果读取器需要给多个不同的业务服务提供数据，每个服务可以单独定义自己需要的必填字段子集，互不干扰，也不会影响全局InfoType的Partial属性，完全满足「多服务写入不同载荷必须用Partial」的要求。后续新增字段时，只要先把字段加进对应场景的必填字段列表，TS会自动提示你在读取器的转换逻辑中补全映射，从根源避免漏写问题。

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