TypeScript如何为函数签名提取推断字符串字面量类型以替代Enum

我正尝试了解如何从Enum迁移到字符串字面量，其中一个卡点是使用这些键的函数的类型定义。

举个例子，若使用Enum，我可能会编写如下代码：

enum Role {
  Standard = "Standard",
  Admin = "Admin",
}

type Standard = {
  role: Role.Standard
  name: string
  age: number
}

type Admin = {
  role: Role.Admin
  name: string
  securityLevel: "Normal" | "Elevated" | "High"
}

type Employee = Admin | Standard

之后我编写了一个仅基于role执行逻辑的辅助函数：

function doSomething(role: Role){ /*...*/ }

这种场景下我几乎总是会从employee中取出role值传入，但本质上我只需要向函数传入一个字符串。
我能否用字符串字面量实现相同效果？目前我能做到的最佳方案是传入带有role属性的对象：

type Standard = {
  role: "Standard"
  name: string
  age: number
}

type Admin = {
  role: "Admin"
  name: string
  securityLevel: "Normal" | "Elevated" | "High"
}

type Employee = Admin | Standard

function doSomething(e: Pick<Employee, "role">){
  return e.role === "Admin"
}

doSomething({role: "Admin"}) // 编译通过
doSomething({role: "Executive"}) // 编译失败

我期望的写法如下：

doSomething("Admin") // 编译通过
doSomething("Executive") // 编译失败

如果这种需求本身就没有存在的必要，我也希望能了解背后的原因——我很确定我之前有过将Enum作为函数参数类型使用的经验。

更新 #

一个可行的替代方案是先提取字符串字面量类型，再在构成Employee的各个类型的定义中使用该类型，例如：

type RoleStrings = "Standard" | "Admin"
type Standard = {
  role: /* 这里要写什么才能将字符串"Standard"与`RoleStrings`类型绑定？ */
  name: string
  age: number
}

type Admin = {
  role: /* 这里要写什么才能将字符串"Admin"与`RoleStrings`类型绑定？ */
  name: string
  securityLevel: "Normal" | "Elevated" | "High"
}

如果能实现这种写法，后续的函数定义就很简单了：

function doSomething(role: RoleStrings){/*...*/}

更新2 #

我找到了符合我预期的解决方案：

type RoleStrings = Employee['role']
function doSomething(role: RoleStrings){/*...*/}

这个方案实现了我的需求：推导允许传入的字符串集合，同时保证函数参数足够简洁，不需要传入Employee对象（即便是Pick后的对象）。

你自己找到的Employee['role']写法属于TypeScript的索引访问类型，是这类场景下的最优解：

• 不需要额外维护独立的角色联合类型，后续新增Employee的子类型时，RoleStrings会自动同步新增的role值，避免了重复定义导致的类型不一致问题
• 完全满足你直接传入字符串的需求，TypeScript会对入参做字面量校验，非法值会在编译阶段直接报错，使用体验和原来的Enum参数完全一致

如果你偏好提前定义联合类型的写法，更新中提到的绑定问题可以用两种方式实现：

1. 直接写死对应字面量，只要保证和RoleStrings中的定义一致即可

type RoleStrings = "Standard" | "Admin"
type Standard = {
  role: "Standard"
  name: string
  age: number
}

type Admin = {
  role: "Admin"
  name: string
  securityLevel: "Normal" | "Elevated" | "High"
}

2. 用Extract工具类型做绑定，后续修改RoleStrings时会自动校验一致性，避免手动修改的遗漏

type RoleStrings = "Standard" | "Admin"
type Standard = {
  role: Extract<RoleStrings, "Standard">
  name: string
  age: number
}

type Admin = {
  role: Extract<RoleStrings, "Admin">
  name: string
  securityLevel: "Normal" | "Elevated" | "High"
}

这两种实现方式都可以让你直接使用function doSomething(role: RoleStrings)的函数定义，完全匹配你的使用需求。

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