1.2 静态类型

静态类型语言意味着变量必须指定一个类型,例如整型、字符串、布尔型和数组等。可以在声明变量时指定变量类型。大多数情况下,让编译器自动去推断变量类型(我们将看到一些简单的例子)。

关于静态类型,有许多相关内容可以介绍,但是我相信,要理解静态类型最好的方法就是去阅读代码。如果你使用过动态类型语言,你可能会觉得静态类型有点繁琐。你的想法没错,但是静态类型也有很多优点,尤其在编译静态类型的语言时,这2个观点经常被混为一谈。这是一个事实,但这不是一个硬性规定,你可以同时拥有动态类型和静态类型的语言。在一些严格类型的系统中,编译器只能检测程序的一些语法错误和近一步的优化程序。

链接