Skip to content

Commit 6b8a11c

Browse files
authoredMar 28, 2018
Update 04_Legacy_Library_with_Generic_Client.md
1 parent a1cee8e commit 6b8a11c

File tree

1 file changed

+48
-91
lines changed

1 file changed

+48
-91
lines changed
 

Diff for: ‎ch05/04_Legacy_Library_with_Generic_Client.md

+48-91
Original file line numberDiff line numberDiff line change
@@ -1,27 +1,33 @@
11
## 具有通用客户端的旧版库
22

3-
在客户端之前更新库通常是有意义的,但可能会出现您希望以其他方式进行更新的情况。 例如,您可能负责维护客户而不是类库; 或者类库可能很大,因此您可能需要逐步更新,而不是一次全部更新; 或者你可能有类库的类文件,但没有源文件。
3+
在客户端之前更新库通常是有意义的,但可能会出现您希望以其他方式进行更新的情况。 例如,您可能负责维护客户而不是类库; 或者类库可能很大,因此您可能需要逐
4+
步更新,而不是一次全部更新; 或者你可能有类库的类文件,但没有源文件。
45

5-
在这种情况下,更新库以在其方法签名中使用参数化类型是有意义的,但不能更改方法体。 有三种方法可以实现这一点:对源代码进行最小限度的更改,创建存根文件或使用包装器。我们建议在仅有权访问类时有权访问源代码和使用存根时使用最少的更改 文件,我们建议不要使用包装。
6+
在这种情况下,更新库以在其方法签名中使用参数化类型是有意义的,但不能更改方法体。 有三种方法可以实现这一点:对源代码进行最小限度的更改,创建存根文件或
7+
使用包装器。我们建议在仅有权访问类时有权访问源代码和使用存根时使用最少的更改 文件,我们建议不要使用包装。
68

79

810
### 用最小的变化来演变一个类库
911

10-
示例 `5-3` 显示了最小更改技术。 这里库的来源已经被编辑过,但只是为了改变方法签名,而不是方法体。 所需的确切更改以粗体显示。 当您有权访问源时,推荐使用这种技术来使库变得通用。
12+
示例 `5-3` 显示了最小更改技术。 这里库的来源已经被编辑过,但只是为了改变方法签名,而不是方法体。 所需的确切更改以粗体显示。 当您有权访问源时,推荐使
13+
用这种技术来使库变得通用。
1114

1215
确切地说,所需的改变是:
1316

