目录:
定义-静态类型是什么意思？
静态类型是一种编程语言特性，其中明确声明了变量类型，并因此在编译时确定了变量类型。 这使编译器可以确定给定变量是否可以执行从其请求的操作。
静态类型将类型与变量而不是值相关联。 静态类型编程语言的一些示例包括：
- 哈斯克尔
- 福特兰
- 爪哇
- C
- C#
- C ++
- 艾达
- 玉
- 帕斯卡
- ML
- 佩尔
- 斯卡拉
技术百科解释了静态类型
在静态类型化中，无需在运行时执行其他检查来确认对象可以执行某些操作。 静态类型的编程语言在编译过程中而非运行时执行类型检查，这使用这些语言编写的程序运行得更快。
另外，在静态类型化语言中，工具和重构更好，因为工具可以在编码程序时找出变量类型。 这有助于立即了解给定功能的参数以及特定对象可用的方法。 这也使重构过程更加简单。
除了少数例外，一旦重构了方法或对象，就很容易立即了解哪些其他代码依赖于它。 但是，这是有代价的。 除少数例外，静态类型的语言需要其他注释，以告知编译器作者的预期目标。
当涉及对象结构时，静态类型的语言与动态类型的语言相比，灵活性较差。 在运行期间无法将字段和方法添加到给定的对象。 当处理较少结构化的数据时，这可能会很复杂； 例如，解析JSON，XML或数据库查询会导致对象映射不理想。
