排除定义冲突

Question

混乱之处在于，如果三元条件返回false，它是否应该返回T-U而不是T，因为我们可能只想返回T-U属性，以防T不是U的扩展。

让我们举一个例子1

U = "name", T = "id" | "name";

如果我理解正确的话，TextendsU在本例中是false，因为T没有从U继承所有属性。因此，我们应该返回t-u，即“id”，这是exclude运算符的期望输出。

U = "name", T = "id" | "email"

那么，正确的定义是什么，即T扩展U？从不:t或t扩展u？从不:T-U？

Answer 1

正如@ArtCorpse在评论中所说，条件类型是这样解析的：

with T = A | B | C;

T extends U ? X : Y

手段

(A extends U ? X : Y) | (B extends U ? X : Y) | (C extends U ? X : Y)

所以在你的例子中：

U = "name";
T = "id" | "name";

T extends U ? X : Y
=>
("id" extends "name" ? never | "id") | ("name" extends "name" ? never | "id")
=>
"id" | never
=>
"id"