14-
- 根据需要为接口或类声明添加类型参数(对于接口 `Stack<E>` 和类 `ArrayStack<E>`)
17+
- 根据需要为接口或类声明添加类型参数(对于接口 `Stack<E>` 和类 `ArrayStack<E>`
1518

16-
- 将类型参数添加到扩展或实现子句中的任何新参数化接口或类(对 `ArrayStack<E>` 的 `implements` 子句中的 `Stack<E>`),
19+
- 将类型参数添加到扩展或实现子句中的任何新参数化接口或类(对 `ArrayStack<E>``implements` 子句中的 `Stack<E>`),
1720

18-
- 根据需要为每个方法签名添加类型参数(用于在 `Stack<E>` 和 `ArrayStack<E>` 中进行推入和弹出操作,并在堆栈中进行反向操作)
21+
- 根据需要为每个方法签名添加类型参数(用于在 `Stack<E>``ArrayStack<E>` 中进行推入和弹出操作,并在堆栈中进行反向操作)
1922

20-
- 在返回类型包含一个类型参数(对于在 `ArrayStack<E>` 中弹出,其中返回类型为 `E`)的每个返回中添加一个未经检查的强制转换 - 没有此强制转换的情况下,您将得到一个错误而不是未经检查的警告
23+
- 在返回类型包含一个类型参数(对于在 `ArrayStack<E>` 中弹出,其中返回类型为 `E`)的每个返回中添加一个未经检查的强制转换 - 没有此强制转换的情况
24+
下,您将得到一个错误而不是未经检查的警告
2125

22-
- 可选择添加批注以抑制未经检查的警告(对于 `ArrayStack<E>` 和 `Stacks`)
26+
- 可选择添加批注以抑制未经检查的警告(对于 `ArrayStack<E>``Stacks`
2327

24-
值得注意的是我们不需要做出一些改变。 在方法体中,我们可以保留 `Object` 的出现(参见 `ArrayStack` 中的第一行 `pop`),并且我们不需要为任何出现的raw类型添加类型参数(请参阅 `Stacks` 中的第一行)。 此外,只有当返回类型是类型参数(如 `pop` 中)时,我们才需要将转换添加到 `return` 子句中,但是当返回类型是参数化类型时(如反向),则不需要添加转换。
28+
值得注意的是我们不需要做出一些改变。 在方法体中,我们可以保留 `Object` 的出现(参见 `ArrayStack` 中的第一行 `pop`),并且我们不需要为任何出现的raw
29+
类型添加类型参数(请参阅 `Stacks` 中的第一行)。 此外,只有当返回类型是类型参数(如 `pop` 中)时,我们才需要将转换添加到 `return` 子句中,但是当返
30+
回类型是参数化类型时(如反向),则不需要添加转换。
2531

2632
通过这些更改,库将成功编译,但它会发出一些未经检查的警告。 按照最佳做法,我们评论了代码以指示哪些行触发了此类警告:
2733

@@ -54,7 +60,8 @@
5460
@SuppressWarnings("unchecked");
5561
```
5662

57-
(在 `Java 5` 的早期版本的 `Sun` 编译器中,压制警告注释不起作用。)这可以防止编译器哭泣狼 - 我们已经告诉它不要发出我们期望的未经检查的警告,因此很容易发现任何 我们并不期望。特别是,一旦我们更新了类库,我们不应该看到客户的任何未经检查的警告。 还要注意,我们已经禁止了库类的警告,但是不在客户端上。
63+
(在 `Java 5` 的早期版本的 `Sun` 编译器中,压制警告注释不起作用。)这可以防止编译器哭泣狼 - 我们已经告诉它不要发出我们期望的未经检查的警告,因此很容
64+
易发现任何 我们并不期望。特别是,一旦我们更新了类库,我们不应该看到客户的任何未经检查的警告。 还要注意,我们已经禁止了库类的警告,但是不在客户端上。
5865

5966
`5-3`。 使用最小的变化来发展一个类库
6067

@@ -94,7 +101,9 @@
94101
}
95102
```
96103

97-
消除(而不是抑制)编译库生成的未经检查的警告的唯一方法是更新整个库源以使用泛型。 这是完全合理的,因为除非更新整个源代码,否则编译器无法检查声明的通用类型是否正确。 事实上,未经检查的警告是警告 - 而不是错误 - 主要是因为它们支持使用这种技术。 只有在您确定通用签名实际上是正确的时才使用此技术。 最好的做法是只使用这种技术作为不断发展的代码在整个过程中使用泛型的中间步骤。
104+
消除(而不是抑制)编译库生成的未经检查的警告的唯一方法是更新整个库源以使用泛型。 这是完全合理的,因为除非更新整个源代码,否则编译器无法检查声明的通用
105+
类型是否正确。 事实上,未经检查的警告是警告 - 而不是错误 - 主要是因为它们支持使用这种技术。 只有在您确定通用签名实际上是正确的时才使用此技术。 最好的
106+
做法是只使用这种技术作为不断发展的代码在整个过程中使用泛型的中间步骤。
98107

99108
`5-4`。 使用存根发展类库
100109

@@ -127,39 +136,51 @@
127136

128137
### 使用存根演化库
129138

130-
示例 `5-4` 中显示了存根技术。 在这里,我们编写了具有通用签名但不包含 `body` 的存根。我们针对通用签名编译通用客户端,但针对遗留类文件运行代码。 这种技术适用于源未发布或其他人负责维护源的情况。
139+
示例 `5-4` 中显示了存根技术。 在这里,我们编写了具有通用签名但不包含 `body` 的存根。我们针对通用签名编译通用客户端,但针对遗留类文件运行代码。 这种
140+
技术适用于源未发布或其他人负责维护源的情况。
131141

132-
确切地说,除了我们完全删除所有可执行代码,用抛出StubException的代码替换每个方法体(一个扩展了 `UnsupportedOperationException` 的新异常)之外,我们对接口和类声明和方法签名引入了与最小变更技术相同的修改。。
142+
确切地说,除了我们完全删除所有可执行代码,用抛出StubException的代码替换每个方法体(一个扩展了 `UnsupportedOperationException` 的新异常)之外,我
143+
们对接口和类声明和方法签名引入了与最小变更技术相同的修改。。
133144

134-
当我们编译通用客户端时,我们这样做是针对从存根代码生成的类文件,它包含适当的通用签名(比如在目录 `s` 中)。 当我们运行客户端时,我们会对原始的旧类文件(比如在目录 `l` 中)进行这种操作。
145+
当我们编译通用客户端时,我们这样做是针对从存根代码生成的类文件,它包含适当的通用签名(比如在目录 `s` 中)。 当我们运行客户端时,我们会对原始的旧类文
146+
件(比如在目录 `l` 中)进行这种操作。
135147

136148
```java
137149
% javac -classpath s g/Client.java
138150
% java -ea -classpath l g/Client
139151
```
140152

141-
再说一遍,这是有效的,因为为传统文件和通用文件生成的类文件基本相同,除了关于类型的辅助信息。 特别是,客户端编译的通用签名与传统签名(除了关于类型参数的辅助信息)相匹配,因此代码可以成功运行并提供与以前相同的答案。
153+
再说一遍,这是有效的,因为为传统文件和通用文件生成的类文件基本相同,除了关于类型的辅助信息。 特别是,客户端编译的通用签名与传统签名(除了关于类型参数
154+
的辅助信息)相匹配,因此代码可以成功运行并提供与以前相同的答案。
142155

143156
### 使用包装进化库
144157

145-
`5-5` 给出了这个包装技术。 在这里,我们保留原有的源文件和类文件不变,并提供通过代理访问遗留类的通用包装类。我们主要介绍这种技术,主要是为了警告您不要使用它 - 通常最好使用最少的更改或存根。
158+
`5-5` 给出了这个包装技术。 在这里,我们保留原有的源文件和类文件不变,并提供通过代理访问遗留类的通用包装类。我们主要介绍这种技术,主要是为了警告您
159+
不要使用它 - 通常最好使用最少的更改或存根。
146160

147-
这个技术创建了一个通用接口和包装类的并行层次结构。确切地说,我们创建了一个与传统接口 `Stack` 相对应的新接口 `GenericStack`,我们创建了一个新类 `GenericWrapperClass` 来访问旧版实现 `ArrayStack`,并且创建了一个与传统便利类 `Stacks` 相对应的新类 `GenericStacks`
161+
这个技术创建了一个通用接口和包装类的并行层次结构。确切地说,我们创建了一个与传统接口 `Stack` 相对应的新接口 `GenericStack`,我们创建了一个新类
162+
`GenericWrapperClass` 来访问旧版实现 `ArrayStack`,并且创建了一个与传统便利类 `Stacks` 相对应的新类 `GenericStacks`
148163

149-
通用接口GenericStack是通过以前部分中用于更新签名以使用泛型的相同方法从传统接口Stack派生而来的。另外,添加了一个新的解包方法,从包装器中提取旧的实现。
164+
通用接口GenericStack是通过以前部分中用于更新签名以使用泛型的相同方法从传统接口Stack派生而来的。另外,添加了一个新的解包方法,从包装器中提取旧的实
165+
现。
150166

151-
包装类 `GenericStackWrapper<E>` 通过委托给 `Stack` 来实现 `GenericStack<E>`。构造函数需要一个实现遗留接口 `Stack` 的实例,该接口存储在专用字段中,并且 `unwrap` 方法返回此实例。由于使用了委托,因此可以通过所提供的通用堆栈视图查看对基础传统堆栈所做的任何更新由包装。
167+
包装类 `GenericStackWrapper<E>` 通过委托给 `Stack` 来实现 `GenericStack<E>`。构造函数需要一个实现遗留接口 `Stack` 的实例,该接口存储在专用字段
168+
中,并且 `unwrap` 方法返回此实例。由于使用了委托,因此可以通过所提供的通用堆栈视图查看对基础传统堆栈所做的任何更新由包装。
152169

153170

154-
包装器通过调用相应的遗留方法来实现接口中的每个方法(空,`push``pop`); 并且类似地在遗留类(`toString`)中重写的 `Object` 中实现每个方法。 至于最小的变化,当返回类型包含一个类型参数时(如在 `pop` 中),我们向 `return` 语句添加一个未检查的转换; 没有这个演员,你会得到一个错误,而不是一个未经检查的警告。
171+
包装器通过调用相应的遗留方法来实现接口中的每个方法(空,`push``pop`); 并且类似地在遗留类(`toString`)中重写的 `Object` 中实现每个方法。 至于最
172+
小的变化,当返回类型包含一个类型参数时(如在 `pop` 中),我们向 `return` 语句添加一个未检查的转换; 没有这个演员,你会得到一个错误,而不是一个未经检
173+
查的警告。
155174

156-
单个包装器就可以满足同一接口的多个实现。 例如,如果我们有 `Stack``ArrayStack``LinkedStack` 实现,我们可以使用 `GenericStackWrapper<E>`
175+
单个包装器就可以满足同一接口的多个实现。 例如,如果我们有 `Stack``ArrayStack``LinkedStack` 实现,我们可以使用
176+
`GenericStackWrapper<E>`
157177

158178
新的便捷类 `GenericStacks` 通过委派给遗留类 `Stacks` 来实现。 通用的反向方法展开它的参数,调用传统的反向方法并包装其结果。
159179

160180
粗体显示了示例 `5-5` 中客户端所需的更改。
161181

162-
与最小变化或存根相比,包装具有许多缺点。 包装需要维护两个并行层次结构,一个是传统接口和类,另一个是通用接口和类。 通过在这些之间进行包装和解开来进行转换可能变得乏味。 如果遗传类正确生成,那么将需要进一步的工作来移除冗余包装。
182+
与最小变化或存根相比,包装具有许多缺点。 包装需要维护两个并行层次结构,一个是传统接口和类,另一个是通用接口和类。 通过在这些之间进行包装和解开来进行
183+
转换可能变得乏味。 如果遗传类正确生成,那么将需要进一步的工作来移除冗余包装。
163184

164185
`5-5`。 使用包装器发展一个库
165186

@@ -208,74 +229,10 @@
208229
}
209230
```
210231

211-
包装也呈现更深和更微妙的问题。 如果代码使用对象标识,则可能会出现问题,因为遗留对象和包装对象是不同的。 此外,复杂的结构将需要多层包装纸。 想象一下,将这种技术应用于一堆堆栈! 您需要定义一个两层包装器,它将每个二级堆栈压入或解开,因为它被压入或弹出顶层堆栈。 因为包装对象和遗留对象是不同的,所以始终确保包装对象查看对旧对象的所有更改可能很难甚至不可能。
212-
213-
通过确保遗留对象和泛型对象相同,`Java` 泛型的设计避免了包装器的所有这些问题。 `C#` 泛型的设计有很大的不同:遗留类和泛型类是完全不同的,任何结合遗留集合和泛型集合的尝试都会碰到这里讨论的包装器的困难。
214-
215-
216-
217-
218-
219-
220-
221-
222-
223-
224-
225-
226-
227-
228-
229-
230-
231-
232-
233-
234-
235-
236-
237-
238-
239-
240-
241-
242-
243-
244-
245-
246-
247-
248-
249-
250-
251-
252-
253-
254-
255-
256-
257-
258-
259-
260-
261-
262-
263-
264-
265-
266-
267-
268-
269-
270-
271-
272-
273-
274-
275-
276-
277-
278-
279-
232+
包装也呈现更深和更微妙的问题。 如果代码使用对象标识,则可能会出现问题,因为遗留对象和包装对象是不同的。 此外,复杂的结构将需要多层包装纸。 想象一下,
233+
将这种技术应用于一堆堆栈! 您需要定义一个两层包装器,它将每个二级堆栈压入或解开,因为它被压入或弹出顶层堆栈。 因为包装对象和遗留对象是不同的,所以始
234+
终确保包装对象查看对旧对象的所有更改可能很难甚至不可能。
280235

236+
通过确保遗留对象和泛型对象相同,`Java` 泛型的设计避免了包装器的所有这些问题。 `C#` 泛型的设计有很大的不同:遗留类和泛型类是完全不同的,任何结合遗留
237+
集合和泛型集合的尝试都会碰到这里讨论的包装器的困难。
281238

0 commit comments

Comments
 (0)
Please sign in to comment.