泊一的博客

泛型（Generics）是指在定义函数、接口或类的时候，不预先指定具体的类型，而在使用的时候再指定类型的一种特性。

type str = string let s : str = '我是张三' console . log(s)

有时候，我们会想要为那些在编程阶段还不清楚类型的变量指定一个类型。类型是那些总是会抛出异常或根本就不会有返回值的函数表达式或箭头函数表达式的返回值类型；类型相反，它表示没有任何类型。类型就相当于原型链上的继承，所有类型都指向它 ，这就相当于any类型了。类型是任何类型的子类型，也可以赋值给任何类型；就是上面的可以包含下面,就是可以用下面的类型给上面类型赋值。类型表示的是那些永不存在的值的类型。，但是当没有类型断言或基于控制流的类型细化时。类型，当它们被永不为真的类型保护所约束时。是所有类型的子类型。

在TypeScript是不允许直接在定义变量的 需要在上面先声明类只能继承（extends）类，实现（implements）接口类可以实现接口或类，类不可以继承接口，类只能继承类接口不能实现接口或者类，可以继承接口或类可多继承或者多实现。

这种方式可以告诉编译器，“相信我，我知道自己在干什么”。类型断言好比其它语言里的类型转换，但是不进行特殊的数据检查和解构。它没有运行时的影响，只是在编译阶段起作用。TypeScript会假设你，程序员，已经进行了必须的检查。如果没有明确的指定类型，那么 TypeScript 会依照类型推论（Type Inference）的规则推断出一个类型。至于使用哪个大多数情况下是凭个人喜好；然而，当你在TypeScript里使用JSX时，只有。类型断言有两种形式。语法断言是被允许的。

交叉类型是将多个类型合并为一个类型。这让我们可以把现有的多种类型叠加到一起成为一种类型，它包含了所需的所有类型的特性。联合类型表示一个值可以是几种类型之一。就是说这个类型的对象同时拥有了这三种类型的成员。）分隔每个类型，所以。

基本类型对象类型。

它描述了对象索引的类型，还有相应的索引返回值类型需要注意的是，一旦定义了任意属性，那么确定属性和可选属性的类型都必须是它的类型的子集。和类一样，接口也可以相互继承。这让我们能够从一个接口里复制成员到另一个接口里，可以更灵活地将接口分割到可重用的模块里。接口能够描述JavaScript中对象拥有的各种各样的外形。除了描述带有属性的普通对象外，接口也可以描述函数类型。操作符，可选属性的含义是该属性可以不存在。比如用于判断数据唯一性标识的id,就可以用。可以保证数据只读，不能修改。