Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly
Sign up
Appearance settings

Commit c43c006

Browse files
authored
Merge pull request #10 from my-learn/gh-pages-1.0
Gh pages 1.0
2 parents dbaa3e4 + ae603be commit c43c006

19 files changed

+374
-662
lines changed

‎ch04/03_Nested_Classes.md

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -100,4 +100,3 @@
100100

101101
《《《 [下一节](04_How_Erasure_Works.md) <br/>
102102
《《《 [返回首页](../README.md)
103-

‎ch04/04_How_Erasure_Works.md

Lines changed: 5 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,6 @@
1+
《《《 [返回首页](../README.md) <br/>
2+
《《《 [上一节](03_Nested_Classes.md)
3+
14
## 擦除的工作原理
25

36
擦除类型的定义如下:从参数化类型中删除所有类型参数,并用删除它的边界来替换任何类型变量,或者如果它没有边界,则使用 `Object`;或者如果它具有最左边界
@@ -99,4 +102,5 @@
99102

100103
如果这得到支持,通常需要对桥接方法进行复杂而混乱的定义(参见第 `3.7` 节)。 到目前为止,最简单和最容易理解的选择是禁止这种情况。
101104

102-
105+
《《《 [下一节](../ch05/00_Evolution_Not_Revolution.md) <br/>
106+
《《《 [返回首页](../README.md)

‎ch05/00_Evolution_Not_Revolution.md

Lines changed: 21 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -1,18 +1,32 @@
1+
《《《 [返回首页](../README.md) <br/>
2+
《《《 [上一节](../ch04/04_How_Erasure_Works.md)
3+
14
## 进化,而不是革命
25

3-
支持 `Java` 泛型设计的一个格言是进化,而不是革命。必须有可能迁移大量现有的代码,逐步使用泛型(演化),而不需要进行一次性的全面变革(革命)。泛型设计可确保旧代码针对新的 `Java` 库进行编译,避免了一半代码需要旧库和一半代码需要新库的不幸情况。
6+
支持 `Java` 泛型设计的一个格言是进化,而不是革命。必须有可能迁移大量现有的代码,逐步使用泛型(演化),而不需要进行一次性的全面变革(革命)。泛型设计可确
7+
保旧代码针对新的 `Java` 库进行编译,避免了一半代码需要旧库和一半代码需要新库的不幸情况。
48

5-
进化要求比通常的向后兼容要强得多。通过简单的向后兼容性,可以为每个应用程序提供传统版本和通用版本;例如,这正是 `C#` 中发生的情况。如果您正在构建由多个供应商提供的代码之上,其中一些人使用旧版集合,其中一些人使用通用集合,这可能会迅速导致版本化的噩梦。
9+
进化要求比通常的向后兼容要强得多。通过简单的向后兼容性,可以为每个应用程序提供传统版本和通用版本;例如,这正是 `C#` 中发生的情况。如果您正在构建由多个供
10+
应商提供的代码之上,其中一些人使用旧版集合,其中一些人使用通用集合,这可能会迅速导致版本化的噩梦。
611

7-
我们要求的是相同的客户端代码可以同时适用于库的传统版本和通用版本。这意味着图书馆的供应商和客户可以完全独立地选择何时从传统代码转换为通用代码。这比后向兼容性要求强得多;它被称为迁移兼容性或平台兼容性。
12+
我们要求的是相同的客户端代码可以同时适用于库的传统版本和通用版本。这意味着图书馆的供应商和客户可以完全独立地选择何时从传统代码转换为通用代码。这比后向兼
13+
容性要求强得多;它被称为迁移兼容性或平台兼容性。
814

9-
`Java` 通过擦除来实现泛型,这可以确保传统版本和通用版本通常会生成相同的类文件,并保存一些有关类型的辅助信息。可以用通用类文件替换旧类文件而不更改甚至重新编译任何客户端码;这被称为二进制兼容性。
15+
`Java` 通过擦除来实现泛型,这可以确保传统版本和通用版本通常会生成相同的类文件,并保存一些有关类型的辅助信息。可以用通用类文件替换旧类文件而不更改甚至重
16+
新编译任何客户端码;这被称为二进制兼容性。
1017

