文档似乎没有规定键必须是字符串。

这与键是否为字符串无关-判别式必须是字面类型的。number 和 string 不是有效的判别式，而且也无法通过 typeof 进行判别式检查。

typeof 在某些情况下可以工作，但我完全不理解它。

?????????????????

看起来只有特定的联合类型会触发这个bug。在这个例子中，只有数字和字符串的联合触发了bug,可能是因为它被推断为 number | string 。当我将其更改为另一个基本类型的联合或字面量类型时，Discriminated 可以成功工作。

boolean 在内部被视为 true | false,它是字面类型的，并使属性具有区分性。

这是我第一次看到 typeof 可以用于缩小一个被区分的联合体。这是一种高度非正统的做法(在这种情况下，甚至具有误导性)。维护者一直说，被区分的联合体缩小只适用于直接值比较(即 x[0] === 'foo' )。

通过在区分联合体上使用类型缩小是通过寻找看起来像判别属性的属性来实现的...但是 string[] 和 number[] 没有这样的属性！这是可以做到的，但现在还不是正确的方法。

这里有一个奇怪的现象，如果不是 union type 只有 string[] 的情况，这个问题有一个部分解。

type A = ({ [0]: number } & number[]) | ({ [0]: boolean } & boolean[])

declare const a: A

if (typeof a[0] === 'number') {
    console.log(a)
    //          ^? { [0]: number } & number[]
}
if (typeof a[0] === 'boolean') {
    console.log(a)
    //          ^? { [0]: boolean } & boolean[]

Playground Link
如果我们用 string[] 替换 boolean[],那么就会产生一个问题。

type A = ({ [0]: number } & number[]) | ({ [0]: string } & string[])

declare const a: A

if (typeof a[0] === 'number') {
    console.log(a)
    //          ^? A
}
if (typeof a[0] === 'string') {
    console.log(a)
    //          ^? A

Playground Link