如何通过多子类型约束父类型并保证TypeScript类型安全？

1. 父类型复用子类型实现类型安全 #

直接通过交叉类型合并已定义的子类型与独立属性类型即可，完全复用已有类型定义，避免手动重复编写属性，同时保证类型一致性：

type FooBar = {
  foo: string;
  bar: string;
};

type LoremIpsum = {
  lorem: string;
  ipsum: string;
};

type OtherType = { other: number };

// 交叉合并所有子类型，生成父类型
type Parent = FooBar & LoremIpsum & OtherType;

Parent类型会自动包含所有子类型的属性，且类型与子类型完全对齐，无需手动逐个定义。

2. 从父类型构造子类型，限制仅使用指定键 #

使用TypeScript内置的Pick工具类型，从父类型中精准挑选目标键，确保子类型仅包含父类型已存在的属性，避免手动定义时出现键名或类型不一致的问题：

type ParentType = {
  foo: string;
  bar: string;
  lorem: string;
  ipsum: string;
  other: number;
};

// 仅提取ParentType中的foo和bar属性
type FooBar = Pick<ParentType, 'foo' | 'bar'>;
// 仅提取ParentType中的lorem和ipsum属性
type LoremIpsum = Pick<ParentType, 'lorem' | 'ipsum'>;

后续若ParentType中对应属性的类型修改，子类型会自动同步更新，保证类型始终一致。

3. 交叉类型时父类型包含子类型外属性的处理 #

分两种场景处理：

• 场景1：用子类型扩展父类型：交叉后父类型的额外属性会被保留，最终类型为父类型与子类型的属性合并（需注意避免子类型与父类型出现同名属性，否则会导致类型冲突）。
• 场景2：从父类型剥离子类型属性，得到剩余部分：使用内置的Omit工具类型，排除子类型包含的键，自动得到父类型的剩余属性类型：

type ParentType = {
  foo: string;
  bar: string;
  lorem: string;
  ipsum: string;
  other: number;
};

type FooBar = Pick<ParentType, 'foo' | 'bar'>;
type LoremIpsum = Pick<ParentType, 'lorem' | 'ipsum'>;

// 排除FooBar和LoremIpsum的键，得到剩余的other属性类型
type OtherType = Omit<ParentType, keyof FooBar | keyof LoremIpsum>;

这样OtherType会自动继承ParentType中other的类型，无需手动重复定义。

4. 单独定义未被任何组件使用的OtherType是否合理 #

分情况判断：

• 合理场景：如果OtherType对应的属性属于独立业务域，未来有复用需求，或是为了代码语义化拆分（将不同职责的属性归类到不同类型），即使当前未被组件使用，单独定义能提升代码的可维护性和扩展性。
• 不合理场景：如果只是单纯为拆分而拆分，既无语义化价值，也没有未来复用的预期，单独定义会增加不必要的类型维护成本，此时直接将属性写在父类型中更简洁。

内容的提问来源于stack exchange，提问作者Fer-de-lance