1118
我们总结这与座右铭二进制兼容性确保迁移兼容性- 或者更简洁一点,擦除可以简化演变过程。
1219

13-
本节介绍如何将泛型添加到现有代码;它考虑了一个小例子,一个用于扩展集合框架的堆栈库以及一个关联的客户端。我们从传统堆栈库和客户端(在泛型之前为Java编写)开始,然后展示相应的通用库和客户端(为泛型编写的 `Java`)。我们的示例代码很小,因此很容易一次性更新为泛型,但实际上库和客户端会更大,我们可能需要分别进行演变。这是原始类型的帮助,它们是参数化类型的传统对应物。
20+
本节介绍如何将泛型添加到现有代码;它考虑了一个小例子,一个用于扩展集合框架的堆栈库以及一个关联的客户端。我们从传统堆栈库和客户端(在泛型之前为 `Java` 编
21+
写)开始,然后展示相应的通用库和客户端(为泛型编写的 `Java`)。我们的示例代码很小,因此很容易一次性更新为泛型,但实际上库和客户端会更大,我们可能需要分
22+
别进行演变。这是原始类型的帮助,它们是参数化类型的传统对应物。
1423

15-
程序的各个部分可以按照任意顺序进行演变。你可能有一个遗留客户端的通用库;对于那些使用 `Java 5`中的集合框架和遗留代码的人来说,这是常见的情况。或者你可能有一个通用客户端的遗留库;这种情况下,您希望为库提供通用签名而不需要重写整个库。我们考虑三种方法来做到这一点:对源代码,存根文件和包装器进行最小限度的更改。当你有权访问源代码时,第一个是有用的,第二个是不用的;我们建议不要第三个。
24+
程序的各个部分可以按照任意顺序进行演变。你可能有一个遗留客户端的通用库;对于那些使用 `Java 5` 中的集合框架和遗留代码的人来说,这是常见的情况。或者你可能
25+
有一个通用客户端的遗留库;这种情况下,您希望为库提供通用签名而不需要重写整个库。我们考虑三种方法来做到这一点:对源代码,存根文件和包装器进行最小限度的更
26+
改。当你有权访问源代码时,第一个是有用的,第二个是不用的;我们建议不要第三个。
1627

17-
在实践中,类库和客户端可能涉及很多接口和类,甚至可能在图书馆和客户端之间没有明确的区别。但是这里讨论的相同原则仍然适用,并且可以用来独立于任何其他部分发展程序的任何部分。
28+
在实践中,类库和客户端可能涉及很多接口和类,甚至可能在图书馆和客户端之间没有明确的区别。但是这里讨论的相同原则仍然适用,并且可以用来独立于任何其他部分发
29+
展程序的任何部分。
1830

31+
《《《 [下一节](01_Legacy_Library_with_Legacy_Client.md) <br/>
32+
《《《 [返回首页](../README.md)
Lines changed: 12 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,16 @@
1+
《《《 [返回首页](../README.md) <br/>
2+
《《《 [上一节](00_Evolution_Not_Revolution.md)
3+
14
## 旧版客户端的旧版库
25

6+
我们从一个简单的栈库和一个关联的客户端开始,如例 `5-1` 所示。这是为 `Java 1.4` 及其版本的集合框架编写的遗留代码。像集合框架一样,我们将库构造为接口
7+
`Stack`(类似于 `List`),实现类 `ArrayStack`(类似于 `ArrayList`)和实用类 `Stacks`(类似于 `Collections`)。接口堆栈提供了三种方法:`empty`,
8+
`push` 和 `pop`。实现类 `ArrayStack` 提供了一个没有参数的构造函数,并使用方法 `size`,`add` 和 `remove` 在列表上实现了方法 `empty`,`push`和
9+
`pop`。流行的主体可以更短 - 而不是将值分配给变量,它可以直接返回 - 但是随着代码的发展,变量的类型如何变化会很有趣。实用程序类只提供一种方法,反向,它从
10+
一个堆栈重复弹出并推向另一个堆栈。
311

