TypeScript从入门到实践

TypeScript 2.8版本引入了条件类型（Conditional Types），TS条件类型可以进行类型选择，具体用法可以使用三元运算符实现，JS中的三元运算符用法一样，通过判断得到最终结果

前言 TS中实现对象属性必选、对象属性在开发过程中十分常见，前端在传参数时，有些参数比必传，有些是选传，我们可以定一个多个对象来实现传参，但是这让代码变得冗余。

装饰器（Decorator）是一种特殊类型的声明，它能够被附加到类声明、方法、属性或参数上，装饰器的本身。其本身是一个函数，会在运行的时候被调用，被装饰的声明信息会作为参数传递给装饰器函数，当作形参。

泛型是什么呢？它可以说是一种**类型占位符**，也可以说是**类型变量**，需要注意的是它一种特殊的变量，只用于表示类型而不是值。

函数默认参数/可选参数 对于同一个函数我们在不同场景下传参，参数有时候全部需要，有时候部分需要，定义多个同名函数就会报错，那么该怎么实现这个操作呢？我们可以为函数设置默认参数和可选参数

类型守卫 在前几篇介绍了断言，在使用断言时我们已经确定了变量的类型，确定该类型时一定存在（否则则会欺骗编译，运行时报错），那么为什么还要类型守卫呢？因为类型断言还是需要借助类型守卫的。

为什么要有断言这个概念？TS中并不能判断在使用联合类型时具体是那种类型？当我们不知道是什么类型的情况下要使用某个类型特有的属性或者方法，那么就可以用断言来实现，它实际上是对编辑器做了提前告知的行为

什么是交叉类型呢？简单来说就是**通过`&`符号将多个类型进行合并成一个类型**，然后用`type`来声明新生成的类型。

any在使用过程中就像一个潘多拉魔盒，即使使用了断言，也丧失了在静态类型检查阶段发现错误的可能性。`unknown`类型只能赋值给`any`和`unknown`类型，any类型可以赋值给任意类型。

枚举主要分为数字类型枚举、字符串类型枚举、异构。它定义一些常量，可以清晰地表达意图或创建一组有区别的用例。

本文主要讲解TypeScript的基本数据类型，主要包括JavaScript基本数据类型以及TypeScript特有的数据类型。