如何定义对象类型的真正逻辑或（结果中不混合不同的对象键）[重复]

Question

一个例子：

type TA = {a:number,b:number}
type TB = {a:number,c:number,d:number}
const t1:Or<TA,TB> = {a:1,b:1} // want
const t2:Or<TA,TB> = {a:1,c:1,d:1} // want 
const t3:Or<TA,TB> = {a:1,b:1,c:1} // DON'T want 

期望的结果是 t1 有效，因为它完全适合 TA，t2 有效，因为它完全适合 TB，但 t3 无效，因为它不完全适合TA 或TB。

什么时候

type Or<T,U>=T|U

TypeScript 实际上认为t3 是有效的。 TypeScript union type | 还允许合并键对象，有时还允许合并部分对象。

将每种类型放在一个元素数组中，如下所示：

type T0 = {a:number,b:number}
type T1 = {a:number,c:number,d:number}
type Test=[T0]|[T1]
const t1:Test=[{a:1,b:1,}]  
const t2:Test=[{a:1,c:1,d:1}]  
const t3:Test=[{a:1,b:1,c:1}] // fails as desired

有效，但被测对象也必须放在单元素数组中。

有什么办法可以解决吗？

Answer 1

原因

在 TypeScript 中，| 不是运算符*，它表示该类型是左侧和右侧类型的并集。如果您要理解为什么{a:number,b:number} | {a:number,c:number,d:number} 允许{a:number,b:number,c:number}，这一点很重要。

当你声明一个联合时，你告诉编译器一个可分配给联合的类型应该可以分配给它的至少一个成员。考虑到这一点，让我们从这个角度检查{a:number,b:number,c:number}类型。

联合的左侧成员是{a:number,b:number}，这意味着可分配给它的类型必须至少有两个number类型的属性：a和b（有excess property checks的概念对于对象文字，但是，正如 TJ Crowder 的 mentioned 一样，这不适用于联合）。来自the handbook**：

编译器只检查是否至少存在所需的并匹配所需的类型

因此，由于{a:number,b:number,c:number} 可分配给{a:number,b:number}，因此不再需要检查 - 该类型至少满足联合的一项要求。顺便说一句，这种行为完全符合逻辑 OR 的真值表，类似于联合。

---

您通过将类型包装成元组来解决此问题的尝试依赖于naked vs. wrapped 类型参数行为。因为您将类型包装在元组中，所以编译器会将一个元素的 元组 相互比较。显然，第三个元组与第一个和第二个元组不同，这给了你想要的结果。

---

什么

您真正想要的是逻辑 XOR 表现出的行为：其中之一，但不是两者。除了使用tagged types（TJ Crowder 的mentioned）之外，还可以定义一个实用程序，将一对类型转换为“来自 A 且存在于两者中但不存在于 A 中的所有道具”类型的联合：

type XOR<A,B> = ({ [ P in keyof A ] ?: P extends keyof B ? A[P] : never } & B) | ({ [ P in keyof B ] ?: P extends keyof A ? B[P] : never } & A);

这是它的工作原理（该实用程序的权衡是多余的属性被泄露给智能感知，但由于never，立即不允许指定它）：

const t0:XOR<TA,TB> = {a:1} //property 'b' is missing
const t1:XOR<TA,TB> = {a:1,b:1} // OK
const t2:XOR<TA,TB> = {a:1,c:1,d:1} // OK 
const t3:XOR<TA,TB> = {a:1,b:1,c:1} // types of property 'c' are incompatible

Playground

---

* | 是运算符的概念出现在 first revision 中，后来被删除

** 必须注意，这并不意味着 all 在找到匹配项时会检查短路。在这种情况下，联合的所有成员本身都是对象文字，因此对已知属性的约束仍然适用于每个成员，如果在赋值期间存在未知属性，则会导致 TS2322 错误：

const t4:XOR<TA,TB> = {a:1,b:1,c:1, g:3} //Object literal may only specify known properties