1

我的理解是：第一种情况 xxx 在编译器看来不存在「空」或「未定义」的可能，所以加问号是多此一举？

2

4

5

可选链 `?.` 是针对值可能为空(`null` or `undefined`)的变量的语法, 既然已经确定值类型为 `string`, 那就使用可选链的语法就是错的了

6

7

8

1

@w568w #6 typescript 有 strictNullChecks 选项，其实是可以的

10

第二个并不是没有赋值，而是被隐式赋值为 undefined ，因为你的类型定义允许该变量为 undefined 。
而第一个的错误，自然是被定义为 string 类型的变量，不能被初始化为 undefined ，所以第一句只构成声明，不存在隐式 undefined 赋值。typescript 允许将声明与赋值分离，进行延迟初始化，只要你在使用前进行赋值就不会有问题。第二行在使用变量前，并没有初始化，所以才会报错。
和?可选没关系，确定类型也可以用可选操作符的，不然做一次 if 判断，将 string | undefined 缩窄为 string 后，?难不成还得删掉

11

Variable 'xxx' is used before being assigned.(2454)
在 TypeScript 中，当你使用 let 声明一个变量但不赋值时，该变量默认为 undefined ，直到你给它赋值。
虽然你声明了 xxx 的类型为 string ，但由于没有初始化，TypeScript 认为它可能是 undefined 。
即使你使用了可选链操作符 ?.（它本来是用来安全地处理可能为 null 或 undefined 的值），TypeScript 仍然会警告你变量在赋值前被使用。

12

基本上理解了。感谢大家