向JavaScript添加静态类型的重点是提供有关类型安全性的一些保证.我注意到数组索引似乎打破了类型安全性而没有使用像任何或非null断言运算符那样的任何脏技巧.let a: Array<number> = [1,2,3,4]; let b: number = a[4]; //undefined此代码不会导致任何TypeScript错误,即使很明显它会违反类型安全性.在我看来,阵列的类型< T>由index []操作的应该是类型T |未定义,但TypeScript编译器将其视为类型T. 经过进一步调查,我发现这种行为也...