如何让TypeScript确保Store的postId始终存在于posts数组中？

要实现「postId不为null时必然存在于posts数组的id集合中」的约束，可通过TypeScript泛型和条件类型实现，以下是两种可行方案：

方案一：泛型绑定id联合类型 #

定义泛型Store类型，用泛型参数限定postId的可选值范围为posts的id联合类型：

type Post = {
  id: number;
  title: string;
  body?: string;
};

// 泛型Store，T为posts中id的联合类型
type Store<T extends number = never> = {
  postId: T | null;
  // 约束posts数组中所有元素的id都属于T类型
  posts: Post[] & { [K in keyof Post[]]: Post & { id: T } };
  addPost: (post: Omit<Post, "id">) => Promise<void>;
  updatePost: (id: T, post: Partial<Post>) => Promise<void>;
};

// 实例化时指定id联合类型，postId只能取指定值或null
const initialStore: Store<1 | 2> = {
  postId: 1,
  posts: [
    { id: 1, title: "第一篇帖子" },
    { id: 2, title: "第二篇帖子" }
  ],
  addPost: async (post) => {},
  updatePost: async (id, post) => {}
};

// 错误示例：postId设为3会触发类型报错
// const badStore: Store<1 | 2> = {
//   postId: 3, // Type '3' is not assignable to type '1 | 2 | null'
//   posts: [{ id: 1, title: "第一篇帖子" }],
//   addPost: async () => {},
//   updatePost: async () => {}
// };

方案二：自动提取元组的id类型 #

如果初始posts是固定元组，可通过条件类型自动提取其中的id联合类型，无需手动指定泛型参数：

type Post = {
  id: number;
  title: string;
  body?: string;
};

// 从Post元组中提取所有id的联合类型
type ExtractPostIds<T extends Post[]> = T[number]["id"];

// Store类型依赖于posts元组的具体id
type Store<T extends Post[]> = {
  postId: ExtractPostIds<T> | null;
  posts: T;
  addPost: (post: Omit<Post, "id">) => Promise<void>;
  updatePost: (id: ExtractPostIds<T>, post: Partial<Post>) => Promise<void>;
};

// 传入具体元组后，TypeScript自动推导postId的可选值
const initialStore: Store<[{ id: 1, title: "第一篇" }, { id: 2, title: "第二篇" }]> = {
  postId: 2,
  posts: [
    { id: 1, title: "第一篇" },
    { id: 2, title: "第二篇" }
  ],
  addPost: async (post) => {},
  updatePost: async (id, post) => {}
};

注意事项 #

• 以上方案均为编译期约束，若运行时通过addPost动态添加新id，需手动维护类型一致性（比如使用类型断言更新泛型参数）。
• 方案一适合动态场景，可灵活调整id范围；方案二更适合初始数据固定的场景，无需手动指定id联合类型。

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