TypeScript是用于应用程序级JavaScript的语言。TypeScript为JavaScript添加了可选类型，这些类型支持针对任何操作系统上的任何浏览器，任何主机的大规模JavaScript应用程序的工具。

TypeScript兼容JavaScript，可以载入JavaScript代码然后运行。TypeScript与JavaScript相比，进步的地方包括：加入注释，让编译器理解所支持的对象和函数，编译器会移除注释，不会增加开销；增加一个完整的类结构，使之成为一个全新的面向对象语言。

元祖类型的 Rest 元素支持放置在元组中的任何位置

在以前的版本中，TypeScript 仅允许 rest 元素位于元组类型的最后位置，但现在 rest 元素可以在元组中的任何位置出现，唯一的限制是只要它后面没有其他可选元素或 rest 元素即可。换句话说，每个元组仅一个 rest 元素，rest 元素之后没有可选元素。

let foo: [...string[], number];

foo = [123];

foo = ["hello", 123];

foo = ["hello!", "hello!", "hello!", 123];

let bar: [boolean, ...string[], boolean];

bar = [true, false];

bar = [true, "some text", false];

bar = [true, "some", "separated", "text", false];

更智能地保留类型别名

模板字面量表达式已具有模板字面量类型

TypeScript 4.1 引入了一种新的类型：模板字面量类型 (template literal types)。此类型能够对字符串的特定模式进行建模。

type GreetingStart = "hello" | "hi" | "sup";

declare function greet(str: `${GreetingStart} ${string}`): void;

// Works.
greet("hello world!");

// Works.
greet("hi everybody!");

// Error!
// Doesn't work with any of the patterns:
//   `hello ${string}` | `hi ${string}` | `sup ${string}`
greet("hallo yes hi sup");
但在 4.1 中，模板字符串类型和模板字符串表达式之间存在一些奇怪的不一致地方。这是因为模板字符串表达式无法与新的模板字符串类型兼容。

因此在 TypeScript 4.2 中，模板字符串表达式现在总是以模板字面量类型开始。

为 in 运算符执行更严格的检查
放宽可选属性和字符串索引签名之间的规则
声明缺失的辅助功能

相关阅读

同类推荐：站长常用源码