4-
我们从一个简单的栈库和一个关联的客户端开始,如例 `5-1`所示。这是为 `Java 1.4`及其版本的集合框架编写的遗留代码。像集合框架一样,我们将库构造为接口 `Stack`(类似于 `List`),实现类 `ArrayStack`(类似于 `ArrayList`)和实用类 `Stacks`(类似于 `Collections`)。接口堆栈提供了三种方法:空,推送和弹出。实现类 `ArrayStack` 提供了一个没有参数的构造函数,并使用方法 `size`,`add` 和 `remove` 在列表上实现了方法 `empty`,`push`和 `pop`。流行的主体可以更短 - 而不是将值分配给变量,它可以直接返回 - 但是随着代码的发展,变量的类型如何变化会很有趣。实用程序类只提供一种方法,反向,它从一个堆栈重复弹出并推向另一个堆栈。
12+
客户端分配一个堆栈,向其中推入一些整数,然后弹出一个整数,然后将其余的余数转换为新的堆栈。由于这是 `Java 1.4`,所以整数必须在传递到 `push` 时显式装
13+
箱,并且在由 `pop` 返回时显式解除装箱。
514

6-
客户端分配一个堆栈,向其中推入一些整数,然后弹出一个整数,然后将其余的余数转换为新的堆栈。由于这是 `Java 1.4`,所以整数必须在传递到 `push` 时显式装箱,并且在由 `pop` 返回时显式解除装箱。
15+
《《《 [下一节](02_Generic_Library_with_Generic_Client.md) <br/>
16+
《《《 [返回首页](../README.md)
Lines changed: 40 additions & 30 deletions
Original file line numberDiff line numberDiff line change
@@ -1,43 +1,51 @@
1+
《《《 [返回首页](../README.md) <br/>
2+
《《《 [上一节](01_Legacy_Library_with_Legacy_Client.md)
3+
14
## 具有通用客户端的通用库
25

3-
接下来,我们更新库和客户端以使用泛型,如例 `5-2` 中所示。 这是用于 `Java 5` 及其集合版框架的通用代码。 接口现在接受一个类型参数,变成 `Stack<E>`(类似于 `List<E>`),实现类也变为 `ArrayStack<E>`(类似于 `ArrayList<E>`),但没有添加类型参数 实用工具类 `Stacks`(类似于 `Collections`)。 `push` 和 `pop` 的签名和主体中的 `Object` 类型由类型参数 `E` 替换。 请注意,`ArrayStack` 中的构造函数不需要类型参数。 在实用程序类中,反向方法变为带有参数和 `Stack<T>` 类型结果的泛型方法。 适当的类型参数被添加到客户端,现在隐式装箱和取消装箱。
6+
接下来,我们更新库和客户端以使用泛型,如例 `5-2` 中所示。 这是用于 `Java 5` 及其集合版框架的通用代码。 接口现在接受一个类型参数,变成
7+
`Stack<E>`(类似于 `List<E>`),实现类也变为 `ArrayStack<E>`(类似于 `ArrayList<E>`),但没有添加类型参数 实用工具类 `Stacks`(类似于
8+
`Collections`)。 `push` 和 `pop` 的签名和主体中的 `Object` 类型由类型参数 `E` 替换。 请注意,`ArrayStack` 中的构造函数不需要类型参数。 在实用程
9+
序类中,反向方法变为带有参数和 `Stack<T>` 类型结果的泛型方法。 适当的类型参数被添加到客户端,现在隐式装箱和取消装箱。
410

5-
简而言之,转换过程非常简单:只需添加一些类型参数,并用适当的类型变量替换 `Object` 的出现即可。 通过比较两个示例中突出显示的部分,可以发现传统版本和通用版本之间的所有差异。 泛型的实现设计为使两个版本生成基本上相同的类文件。 有些类型的辅助信息可能会有所不同,但要执行的实际字节码将是相同的。 因此,执行遗留版本和通用版本会产生相同的结果。 正如我们接下来讨论的那样,传统和普通资源产生相同类文件的事实可以简化进化过程。
11+
简而言之,转换过程非常简单:只需添加一些类型参数,并用适当的类型变量替换 `Object` 的出现即可。 通过比较两个示例中突出显示的部分,可以发现传统版本和
12+
通用版本之间的所有差异。 泛型的实现设计为使两个版本生成基本上相同的类文件。 有些类型的辅助信息可能会有所不同,但要执行的实际字节码将是相同的。 因此,
13+
执行遗留版本和通用版本会产生相同的结果。 正如我们接下来讨论的那样,传统和普通资源产生相同类文件的事实可以简化进化过程。
614

