是否可以基于对象属性进行动态类型化？

Question

我有以下结构：

type ErrorObject = {
  name: string,
  message: string,
}

const ALL_ERRORS: ErrorObject[] = [
   {
     name: 'No-empty-name',
     message: 'You must provide a name',
   },
   {
     name: 'No-empty-age',
     message: 'You must provide an age',
   },
   {
     name: 'No-under-18',
     message: 'You must be 18+ to continue',
   }
]

---

现在我正在尝试创建一个类型来定义所有可能的错误names，最终应该是这样的：

type PossibleErrorNames = 'No-empty-name' | 'No-empty-age' | 'No-under-18'

这可以正常工作，但在我的实际项目中，显然数组要大得多，更新这两种类型感觉非常缓慢，因为它们会相互依赖（如果你更新一个，你有更新另一个）。

---

我尝试了以下方法：

const ALL_NAMES = ALL_ERRORS.map(err => `'${err.name}'`).join(' | ')
type PossibleErrorNames = ALL_NAMES

这里的问题是，这是不正确的，因为这将 ALL_NAMES 返回为

"'No-empty-name' | 'No-empty-age' | 'No-under-18'" 这是一个string。

---

显然，这是join() 的预期行为，但我有什么办法

1. 将字符串转为表达式
2. 从ALL_ERRORS 数组推断类型的一些可能更优雅的名称？

Answer 1

您可以使用as const assertions 并执行类似的操作，前提是在编译时知道完整的数组。

type ErrorObject = {
  name: string,
  message: string
}


const ALL_ERRORS = [
   {
     name: 'No-empty-name',
     message: 'You must provide a name',
   },
   {
     name: 'No-empty-age',
     message: 'You must provide an age',
   },
   {
     name: 'No-under-18',
     message: 'You must be 18+ to continue',
   }
] as const // <----- notice here

type PossibleErrorNames = typeof ALL_ERRORS[number]["name"]
// "No-empty-name" | "No-empty-age" | "No-under-18"

Playground

Answer 2

这样做的唯一方法是将所有错误列表翻转到一个对象中，这将允许您在编译时访问这些类型。你可以这样做：

const AllErrors = {
  'No-empty-name': 'You must provide a name',
  'No-empty-age': 'You must provide an age',
  'No-under-18': 'You must be 18+ to continue',
}

// Rationalises to this: type AllErrorNames = "No-empty-name" | "No-empty-age" | "No-under-18"
type AllErrorNames = keyof typeof AllErrors

// And if you still need them in an array, you can use something like this
const AllErrorsArray = Object.keys(AllErrors).map(errorName => ({name: errorName, message: AllErrors[errorName]}))