目录
1 类型推论
类型推论是ts自带的机制，有些变量你不需要特意去注释，他就会默认给你一个类型
比如这两种写法就是一样的
你直接给，你后面如果该类型了，还是会提示你错误
有这个机制你就可以一个变量注解都不写，然后按需写注解就行了
对于函数也是一样，比如下面这个就自动推断出来c是number类型
2 类型断言
2.1 类型推论所带来的问题
类型断言就是解决错误的类型推测问题的，不是所有的函数都是我们自定声明的，比如console.log()
内置的函数也会给你推测一个类型，有的时候这个是你需要的，都是时候这个不是你需要的，比如 document.querySelector()
document.querySelector()会根据的参数的不同返回不同的结果，这个就比较宽泛了。而且你的ts不主动与html联系的，都是html需要的时候找ts来拿。这个时候ts本身的判定就会出现问题
2.2 基本使用
比如我现在想把alink定义为HTMLAnchorElement类型，那么你可以这样写
这样就能得到你想用的类型了
你直接用冒号写前面是不行的，因为这个是返回值，等于是你的定义与返回值的推论有冲突了
2.3 不断言会出现的问题
HTMLAnchorElement的意思的a标签元素，如果你不进行类型断言，你用alink的href属性的时候会报错
断言了就没事
2.4 断言的另一种写法
类型断言还可以这样写，这样写和用as的效果一样
2.5 查看DOM元素的类型
然后你打开这个html文件，你就会在终端中看到打印的东西
在打印的东西的最下面，你就可以看到这个元素的类型
3 类型兼容性
3.1 类兼容性
我现在有Point_A与Point_B两个类，两个类的内容相同，这个时候我们可以用PointA的规则声明PointB，这个就叫类型兼容性
规则少，实例多，可以兼容
规则多，实例少，不能兼容
3.2 接口兼容性
3.2.1 接口之间的兼容性
相同的规则可以交叉使用，用 Point_C规则创造出来的p1 可以被 与Point_C相同的Point_D规则 约束 创建出来p2
规则少，实例多，可以兼容
规则多，实例少，不能兼容
3.2.2 接口与类之间的兼容性
可以用 interface 的规则 创建 class 实例
3.3 函数兼容性
函数需要考虑 参数个数 参数类型 返回值变量
3.3.1 参数个数
参数多的规则可以实例参数少的函数
3.3.2 参数类型
对于一般类型需要参数类型相等，对于复杂类型（比如接口）规则多的可以兼容实例少的（与单独接口兼容性的逻辑是相反的，这里你需要理解为参数个数，参数个数多的可以兼容参数个数少的）
3.3.3 返回值类型
对于一般类型来讲，返回值类型需要相同。对于复杂类型讲，规则少的可以兼容实例多的（与单独接口兼容性一致）
