打字稿不能用通用扩展字符串联合类型推断出正确的类型？

Question

type Test = 'a' | 'b' | 'c';

function foo<T extends Test>(arg: T) {
  if (arg === 'a') {
    console.log(arg);
  }
}

像这样.. 我希望 arg 在 if 块中推断为“a”。

但 ts 推断为只是 T。

为什么会出现这种情况？

我觉得extends这个关键字有点意思……

Answer 1

问题是你的类型 T 不是 Test 而是一个子集，我们可以说每个可以用来代替 T 的类型，并且每个 for union 表示具有相同或更少的类型工会成员。考虑扩展 Test 的示例类型：

type Test = 'a' | 'b' | 'c';
type SubTest = 'b' | 'c'

type IsSubTest = SubTest extends Test ? true : false // evaluates to true

如您所见，SubTest 没有a 成员，但它可以分配给Test，因此我们可以将foo 函数用于此类类型。

const arg: SubTest = 'b'
foo(arg)

一切都好，没有错误。但这意味着您的条件arg === 'a' 永远不会满足，因为SubTest 中没有成员a，这就是为什么TS 不能假设在我们使用a 的条件内，因为在这种情况下这个分支完全无法访问，在里面输入never。我们甚至可以编写这样的函数并检查：

function foo(arg: SubTest) {
  if (arg === 'a') { // compilation error, condition will be always false
    console.log(arg);
  }
}

好的，但是即使 TS 没有缩小到 a，因为条件很明确，任何可以通过的都是 a，毫无疑问在这里！

让我们尝试手动重现存在于原始条件中的相同类型保护，并且条件检查左侧值 x（从 Test 扩展）是否等于右侧值说 y（从 Test 扩展）

function isTestMember<X extends Test, Y extends Test>(x: X, y: Y): x is Y { 
  return x == y  // error we cannot compare member of X with member of Y
}

如你所见，这样的 typeguard 甚至无法编写。由于 X 和 Y 不能重叠，因此条件 x === y 不适用于 X 和 Y 的所有成员

总而言之，TS 不能将不能重叠的类型的条件考虑为类型保护，因此类型不会缩小。