715
例 `5-1`。 传统客户端的旧版库
816

917
```java
1018
l/Stack.java:
11-
interface Stack {
12-
public boolean empty();
13-
public void push(Object elt);
14-
public Object pop();
15-
}
19+
interface Stack {
20+
public boolean empty();
21+
public void push(Object elt);
22+
public Object pop();
23+
}
1624
l/ArrayStack.java:
17-
import java.util.*;
18-
class ArrayStack implements Stack {
19-
private List list;
20-
public ArrayStack() { list = new ArrayList(); }
21-
public boolean empty() { return list.size() == 0; }
22-
public void push(Object elt) { list.add(elt); }
23-
public Object pop() {
24-
Object elt = list.remove(list.size()-1);
25-
return elt;
26-
}
27-
public String toString() { return "stack"+list.toString(); }
28-
}
25+
import java.util.*;
26+
class ArrayStack implements Stack {
27+
private List list;
28+
public ArrayStack() { list = new ArrayList(); }
29+
public boolean empty() { return list.size() == 0; }
30+
public void push(Object elt) { list.add(elt); }
31+
public Object pop() {
32+
Object elt = list.remove(list.size()-1);
33+
return elt;
34+
}
35+
public String toString() { return "stack"+list.toString(); }
36+
}
2937
l/Stacks.java:
30-
class Stacks {
31-
public static Stack reverse(Stack in) {
32-
Stack out = new ArrayStack();
33-
while (!in.empty()) {
34-
Object elt = in.pop();
35-
out.push(elt);
36-
}
37-
return out;
38-
}
39-
}
40-
l/Client.java:
38+
class Stacks {
39+
public static Stack reverse(Stack in) {
40+
Stack out = new ArrayStack();
41+
while (!in.empty()) {
42+
Object elt = in.pop();
43+
out.push(elt);
44+
}
45+
return out;
46+
}
47+
}
48+
l/Client.java:
4149
class Client {
4250
public static void main(String[] args) {
4351
Stack stack = new ArrayStack();
@@ -52,3 +60,5 @@
5260
}
5361
```
5462

63+
《《《 [下一节](03_Generic_Library_with_Legacy_Client.md) <br/>
64+
《《《 [返回首页](../README.md)

‎ch05/03_Generic_Library_with_Legacy_Client.md

Lines changed: 26 additions & 21 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,6 @@
1+
《《《 [返回首页](../README.md) <br/>
2+
《《《 [上一节](02_Generic_Library_with_Generic_Client.md)
3+
14
## 具有传统客户端的通用库
25

36
现在让我们考虑一下这种情况,即在客户端保留其旧版本时,库更新为泛型。这可能是因为没有足够的时间一次转换所有内容,或者因为类库和客户由不同的组织控制。
@@ -28,15 +31,15 @@
2831

