上个例子中ProcessFile使用了一个非常重要的设计原则?应用程序可以分解成多个小的函数,每个小的函数完成一个定义完好的功能。使用这程序设计风格可以使得程序员有相当数量的程序构造模块,通过这些小的构造模块的组合来完成较复杂的功能。每个小的构造模块一个应该足够简洁以帮助理解。
这样带来的一个问题是,这些小的辅助函数的名称可能会影响到程序空间,你不能在同个程序员使用两个相同名称的函数,即使你定义私有函数。如果你设计函数库,你也不希望有些辅助函数为库函数的用户直接调用,对于Java来说,你可以通过私有成员函数。而Scala除了支持私有成员函数外,还支持局部函数(其作用域和局部变量类似)。
也就是说可以在函数的内部再定义函数,如同定义一个局部变量,例如,修改前面的ProcessFile的例子如下:
import scala.io.Source object LongLines { def processFile(filename: String, width: Int) { def processLine(filename:String, width:Int, line:String){ if(line.length > width) println(filename + ":" +line.trim) } val source= Source.fromFile(filename) for (line <- source.getLines()) processLine(filename,width,line) } }
这个例子不私有成员函数processLine移动到processFile内部,成为一个局部函数,也正因为processLine变成了processFile的一个局部函数,因此processLine 可以直接访问到processFile的参数 filename和width,因此代码可以进一步优化如下:
import scala.io.Source object LongLines { def processFile(filename: String, width: Int) { def processLine(line:String){ if(line.length > width) println(filename + ":" +line.trim) } val source= Source.fromFile(filename) for (line <- source.getLines()) processLine(line) } }
代码变得更简洁,是不是,局部函数的作用域和局部变量作用域一样,局部函数访问包含该函数的参数是非常常见的一种嵌套函数的用法。