如何扩展泛型约束的联合类型？TypeScript自定义Hook问题

问题原因 #

你的自定义Hook泛型约束<T extends Operations>强制要求T必须是Operations的子集，但你定义的ExtendedOperations是Operations的超集（多了'RESTORE'），因此不符合约束条件，触发TS2344错误。

解决方案 #

调整泛型约束逻辑，让Hook既保留默认的Operations类型，又支持外部扩展联合类型。以下是最简洁实用的实现方式：

修改Hook的泛型约束 #

将泛型约束改为<T extends string = Operations>，默认使用Operations，同时允许传入任意字符串字面量组成的联合类型：

export type Operations = 'CREATE' | 'EDIT' | 'DELETE';

export const useMyHook = <T extends string = Operations>() => {
    const [operation, setOperation] = useState<T | undefined>()
    // ...其他逻辑
}

正常使用扩展类型 #

修改后直接传入扩展后的联合类型即可，不再触发类型错误：

export type ExtendedOperations = Operations | 'RESTORE';
const {x} = useMyHook<ExtendedOperations>()

可选：确保扩展类型包含基础操作 #

如果你需要强制T必须包含Operations的所有成员（不能替换基础操作），可以调整约束为：

export type Operations = 'CREATE' | 'EDIT' | 'DELETE';

export const useMyHook = <T extends Operations = Operations>() => {
    const [operation, setOperation] = useState<(Operations | Exclude<T, Operations>) | undefined>()
    // ...其他逻辑
}

这种写法会确保T至少包含基础操作，同时允许添加新的操作类型。

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