TypeScript中如何将类型别名定义为另一个类型别名的子类型？

可以通过条件类型工具或接口继承实现让编译器强制检查类型别名必须是目标类型的子类型，避免出现不符合约束的定义。

方法1：使用条件类型做编译时检查 #

定义一个工具类型，用来验证目标类型是否符合父类型的约束，不符合则返回never触发编译错误：

type Predicate<TValue> = {
    op: "EQUAL" | "NOT_EQUAL",
    value: TValue,
}

type Predicates = Record<string, Predicate<string> | Predicate<boolean>>

// 工具类型：检查T是否是U的子类型，不满足则返回never
type EnsureSubtype<T, U> = T extends U ? T : never;

// 强制AnimalPredicates必须是Predicates的子类型
type AnimalPredicates = EnsureSubtype<{
    species: Predicate<string>,
    isMammal: Predicate<boolean>,
}, Predicates>;

当你写出不符合约束的代码时，比如把species定义为Predicate<number>：

type AnimalPredicates = EnsureSubtype<{
    species: Predicate<number>, // 编译器会直接报错：类型不兼容
}, Predicates>;

编译器会提示{ species: Predicate<number> }无法赋值给Predicates类型，因为Predicate<number>不在Predicates允许的取值范围内。

方法2：改用接口继承（如果场景允许） #

如果你的类型定义可以改用接口，直接用extends关键字就能强制继承父类型的约束：

interface AnimalPredicates extends Predicates {
    species: Predicate<string>,
    isMammal: Predicate<boolean>,
}

此时若你把species改为Predicate<number>，编译器会立刻报错，因为接口的属性类型必须兼容父类型的索引签名约束。

两种方案对比 #

• 条件类型方案更灵活，适合必须使用类型别名的场景；
• 接口继承方案更直观，代码可读性更高，适合可以用接口替代类型别名的场景。

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