基于数组成员的TypeScript区分联合类型实现方案问询

初始需求 #

想要实现如下逻辑的类型定义（伪代码）：

{
   roles: contains "admin",
   admin_details: string
} && {
   roles: contains "vendor",
   vendor_details: string
}

核心逻辑：如果用户的roles数组包含某个角色，就必须拥有该角色对应的详情字段；同时拥有多个角色时，需要同时具备所有对应详情字段。认为无法直接实现，询问最简洁的实现方式。

自行尝试的方案 #

曾尝试通过添加is_role布尔字段的方式实现，但代码过于冗长：

({
   is_admin: true,
   admin_details: string
} | 
{ is_admin: false,
  admin_details: undefined
}) 
&& ({
   is_vendor: true,
   vendor_details: string
} | 
{ is_vendor: false,
  vendor_details: undefined
});

不确定该方案是否可行，寻求更优解。

后续尝试与问题 #

考虑过将单个角色的接口组成联合类型，配合类型守卫实现，但添加第三种角色后，类型守卫无法正确推导类型（例如新增editor角色后，检查用户是否为editor时，无法自动识别editor_details字段）。

1. 核心思路：映射角色详情 + 交叉类型推导 #

通过定义角色到详情的映射关系，结合工具类型自动生成对应角色的详情字段约束：

// 定义角色与对应详情的映射，新增角色只需在此添加条目
type RoleDetailsMap = {
  admin: { admin_details: string };
  vendor: { vendor_details: string };
  editor: { editor_details: string };
};

// 工具类型：将联合类型转为交叉类型，实现多角色详情字段的合并
type UnionToIntersection<U> = 
  (U extends any ? (k: U) => void : never) extends ((k: infer I) => void) ? I : never;

// 最终用户类型：根据角色数组自动推导所需详情字段
type UserWithRoles<T extends keyof RoleDetailsMap = keyof RoleDetailsMap> = {
  roles: T[];
} & UnionToIntersection<RoleDetailsMap[T]>;

2. 类型守卫实现 #

编写通用类型守卫函数，让TypeScript在运行时正确识别用户角色并缩小类型：

function hasRole<R extends keyof RoleDetailsMap>(
  user: UserWithRoles,
  role: R
): user is UserWithRoles & RoleDetailsMap[R] {
  return user.roles.includes(role);
}

3. 使用示例 #

// 符合类型约束的多角色用户
const adminVendorUser: UserWithRoles<'admin' | 'vendor'> = {
  roles: ['admin', 'vendor'],
  admin_details: '管理员权限信息',
  vendor_details: '商家资质信息'
};

// 类型守卫的实际应用
function processUser(user: UserWithRoles) {
  if (hasRole(user, 'admin')) {
    console.log(user.admin_details); // TypeScript自动识别该字段存在
  }
  if (hasRole(user, 'vendor')) {
    console.log(user.vendor_details); // 同理
  }
  if (hasRole(user, 'editor')) {
    console.log(user.editor_details); // 新增角色也能正确推导
  }
}

方案优势 #

• 扩展性强：新增角色只需在RoleDetailsMap中添加对应条目，无需修改其他类型定义
• 类型安全：自动约束角色与详情字段的对应关系，缺少必填字段会直接触发类型报错
• 代码简洁：避免了手动维护大量is_role布尔字段和冗余的联合类型分支

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