typescript - 为什么元组推理从 any[] 变成 [string, string, ... ] 而从 string[] 变成 ['literal1' , 'literal2' , ... ]

Question

我已经阅读了这个答案https://stackoverflow.com/a/45486495/1108891 ，它演示了元组类型推断。经过一些实验，我遇到了这种情况。

---

当我们的 tuple 函数有 T extends string[] 时，元组有 string literal 类型。

export const tuple_0 = <T extends string[]>(...args: T): T => args;

const ALL_SUITS_0 = tuple_0('hearts', 'diamonds', 'spades', 'clubs');

type T0 = typeof ALL_SUITS_0; // ["hearts", "diamonds", "spades", "clubs"]

另一方面，对于 T extends any[]，元组具有 string 类型(不是文字)。

export const tuple_1 = <T extends any[]>(...args: T) => args;

const ALL_SUITS_1 = tuple_1('hearts', 'diamonds', 'spades', 'clubs');

type T1 = typeof ALL_SUITS_1; // [string, string, string, string]

为什么在后一种情况下我们会丢失文字类型？

---

我怀疑这与类型推断允许自己采取多少具体步骤有关。即any距离string一步，string距离'some-string-literal'。类型推断是否只允许自己迈出一步？

Answer 1

这不一定特定于元组。如果类型参数具有可以具有文字类型的约束，则 Typescript 将为泛型参数推断文字类型。此行为是由 PR 引入的

来自公关:

During type argument inference for a call expression the type inferred for a type parameter T is widened to its widened literal type if [...] T has no constraint or its constraint does not include primitive or literal types

在你的问题的例子中，因为 string 是原始的，我们没有扩大，因为 any 不是原始的，我们扩大了。