从对象数组中获取字符串文字类型

Question

所以来自：

export interface Category{
  val: string;
  icon: string
}
const categoryArray: Category[] = [
  {
    val: 'business',
    icon: 'store'
  },
  {
    val: 'media',
    icon: 'video'
  },
  {
    val: 'people',
    icon: 'account'
  },

  ... 

我想像这样返回一个 Union 类型：

'business' | 'media' | 'people' ... 

我不知道有什么样的语法或帮助器，也许根本没有。我意识到这种方式可能是倒退的，也许应该使用枚举，但在此之前，我想知道它是可能的。

我想做的一些虚构示例，但我希望解决方案更复杂

type Cats = keysof[] categoryArray 'val'  
type Cats = valuesof categoryArray 'val'

以下是关闭的，但返回string：

export type CatsValType = typeof categories[number]['val']

或以下；而不是我需要字符串文字的类型

type ValueOf<T> = T[keyof T];
type KeyTypes = ValueOf<typeof categories[number]> // Returns: `string`

有类似的问题，例如：Is there a `valueof` similar to `keyof` in TypeScript?，但它们不假设对象数组。

和这里的例子：https://www.typescriptlang.org/docs/handbook/2/indexed-access-types.html 类似，但我不想返回类型，而是字段的值，所以我得到一个 Union 类型返回。

Answer 1

如果你可以做到：

• 数组中的值在运行时不会改变（因为类型信息是 TypeScript 的仅编译时的东西）；和

• 你告诉 TypeScript 它们的值不会通过使用 as const 来改变；和

1. 你不要给categoryArray常量类型Category[]，因为如果你这样做，结果就是string（因为Category["val"]的类型是string ) 而不是你想要的字符串文字联合类型。

这是一个示例 (playground link)：

export interface Category{
  val: string;
  icon: string
}
const categoryArray = [
  {
    val: 'business',
    icon: 'store'
  },
  {
    val: 'media',
    icon: 'video'
  },
  {
    val: 'people',
    icon: 'account'
  },
] as const;

type TheValueUnion = (typeof categoryArray)[number]["val"];
//   ^? −− "business" | "media" | "people"

其中的关键位是as const 和type TheValueUnion = (typeof categoryArray)[number]["val"];，分解如下：

1. typeof categoryArray 获取 categoryArray 的类型（推断的类型，因为我们没有指定特定的类型）。
2. [number] 访问由categoryArray 类型上的数字索引的类型的联合。
3. ["val"] 访问来自 #2 的并集上 val 属性的类型并集，这是您想要的字符串文字类型："business" | "media" | "people"。