我们来看一段动手写4.3.2中的代码:
读者需要注意,这段代码中没有把i显式地声明为Int类型。这里是因为编译器帮助开发者进行了类型推断,i的类型可以从上下文推断出来。在本例中,因为指定的区间包含整数,所以可以推断i为Int类型。类型推断很方便,能让开发者少编写代码,从而少犯错。不过,有些情况下需要显式地声明类型,出现这种情况的时候本书会特意强调。一般来说,本书建议尽量利用类型推断。