TypeScript如何仅断言对象指定属性非空 不丢失类型校验

方案1：仅对确认的数组做精准断言（无运行时开销，推荐90%场景使用） #

该方案适用于你已经100%确认数据库返回的users所有email都非空的场景，你不需要对整个Response做断言，只需要对你已经确认过非空的users数组做窄化断言即可，Response的其余字段依然会保留完整的类型校验能力：

function getUsers(): Response {
  const users: User[] = [{ email: 'hello@email.com' }, { email: 'hi@email.com' }]
  return { 
    // 仅断言已确认的users数组类型，其余字段仍受TS校验
    users: users as { email: string }[] 
  }
}

如果后续你修改Response新增了必填字段，比如新增total: number，这里没传total的话TS依然会抛出错误，不会像全量as Response那样跳过校验。
如果要更严谨，避免手动写对象类型，可以封装通用工具类型复用，后续User接口变更不需要手动同步断言类型：

// 通用工具类型：将指定属性变为非空
type MakePropNonNull<T, K extends keyof T> = Omit<T, K> & Record<K, NonNullable<T[K]>>

function getUsers(): Response {
  const users: User[] = [{ email: 'hello@email.com' }, { email: 'hi@email.com' }]
  return { 
    users: users as MakePropNonNull<User, 'email'>[] 
  }
}

方案2：类型谓词守卫（兼顾运行时校验，推荐对数据准确性要求高的场景） #

如果你担心数据库过滤逻辑后续可能出问题，想要做一层运行时兜底，可以用类型谓词实现类型守卫，同时完成运行时过滤和类型窄化，不需要手动写断言：

// 通用属性非空守卫
function hasNonNullProp<T, K extends keyof T>(obj: T, prop: K): obj is T & Record<K, NonNullable<T[K]>> {
  return obj[prop] != null
}

function getUsers(): Response {
  const users: User[] = [{ email: 'hello@email.com' }, { email: 'hi@email.com' }]
  return { 
    // filter会自动过滤掉email为null的记录，同时将数组类型自动窄化为符合要求的类型
    users: users.filter(user => hasNonNullProp(user, 'email'))
  }
}

这个方案有极少量的运行时开销，但安全性更高，适合对外暴露的接口或者数据来源不可完全信任的场景。

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