为啥这个变量的类型和预期的不一样？？

[love]

const a: number[] = []
const next: number | undefined = a[1]
const x = next

查看 Playground

这里 x 的类型是 number，怎么不是 number | undefined ?

我的意思是表示从数组中取一个值，它可能是 undefined，有什么标准写法？

[rekey]

自动推导出 x 是 a[1]
a 是 number[] 那 a[1] 是啥？

[weakish]

其实 next 你如果不注解的话，ts 自动推导的结果也是 `number`。所以你这里需要给 `x` 也加注解。

之所以 ts 这里的类型直接推断为 number 是因为从数组中取一个值太常见了，给它开了后门，可以看 Anders Hejlsberg 本人的发言 aHR0cHM6Ly9naXRodWIuY29tL01pY3Jvc29mdC9UeXBlU2NyaXB0L3B1bGwvNzE0MCNpc3N1ZWNvbW1lbnQtMTkyNjcwNDUz (抱歉我不能直接贴 url，因为我的 V2EX 账号没绑手机，请自行转换一下）

[love]

@weakish 后来发现这个倒是不关数组的问题

const next: number | undefined = 100
这里 next 的类型实际上不是声明里指定的 number | undefined，而是 number
和别的静态类型语言如 java 概念不一样，这个不太好理解上去。

[chnwillliu]

@love 不是的呀，你没开 strictNullChecks，所以 null 和 undefined 是所有类型的子类型，也就是说变量 next 是 number 类型隐含了它可能为 undefined。

[love]

@chnwillliu
开启时 next 也是 number 没有带 undefined

const next: number | undefined = 100 as any
const x: number = next
const y: number | undefined = next
这里 x 会报错。

const next: number | undefined = 100
const x: number = next
const y: number | undefined = next
这里不报错。

这个类型声明没什么用，看的是右边是啥类型。