我正在try 重新组织打字字体中的一些字段，但遇到了一个错误.以下是我的代码的简化版本:
interface Test {
data: string;
where: string;
}
type TTA<T extends Test> = Pick<Omit<T, "data">, "where">;
我收到一个错误，显示为:Type '"where"' does not satisfy the constraint '"data" | Exclude<keyof T, "data">'.ts(2344).然而，如果我这样使用它，它工作得很好:
type TTB = Pick<Omit<Test, "data">, "where">;
有人能帮助我解决这个错误并解释为什么第一种方法没有按预期工作吗？
您遇到了字体的设计限制，如第microsoft/TypeScript#53368节所述
问题在于
type TTA<T extends Test> = Pick<Omit<T, "data">, "where">;
Omit<T, "data">取决于判断generic类型T的conditional type.(The Omit utility type是用the Exclude utility type实现的，the Exclude utility type实现为条件类型.)而且这种类型对于类型判断器来说是出了名的难以分析.泛型条件类型对于编译器来说本质上是不透明的；它不能像人类那样计算不变量(另外，单词"Omit"是对人类的暗示，而不是对编译器).因此，尽管人类可能会推断，对于所有T extends Test,Omit<T, "data">必须包含where属性，因为T包含where属性，而Omit不会删除它，编译器只是放弃，无法验证这一点.
解决错误在某种程度上是一个主观问题，即决定如何让编译器相信该属性是可接受的:
// like this
type TTB<T extends Test> = Pick<Omit<T, "data"> & { where?: any }, "where">;
// or maybe like this
type LoosePick<T, K extends PropertyKey> = Pick<T, K & keyof T>
type TTC<T extends Test> = LoosePick<Omit<T, "data">, "where">;
// et cetera