如何避免TypeScript中ApiConfig重复定义并约束selectedTags为tagTypes子集？

最初定义了如下ApiConfig泛型类型：

type ApiConfig<TagTypes extends string[]> = {
  selectedTags: Array<TagTypes[number]>
}

核心目的是强制selectedTags必须为TagTypes的子集。为了让TagTypes在运行时可访问，更新后的代码如下：

type ApiConfig<TagTypes extends string[]> = {
  tagTypes: TagTypes
  selectedTags: Array<TagTypes[number]>
}

const apiConfig: ApiConfig<["Post", "Comment"]> = {
  tagTypes: ["Post", "Comment"],
  selectedTags: ["Comment"],
}

可以看到["Post", "Comment"]被重复书写了两次，如何避免这种冗余，同时确保selectedTags始终是tagTypes的子集？TypeScript是否提供对应的类型定义方式？

可以通过类型推导或泛型函数两种方式解决这个问题，同时保留类型约束：

方案1：利用typeof推导类型 #

先定义运行时的标签数组常量，再通过typeof自动推导泛型参数，避免手动重复数组内容：

type ApiConfig<TagTypes extends string[]> = {
  tagTypes: TagTypes
  selectedTags: Array<TagTypes[number]>
}

// 定义运行时标签数组，用as const将其转为只读元组类型
const tagTypes = ["Post", "Comment"] as const;

// 通过typeof tagTypes推导泛型，无需手动指定
const apiConfig: ApiConfig<typeof tagTypes> = {
  tagTypes,
  selectedTags: ["Comment"], // 类型校验通过，只能是tagTypes中的元素
};

as const是关键，它会让TypeScript将数组推断为只读元组（readonly ["Post", "Comment"]），既保证tagTypes的元素不可修改，也让selectedTags的类型被严格约束为元组内的元素。

方案2：使用泛型函数自动推导 #

定义一个泛型函数来创建配置对象，让TypeScript自动根据传入的tagTypes推导泛型参数，无需手动指定：

type ApiConfig<TagTypes extends string[]> = {
  tagTypes: TagTypes
  selectedTags: Array<TagTypes[number]>
}

// 泛型函数，自动推导TagTypes类型
function createApiConfig<TagTypes extends string[]>(config: ApiConfig<TagTypes>) {
  return config;
}

// 直接传入配置，TypeScript自动完成类型推导与校验
const apiConfig = createApiConfig({
  tagTypes: ["Post", "Comment"],
  selectedTags: ["Comment"], // 自动约束为tagTypes的子集
});

如果需要更严格的类型约束（避免tagTypes被推断为宽泛的string[]），可以调整泛型约束并配合as const：

function createApiConfig<TagTypes extends readonly string[]>(config: {
  tagTypes: TagTypes
  selectedTags: Array<TagTypes[number]>
}) {
  return config;
}

const apiConfig = createApiConfig({
  tagTypes: ["Post", "Comment"] as const,
  selectedTags: ["Comment"],
});

以上两种方案都能有效消除代码冗余，同时确保selectedTags始终是tagTypes的子集。

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