如何从 Typescript 中类型化对象的属性值生成类型？

Question

假设我有一个 interface 描述了一个库，其中的项目看起来像这样：

interface MyItem {
  category: string,
  title: string
}

现在我有一个包含这些 MyItems 的配置文件：

const myLibrary: MyItem[] = [
  {
    category: "dogs",
    title: "Fuzzy quadrupeds" 
  },
  { 
    category: "snakes",
    title: "Slithery reptiles"
  },
  ...
]

现在，我想创建一个包含MyItem[] 中所有category 的类型

如果我这样做： type Category = typeof MyItem[number]["category"]我得到string。

如果我从myLibrary（即const myLibrary = [ {...} ]）中删除输入并得到我想要的：

这意味着 type Category = typeof MyItem[number]["category"] 为我提供了我想要的 dogs | snakes 联合类型，但当然在我的配置文件中创建新项目时我会丢失类型。

Answer 1

我们希望限制 myLibrary 中的项目，以便它们必须实现 MyItem，但我们希望以保留特定项目的特定类型且不将类型扩大到仅 MyItem 的方式进行.

仅通过为常量分配类型很难做到这一点。一种常用的模式是通过恒等函数创建常量。通过函数，我们可以使用extends 语法来确保T extends MyItem[] 同时保持T 特定。

我必须使用as const 来获取文字类别名称，所以我还必须在函数参数中允许readonly。

interface MyItem {
  category: string,
  title: string
}

const buildLibrary = <T extends readonly MyItem[]>(library: T): T => library;

const myLibrary = buildLibrary([
  {
    category: "dogs",
    title: "Fuzzy quadrupeds" 
  },
  { 
    category: "snakes",
    title: "Slithery reptiles"
  }
] as const);

type Categories = (typeof myLibrary)[number]['category'] // "dogs" | "snakes"

Typescript Playground Link

Answer 2

不要复杂

type Categorías = 'Food' | 'categoy1' | 'cstegory2'

interface MyItem {
  category: Categories;
  title: string
}

const myLibrary: MyItem[] = [
  {
    category: "dogs",
    title: "Fuzzy quadrupeds" 
  },
  { 
    category: "snakes",
    title: "Slithery reptiles"
  },
  ...

Answer 3

如果我没听错的话，你想要这个：How to create enum like type in TypeScript? 然后将 MyItem 指定为

interface MyItem: {
    category: MyDogSnakeType,
    title: string
}