6、深入理解类型系统：提升代码质量与效率

深入理解类型系统：提升代码质量与效率

1. 强类型与弱类型语言

在编程领域，强类型和弱类型描述了一种语言在变量类型赋值方面的宽松程度。C 语言相对宽松，你可以将指针赋值给整数，反之亦然，不会出现问题。而 C# 则更为严格，指针/引用和整数是不兼容的类型。以下是不同编程语言在类型严格性方面的分类：
| 类型特性 | 静态类型 | 动态类型 |
| — | — | — |
| 强类型 | C#、Java、Rust、Swift、Kotlin、TypeScript、C++ | Python、Ruby、Lisp |
| 弱类型 | Visual Basic、C | JavaScript、VBScript |

严格的编程语言有时会让人感到沮丧，比如 Rust 甚至可能让你怀疑人生和存在的意义。在某些语言（如 JavaScript）中，你不必为每个变量、参数和成员声明类型，那么为什么我们还要给自己增加显式类型的负担呢？答案很简单：类型有助于编写更安全、更快且更易于维护的代码。我们在声明变量类型和注释类时所花费的时间，可以通过减少调试和解决性能问题的时间来弥补。

2. 类型的有效性证明

类型的一个不太为人所知的好处是有效性证明。以开发一个微博平台为例，该平台对每条帖子的字符数有限制，用户可以使用 @ 前缀提及其他用户，使用 # 前缀加帖子标识符提及其他帖子，还可以在搜索框中输入帖子标识符来检索帖子。

然而，用户输入会带来验证问题。如果用户在 # 前缀后输入字母，或者输入的数字超出允许范围，应用程序可能会崩溃，因为代码中某个部分无法处理无效输入，会抛出异常。这对用户来说是糟糕的体验，他们不知道哪里出了问题，也不知道