静态类型、动态类型、强类型、弱类型
静态类型与动态类型
变量类型是否会随赋值变化——何时确定变量的类型。
- 静态类型：代码中需要指定变量的类型（或者自动推导），编译期就进行类型检查，无须运行代码即可确定变量的类型。变量类型运行时不可更改。
- 动态类型：代码中不需要指定变量的类型（即使指定了也只是类型注解），运行期间第一次赋值该变量时进行类型检查，并且变量再次赋值时会重新检查和确定其新类型。只有运行代码才能直到变量的当前类型。
强类型与弱类型
是否保证类型安全——是否允许隐式类型转换。
强类型：只允许发生有意义的安全的隐式类型转换。只能进行强制类型转换。
弱类型：允许发生隐式类型转换。
举例
| 语言 | 静态 / 动态 | 强 / 弱 | 理由 |
|---|---|---|---|
| C/C++ | 静态 | 弱 | 允许大量跨语义隐式转换（如 int→char、指针随意强转） |
| Python | 动态 | 强 | 允许安全隐式转换（int→float），但禁止无意义转换（"5"+1 报错） |
| Go | 静态 | 强 | 隐式转换仅允许 “安全场景”（如 fmt 格式化），跨类型转换必须显式（int→float64 需手动写） |
| Javascript | 动态 | 弱 | 隐式转换无约束（"5"-2=3、true+1=2） |
| Typescript | 静态 | 弱 | 允许跨语义隐式转换（如 "5" * 2 隐式转为数字 10），支持宽松相等性检查（0 == "0" 为 true），即使有静态类型检查也不阻止这些弱类型转换行为 |