动态类型（Dynamic Typing）
缩写：无
简述
类型主要附着于运行时的值，操作时才检查是否支持的策略。利于快速试验与动态元编程；类错误易推迟到具体运行路径，需测试与校验弥补。
使用场景
脚本、原型、插件与高度动态配置。
实践与应用
• 关键路径补测试与校验
• 对外 API 做结构校验
• 可渐进引入类型检查
注意事项
• 路径覆盖不足时线上才暴露类型错误
• 鸭子类型约定在重构时较脆
对比与易混
| 动态类型 | 静态类型 | |
|---|---|---|
| 类型附着 | 运行时的值 | 名与表达式 |
| 反馈 | 执行到才可能报错 | 编写/构建期可拦一批 |
关联术语
• 静态类型：检查偏执行前的对照策略
• 运行时：动态检查发生的时机
• 鸭子类型：按可用操作而非名义类型协作
• 单元测试：动态语言中弥补类错误前移的常见手段