@@ -80,7 +80,7 @@ match表达式的一个分支,形如 “`case` _pattern_ => _expression_”。
80
80
可以通过 _ 声明_ 抽象的字段、方法或类型来赋给实体一个名称,但是没有具体实现。声明和定义最关键的差异就是定义会为命名实体创建具体实现,而声明则不会。
81
81
82
82
* #### 定义(define)
83
- 在Scala程序中若提到 _ 定义_ 什么东西,就是说给它赋个名称并给出实现。可以定义的东西包括类、特质、单例对象、字段、方法、本地函数、本地变量等 。由于提到定义常常会涉及到某种具体实现,故而抽象成员应为声明而非定义。
83
+ 在Scala程序中若提到 _ 定义_ 什么东西,就是说给它赋个名称并给出实现。可以定义的东西包括类、特质、单例对象、字段、方法、局部函数、局部变量等 。由于提到定义常常会涉及到某种具体实现,故而抽象成员应为声明而非定义。
84
84
85
85
* #### 直接子类(direct subclass)
86
86
类是其 _ 直接子类_ 的直接超类。
@@ -119,7 +119,7 @@ _for循环_ 是[for表达式](#for-expression)的一种,一般用来循环迭
119
119
一个表达式的 _ 自由变量_ 指的是在表达式中使用但不定义在其中的变量。例如,在函数字面量表达式` (x: Int) => (x, y) ` 中,变量` x ` 和` y ` 都被用到了,但只有` y ` 是自由变量,因其未在表达式中定义。
120
120
121
121
* #### 函数(function)
122
- _ 函数_ 可通过一列实参来[ 调用] ( #invoke ) 然后产生结果。函数一般具有参数列表、函数体和结果类型。作为类、特质或单例对象的函数叫做[ 方法] ( #method ) 。定义在其他函数内部的函数叫做[ 本地函数 ] ( #local-function ) 。结果类型为` Unit ` 的函数叫做[ 过程] ( #procedure ) 。源码里面的匿名函数叫做[ 函数字面量] ( #function-literal ) 。运行时,函数字面量被实例化为对象,叫做[ 函数值] ( #function-value ) 。
122
+ _ 函数_ 可通过一列实参来[ 调用] ( #invoke ) 然后产生结果。函数一般具有参数列表、函数体和结果类型。作为类、特质或单例对象的函数叫做[ 方法] ( #method ) 。定义在其他函数内部的函数叫做[ 局部函数 ] ( #local-function ) 。结果类型为` Unit ` 的函数叫做[ 过程] ( #procedure ) 。源码里面的匿名函数叫做[ 函数字面量] ( #function-literal ) 。运行时,函数字面量被实例化为对象,叫做[ 函数值] ( #function-value ) 。
123
123
124
124
* #### 函数字面量(function literal)
125
125
在Scala源码中的无名函数,通过函数字面量语法来特别对待。比如:` (x: Int, y: Int) => x + y ` 。
@@ -146,7 +146,7 @@ _函数式风格_ 编程注重函数和求值结果而非操作发生的顺序
146
146
参见[ 过滤器] ( #filter ) .
147
147
148
148
* #### 助手函数(helper function)
149
- 目的是为一个或多个其他邻近函数提供服务的函数。助手函数常实现为本地函数 。
149
+ 目的是为一个或多个其他邻近函数提供服务的函数。助手函数常实现为局部函数 。
150
150
151
151
* #### 助手方法(helper method)
152
152
作为类成员的[ 助手函数] ( #helper-function ) 。助手方法常为私有方法。
@@ -178,14 +178,14 @@ _JVM_ 是Java虚拟机(#runtime)的缩写,或叫[运行时](#runtime),是运
178
178
* #### 字面量(literal)
179
179
` 1 ` ,` "One" ` ,和` (x: Int) => x + 1 ` 是 _ 字面量_ 的例子,字面量是描述对象的便捷方式,便捷在这种方式正好反映了所创建对象的结构。
180
180
181
- * #### 本地函数 (local function)
182
- _ 本地函数 _ 是块内` def ` 定义的,作为对比,同为` def ` 定义的作为类、特质或单例对象的成员则被称作[ 方法] ( #method ) 。
181
+ * #### 局部函数 (local function)
182
+ _ 局部函数 _ 是块内` def ` 定义的,作为对比,同为` def ` 定义的作为类、特质或单例对象的成员则被称作[ 方法] ( #method ) 。
183
183
184
- * #### 本地变量 (local variable)
185
- _ 本地变量 _ 是块内` val ` 或` var ` 定义的。尽管函数参数和[ 本地变量 ] ( #local-variable ) 类似,但并不叫本地变量 ,而是去掉"本地 "直接叫"参数"或"变量"。
184
+ * #### 局部变量 (local variable)
185
+ _ 局部变量 _ 是块内` val ` 或` var ` 定义的。尽管函数参数和[ 局部变量 ] ( #local-variable ) 类似,但并不叫局部变量 ,而是去掉"局部 "直接叫"参数"或"变量"。
186
186
187
187
* #### 成员(member)
188
- _ 成员_ 是类、特质或单例对象模板中被命名的元素。成员可通过所有者名称,点及其简名访问。例如,定义在类的最顶层字段和方法是这个类的成员。定义在类中的特质是包围它的类的成员。类中通过type关键字定义的类型是这个类的成员。类是其定义所在的包的成员。相比之下,本地变量或本地函数就不是包围他们的块的成员 。
188
+ _ 成员_ 是类、特质或单例对象模板中被命名的元素。成员可通过所有者名称,点及其简名访问。例如,定义在类的最顶层字段和方法是这个类的成员。定义在类中的特质是包围它的类的成员。类中通过type关键字定义的类型是这个类的成员。类是其定义所在的包的成员。相比之下,局部变量或局部函数就不是包围他们的块的成员 。
189
189
190
190
* #### 消息(message)
191
191
Actor是通过给彼此之间发送 _ 消息_ 来进行通信的。发送消息不会打断接收者正在处理的事情,接收者可一直等到当前活动结束且其不变性被重建之后。
@@ -304,7 +304,7 @@ XML数据就是半结构化的,因其相比于普通的二进制文件或文
304
304
可把对象 _ 序列化_ 成字节流,以便将其保存至文件或通过网络传输。之后可对字节流进行 _ 反序列化_ (可发生在不同计算机上)来获取和原始被序列化的对象一样的对象。
305
305
306
306
* #### 遮掩(shadow)
307
- 本地变量的重新声明会 _ 遮掩_ 作用域内相同名称的变量声明。
307
+ 局部变量的重新声明会 _ 遮掩_ 作用域内相同名称的变量声明。
308
308
309
309
* #### 签名(signature)
310
310
_ 签名_ 是[ 类型签名] ( #type-signature ) 的简写。
0 commit comments