为什么TypeScript中的函数类型不能相互赋值？
💡
原文英文，约700词，阅读约需3分钟。
📝
内容提要
在TypeScript中，函数类型的赋值规则基于结构类型系统。虽然foo和bar都可以返回数字或字符串，但foo更灵活，允许返回两种类型，而bar则限制为单一类型，这导致赋值时出现错误。理解这些规则有助于编写更安全的代码。
🎯
关键要点
- TypeScript中的函数类型赋值规则基于结构类型系统。
- foo可以返回数字或字符串，具有更大的灵活性，而bar限制为单一类型。
- 将bar赋值给foo是有效的，但反向赋值会导致编译错误。
- TypeScript的结构类型系统强调返回类型在赋值中的重要性。
- 使用类型断言可以绕过类型检查，但可能导致运行时错误。
- 函数重载可以定义不同的签名以匹配预期行为。
- TypeScript的设计哲学旨在促进更安全和可预测的代码。
- 结构类型确保兼容性基于类型的形状，而不是显式声明，增强了代码的灵活性和安全性。
- 联合类型允许变量持有多种类型的值，例如数字或字符串。
➡️
