16块和词法作用域选读.ppt

块和词法作用域 嵌套函数 将任务划分为许多小的函数是一个好的编程风格 但是像函数sqrtIter,improve和isGoodEnough仅仅是为了实施函数sqrt，而不是用在其它方面 通常，我们不希望用户直接访问那些函数 我们可以通过将这些辅助函数放在函数sqrt中来避免“命名空间污染”(name-space pollution)以达到上述目的 Sqrt函数（版本2） 块(blocks) 块使用花括号{ … }进行限定 块包含一系列的定义和表达式 块中的最后一个元素是表达式，它定义了块的值 返回表达式之前可定义辅助定义 块本身也是表达式，可以出现在表达式可以出现的任何地方 块和可见性 块中的定义仅仅在块中是可见的 块中的定义覆盖了(shadow)了同名的块外的定义 练习：作用域规则 问题：下述程序中result的值是多少？ 可能的答案： 0 16 32 规约不终止 词法作用域 除非被覆盖了，一个块外的定义在块内是可见的 因此我们可以通过消除冗余的参数x来简化函数sqrt Sqrt函数(版本3) 分号 在Scala中，行尾的分号是可选的，我们可以写： 但大多数人会省略分号 但如果一行之中写多个句子，它们需要使用分号隔离 分号和中缀表达式 Scala中分号的使用惯例存在一个问题，就是如何书写一个跨多行的表达式，例如： 会被解释为两个表达式： 分号和中缀表达式 有两个方法可以克服这个问题 可以将多行表达式放在括号中 或者将操作符写在第一行 小结 我们已学习了Scala中函数式编程的一些基本元素 算术和布尔表达式 条件表达式if-else 递归函数 嵌套和词法作用域 学习了传名调用与穿值调用的求值策略的差异 学习一种推理程序执行的方法：使用替代模型规约表达式，在后续章节中，该模型是一个重要的工具