协变、逆变、双向协变

interface a {
  name: string
}
interface b {
  name: string,
  age: number
}
let A:a = {
  name: '222'
}
let B:b = {
  name: '112',
  age: 88
}
// 协变，a作为主类型，b是作为副类型，属性多于A是允许接受的，此时是ts识别是安全的
// 如果 B = A会报错，因为此时B就会缺失age属性了
A = B

let C = (p:a) => {
  console.log(p,'1');
  
}
let D = (p:b) => {
  console.log(p,'2');
}

// 逆变，把C函数的赋值给D，所以执行的是C，但传参还是要求D的b类型，因为b类型是包括a类型的，ts觉得安全
D = C
D({name: '111', age: 99}) // 实际上执行的是C函数，但是传参要求D的格式

// 双向逆变 tsconfig.json中strictFunctionTypes设置false
// C = D // 就不会报错