使用联合类型的条件映射使函数不可调用答案

【问题标题】：Conditional mapped typed with unions make functions uncallable使用联合类型的条件映射使函数不可调用
【发布时间】：2018-03-22 21:57:15
【问题描述】：

type Container<T> = T extends any[] ? ArrayContainer<T> : ObjectContainer<T>

type ArrayContainer<T> = {
  set(arr: T, index: number): void
}

type ObjectContainer<T> = {
  set(obj: T): void
}

const testContainer = {} as any as Container<{ boxedNumber: number } | number>

// Does not compile
testContainer.set(33)

条件类型决定返回一个ObjectContainer<{ boxedNumber: number }> | ObjectContainer<number>，使得调用 ObjectContainer 上的任何函数都是不可能的。

有没有办法强制返回ObjectContainer<{ boxedNumber: number } | number>？

使用可用的最新 2.8 版本。

【问题讨论】：

标签： typescript

【解决方案1】：

正如@TitianCernicovaDragomir 所指出的，您的问题是T extends XXX ? YYY : ZZZ 中带有裸类型参数T 的条件类型最终分布在T 中的联合上。这是as designed，但有一个de-facto standard workaround：将T 和XXX“装箱”成一个单元组，如[T] extends [XXX] ? YYY : ZZZ。这使得条件不依赖于裸类型参数，并且不再破坏联合。（T 最终处于协变位置的任何东西都应该工作......{a: T} extends {a: XXX} 也可以工作）。这很可能会继续工作并得到支持，因为 @ahejlsberg 是推荐它的人，而他是 TypeScript 中的 main architect of conditional types。

所以在你的情况下你会这样做

type Container<T> = [T] extends [any[]] ? ArrayContainer<T> : ObjectContainer<T>

它会根据需要将Container<string | number> 解释为ObjectContainer<string | number>。

但请注意，现在Container<string | number[]> 被解释为ObjectContainer<string | number[]>，因为string | number[] 本身并不是一个数组。可以吗？应该是ObjectContainer<string> | ArrayContainer<number[]>？还是ObjectContainer<string> & ArrayContainer<number[]>？或者是其他东西？没有把握。

希望有所帮助；祝你好运。

【讨论】：

你没有忘记实际的解决方案type Container<T> = [T] extends [any[]] ? ArrayContainer<T> : ObjectContainer<T> 吗？
我很好，只有纯数组进入 ArrayContainers，任何联合进入 ObjectContainer

【解决方案2】：

问题是条件类型会遍历联合中的类型并将条件应用于联合中的每个项目并联合结果，因此Container<{ boxedNumber: number } | number> 的结果将等同于ObjectContainer<number> | ObjectContainer<{ boxedNumber: number; }> 而不是ObjectContainer<number | { boxedNumber: number; }> .

您可以创建 Container<{ boxedNumber: number }> 和 Container 的交集类型，其行为类似于您对 Container<number | { boxedNumber: number }> 的期望

const testContainer = {} as any as Container<{ boxedNumber: number }> & Container<number>
testContainer.set(33)
testContainer.set({ boxedNumber: 19})

【讨论】：

如果 OP 想要阻止条件分布在联合上，事实上的标准方法是将条件“装箱”成一个像 type Container<T> = [T] extends [any[]] ? ArrayContainer<T> : ObjectContainer<T> 这样的单元组。
@jcalz 我不知道 :) 10x。你会添加答案吗，这是你的:)？
@jcalz 哇哦，没想到会这样。无论如何它都有效！这在未来打破的可能性有多大？如果您发布答案，很高兴批准这一点，是的。
呃，好吧，让我找到文档，我会发布答案。
我通常使用T[number & keyof T] 之类的东西来解决这个问题。或者你可以做丑陋的[T] extends [any[]] ? (T extends any[] ? T[number] : never) : ...

【解决方案3】：

看来你需要额外的类型参数。

type Container<T, R> = T extends any[] ? ArrayContainer<R> : ObjectContainer<R>;

type ArrayContainer<T> = {
  set(arr: T, index: number): void
}

type ObjectContainer<T> = {
  set(obj: T): void
}

const testContainer = {} as Container<{}, number>;
testContainer.set(10);

【讨论】：