如何让TypeScript认可对象已具备所需的必填键？

这个问题我之前也碰到过——虽然你已经用some做了空值检查，但TypeScript的控制流分析没法识别数组遍历式的检查，所以依然认为foo、bar、baz是可选字段。下面给你几个靠谱的解决思路：

方法1：逐个字段检查（最直观，TS自动收窄） #

直接针对每个字段做非空判断，TypeScript的控制流分析会自动识别这些字段在检查后是非空的：

const user: UserObj = User.get(userId);
// 逐个检查必填字段
if (!user.foo || !user.bar || !user.baz) {
  throw new Error(`Missing fields for user ${userId}`);
}
// 此时TS已经知道foo/bar/baz一定存在
const createParams: CreateParams = {
  firstName: user.firstName,
  lastName: user.lastName,
  email: user.email,
  phone: user.phone,
  foo: user.foo,
  bar: user.bar,
  baz: user.baz
};

优点：零额外代码，TS原生支持，最安全；缺点：字段多的时候代码会有点长，但3个字段完全没问题。

方法2：自定义类型守卫（可扩展，更专业） #

如果需要复用这个检查逻辑，或者字段数量较多，可以写一个类型守卫函数，告诉TypeScript什么样的UserObj才算包含必填字段：

// 先定义一个包含必填字段的类型（也可以直接写在守卫里）
type UserWithRequiredFields = UserObj & {
  foo: NonNullable<UserObj['foo']>;
  bar: NonNullable<UserObj['bar']>;
  baz: NonNullable<UserObj['baz']>;
};

// 类型守卫函数：返回true时，TS会认定user符合UserWithRequiredFields类型
function hasRequiredFields(user: UserObj): user is UserWithRequiredFields {
  return !!user.foo && !!user.bar && !!user.baz;
}

const user: UserObj = User.get(userId);
if (!hasRequiredFields(user)) {
  throw new Error(`Missing fields for user ${userId}`);
}
// 这里TS自动收窄user的类型，不再报错
const createParams: CreateParams = {
  firstName: user.firstName,
  lastName: user.lastName,
  email: user.email,
  phone: user.phone,
  foo: user.foo,
  bar: user.bar,
  baz: user.baz
};

优点：逻辑可复用，类型定义清晰；缺点：需要额外写一个守卫函数，但对于复杂场景非常值得。

方法3：类型断言（简单直接，但需谨慎） #

如果你非常确定自己的检查逻辑没有问题，可以用类型断言强制告诉TypeScript这些字段存在：

const user: UserObj = User.get(userId);
if ([user.foo, user.bar, user.baz].some(k => !k)) {
  throw new Error(`Missing fields for user ${userId}`);
}
// 断言user包含必填字段
const typedUser = user as UserObj & {
  foo: NonNullable<UserObj['foo']>;
  bar: NonNullable<UserObj['bar']>;
  baz: NonNullable<UserObj['baz']>;
};
const createParams: CreateParams = {
  firstName: typedUser.firstName,
  lastName: typedUser.lastName,
  email: typedUser.email,
  phone: typedUser.phone,
  foo: typedUser.foo,
  bar: typedUser.bar,
  baz: typedUser.baz
};

优点：改动最小；缺点：本质是“绕过”TS的类型检查，如果后续修改了字段但没更新检查逻辑，可能会出现运行时错误，所以只推荐在简单场景下使用。

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