基本类型约束

# 基本类型约束

# 如何进行类型约束

  1. 如何对 变量、函数的形参、返回值,进行类型检查

​ 需要在后面加上 :类型

  1. ts 会智能的进行类型推导
  2. 如果推导不出来的类型,则会为 any 类型,ts 对 any不进行类型检查

所以你的约束信息大部分都发生在函数的参数类型

# 源代码和编译结果的差异

只有一个特点,编译结果中没有类型约束信息