mengran_code的博客

如果T满足这个条件（实际上，由于泛型约束，它总是满足的），那么TypeScript将使用infer关键字来推断出函数的返回类型，并将其赋值给R。在TypeScript中，ReturnType 是一个内置的条件类型（Conditional Type），它用于获取一个函数返回值的类型。这个工具类型非常有用，特别是当你需要引用某个函数的返回类型，但又不想直接写出那个具体的类型时。如果T不满足条件（但实际上由于泛型约束，这种情况不会发生），则条件类型的“假”分支（即:后面的部分）将被使用，这里是any。

泛型（Generics）是指在定义函数、接口或类的时候，不预先指定具体的类型，而在使用的时候再指定类型的一种特性。return arg// 泛型也可以传入多个值。

上述代码，通过泛型类型＜T＞（arg：T）定义了一个泛型函数变量arrow_echo_type，并指定为泛型函数echo_type。上述代码，声明了一个接口IGenericsEcho，通过对象字面量“＜T＞（arg：T）：T”定义了泛型函数的类型。上述代码定义了一个泛型函数echoVar，参数arg定义为类型＜T＞的数组形式Array＜T＞。上面代码声明了一个泛型接口IGenericsEcho＜T＞，接口类型为“（arg：T）：T”。进一步在接口声明中直接加上类型＜T＞，写成真正的泛型接口形式。

TypeScript 代码最终都会被编译成 JavaScript 代码来运行。这个编译的过程需要使用 TypeScript 编译器，我们可以为该编译器配置一些编译选项。在 TypeScript 项目的根目录下执行 “tsc-init” 命令，快速创建一个 tsconfig.json 文件。该文件用于配置 TypeScript 编译项目时编译器所需的选项。"target": "es2016", // 编译生成的目标版本代码。

通常使用 class 关键字来定义类。类内部可以声明各种属性，包括类型声明和初始值设定。如果没有类型声明，则默认为 any 类型。属性可以有初始化值。在 默认的 strictPropertyInitialization 模式下，属性必须初始化，否则编译时会报错。类可以有自己的构造函数(constructor), 当使用 new 关键字创建实例时，构造函数会被调用。另外，构造函数不需要返回任何值，它默认返回当前创建的实例。类可以有自己的函数，这些函数称为方法。

TypeScript 是 JavaScript 的超集，它带有类型并编译出干净的 JavaScript 代码。TvpeScript支持 JavaScript 的所有特性，并跟随 ECMAScript 标准的发展，因此支持ES6/ES7/ES8 等新语法标准。除了类型约束，TypeScript 还增加了一些语法扩展，例如枚举类型、元组类型等。TypeScript 总是与 ES 标准保持同步甚至领先，最终编译成JavaScript 代码，不存在兼容性的问题，不需要依赖 Babel 等工具。