一、类型兼容性 TypeScript 结构化类型系统的基本规则是，如果x要兼容y，那么y至少具有与x相同的属性。比如： 这里要检查y是否能赋值给x，编译器检查x中的每个属性，看是否能在y中也找到对应属