如何实现仅接受特定字符串值的TypeScript子类型？

你想要基于原始Plan类型创建kind字段受限的子类型，不需要重复定义公共字段，以下是几种可行的方案：

方案一：交叉类型（简洁直接） #

保留原始Plan类型，通过交叉类型覆盖kind字段为更具体的字面量类型：

export type Plan = {
  client_uuid: string;
  name: string;
  kind: string;
};

export type FinancialPlan = Plan & {
  kind: "protection" | "insurance";
};

export type MortgagePlan = Plan & {
  kind: "mortgage";
};

这种方式无需修改原始类型，利用TypeScript的类型兼容规则——字面量类型是string的子类型，交叉后的类型自然成为Plan的有效子类型。

方案二：泛型基类型（灵活扩展） #

将Plan设计为泛型类型，创建子类型时直接传入特定的字面量参数：

export type Plan<T extends string = string> = {
  client_uuid: string;
  name: string;
  kind: T;
};

// 生成带特定kind限制的子类型
export type FinancialPlan = Plan<"protection" | "insurance">;
export type MortgagePlan = Plan<"mortgage">;

// 默认使用原始的string类型
type DefaultPlan = Plan; // kind类型为string

该方案兼顾了原始类型的通用性和子类型的特殊性，后续新增其他kind类型的子类型时只需传入新的字面量即可。

方案三：Omit+交叉类型（语义明确） #

如果需要明确替换原kind字段的类型，可以先用Omit移除原始字段，再添加具体类型：

export type Plan = {
  client_uuid: string;
  name: string;
  kind: string;
};

export type FinancialPlan = Omit<Plan, "kind"> & {
  kind: "protection" | "insurance";
};

export type MortgagePlan = Omit<Plan, "kind"> & {
  kind: "mortgage";
};

这种写法语义更清晰，适合原字段类型与目标类型不兼容的场景（不过这里字面量是string的子类型，方案一更简洁）。

关于你最初代码的修正 #

你尝试用extends定义类型别名的语法有误，TypeScript中类型别名无法直接用extends语法继承，但可以用接口实现合法的继承重写：

export interface Plan {
  client_uuid: string;
  name: string;
  kind: string;
}

export interface FinancialPlan extends Plan {
  kind: "protection" | "insurance"; // 接口允许将字段重写为更具体的类型
}

export interface MortgagePlan extends Plan {
  kind: "mortgage";
}

接口继承时细化字段类型是TypeScript中子类型的标准实现方式，完全符合类型系统规则。

你可以根据自身代码结构选择合适的方案，泛型方案适合长期扩展，交叉类型适合快速实现，接口继承适合用接口组织类型的场景。

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