2932
```java
3033
g/Stack.java:
31-
interface Stack<E> {
32-
public boolean empty();
33-
public void push(E elt);
34-
public E pop();
35-
}
34+
interface Stack<E> {
35+
public boolean empty();
36+
public void push(E elt);
37+
public E pop();
38+
}
3639

3740
g/ArrayStack.java:
38-
import java.util.*;
39-
class ArrayStack<E> implements Stack<E> {
41+
import java.util.*;
42+
class ArrayStack<E> implements Stack<E> {
4043
private List<E> list;
4144
public ArrayStack() { list = new ArrayList<E>(); }
4245
public boolean empty() { return list.size() == 0; }
@@ -48,7 +51,7 @@
4851
public String toString() { return "stack"+list.toString(); }
4952
}
5053

51-
g/Stacks.java:
54+
g/Stacks.java:
5255
class Stacks {
5356
public static <T> Stack<T> reverse(Stack<T> in) {
5457
Stack<T> out = new ArrayStack<T>();
@@ -60,19 +63,19 @@
6063
}
6164
}
6265

63-
g/Client.java:
64-
class Client {
65-
public static void main(String[] args) {
66-
Stack<Integer> stack = new ArrayStack<Integer>();
67-
for (int i = 0; i<4; i++) stack.push(i);
68-
assert stack.toString().equals("stack[0, 1, 2, 3]");
69-
int top = stack.pop();
70-
assert top == 3 && stack.toString().equals("stack[0, 1, 2]");
71-
Stack<Integer> reverse = Stacks.reverse(stack);
72-
assert stack.empty();
73-
assert reverse.toString().equals("stack[2, 1, 0]");
74-
}
75-
}
66+
g/Client.java:
67+
class Client {
68+
public static void main(String[] args) {
69+
Stack<Integer> stack = new ArrayStack<Integer>();
70+
for (int i = 0; i<4; i++) stack.push(i);
71+
assert stack.toString().equals("stack[0, 1, 2, 3]");
72+
int top = stack.pop();
73+
assert top == 3 && stack.toString().equals("stack[0, 1, 2]");
74+
Stack<Integer> reverse = Stacks.reverse(stack);
75+
assert stack.empty();
76+
assert reverse.toString().equals("stack[2, 1, 0]");
77+
}
78+
}
7679
```
7780

7881
如果我们遵循上面的建议,并在启用适当的开关的情况下重新运行编译器,我们会得到更多的细节:
@@ -130,3 +133,5 @@
130133
这编译了遗留代码并且没有发出警告或错误。 这种关闭警告的方法只适用于真正的遗留代码,没有 `Java 5` 中引入的通用功能或其他功能。 也可以使用注释关闭未经
131134
检查的警告,如下一节所述,即使使用 `Java 5` 中引入的功能,也可以使用这些警告。
132135

136+
《《《 [下一节](04_Legacy_Library_with_Generic_Client.md) <br/>
137+
《《《 [返回首页](../README.md)

‎ch05/04_Legacy_Library_with_Generic_Client.md

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,6 @@
1+
《《《 [返回首页](../README.md) <br/>
2+
《《《 [上一节](03_Generic_Library_with_Legacy_Client.md)
3+
14
## 具有通用客户端的旧版库
25

36
在客户端之前更新库通常是有意义的,但可能会出现您希望以其他方式进行更新的情况。 例如,您可能负责维护客户而不是类库; 或者类库可能很大,因此您可能需要逐
@@ -236,3 +239,5 @@
236239
通过确保遗留对象和泛型对象相同,`Java` 泛型的设计避免了包装器的所有这些问题。 `C#` 泛型的设计有很大的不同:遗留类和泛型类是完全不同的,任何结合遗留
237240
集合和泛型集合的尝试都会碰到这里讨论的包装器的困难。
238241

242+
《《《 [下一节](05_Conclusions.md) <br/>
243+
《《《 [返回首页](../README.md)

‎ch05/05_Conclusions.md

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,6 @@
1+
《《《 [返回首页](../README.md) <br/>
2+
《《《 [上一节](04_Legacy_Library_with_Generic_Client.md)
3+
14
## 结论
25

36
回顾一下,我们已经看到了库和客户端的通用版本和旧版本。这些生成等效的类文件,这大大简化了进化。您可以使用具有旧版客户端的通用库,或者使用通用客户端的旧版
@@ -10,3 +13,6 @@
1013
中,泛型类型和数组在运行时都包含有关参数和元素类型的信息。每种方法都有优点和缺点。在下一章中,我们将讨论由于 `Java` 没有提供有关类型参数的信息而导致的转
1114
换和数组问题,并且这些问题在C#中不会出现。另一方面,`C#` 中的进化要困难得多。遗留和泛型集合类是完全不同的,任何将遗留集合和泛型集合结合起来的尝试都会遇
1215
到前面讨论过的包装器的困难。相反,正如我们所看到的,`Java` 中的演变很简单。
16+
17+
《《《 [下一节](../ch06/00_Reification.md) <br/>
18+
《《《 [返回首页](../README.md)

0 commit comments

Comments
(0)

AltStyle によって変換されたページ (->オリジナル) /