|
1 | | -## 多重界限 |
| 1 | +《《《 [返回首页](../README.md) <br/> |
| 2 | +《《《 [上一节](05_Enumerated_Types.md) |
| 3 | + |
| 4 | +### 多重界限 |
2 | 5 |
|
3 | 6 | 我们已经看到很多例子,其中类型变量或通配符由单个类或接口约束。 在极少数情况下,可能需要有多个边界,我们在这里展示了如何实现。 |
4 | 7 |
|
5 | | -为了演示,我们使用 `Java` 库中的三个接口。 `Readable` 接口具有从源读取缓冲区的读取方法,`Appendable` 接口具有从缓冲区复制到目标的 `append` 方法,而 `Closeable` 接口具有关闭方法来关闭源或目标。 可能的源和目标包括文件,缓冲区,流等。 |
| 8 | +为了演示,我们使用 `Java` 库中的三个接口。 `Readable` 接口具有从源读取缓冲区的读取方法,`Appendable` 接口具有从缓冲区复制到目标的 `append` 方法, |
| 9 | +而 `Closeable` 接口具有关闭方法来关闭源或目标。 可能的源和目标包括文件,缓冲区,流等。 |
6 | 10 |
|
7 | | -为了获得最大的灵活性,我们可能希望编写一个复制方法,该方法使用实现 `Readable` 和 `Closeable` 的任何源以及实现 `Appendable` 和 `Closeable` 的任何目标: |
| 11 | +为了获得最大的灵活性,我们可能希望编写一个复制方法,该方法使用实现 `Readable` 和 `Closeable` 的任何源以及实现 `Appendable` 和 `Closeable` 的任何 |
| 12 | +目标: |
8 | 13 |
|
9 | 14 | ```java |
10 | | - public static <S extends Readable & Closeable,T extends Appendable & Closeable> void copy(S src, T trg, int size) throws IOException { |
| 15 | + public static <S extends Readable & Closeable,T extends Appendable & Closeable> void copy(S src, T trg, int size) |
| 16 | + throws IOException { |
11 | 17 | try { |
12 | 18 | CharBuffer buf = CharBuffer.allocate(size); |
13 | 19 | int i = src.read(buf); |
|
16 | 22 | trg.append(buf); |
17 | 23 | buf.clear(); // prepare buffer for reading |
18 | 24 | i = src.read(buf); |
19 | | - } |
20 | | - } finally { |
21 | | - src.close(); |
22 | | - trg.close(); |
23 | | - } |
24 | | - } |
| 25 | + } |
| 26 | + } finally { |
| 27 | + src.close(); |
| 28 | + trg.close(); |
| 29 | + } |
| 30 | + } |
25 | 31 | ``` |
26 | 32 |
|
27 | | -此方法从源重复读入缓冲区并从缓冲区追加到目标中。 当源为空时,它关闭源和目标。 (这个例子偏离了最佳做法,因为这些文件是在不同于打开文件的块中关闭的。)第一行指定 `S` 范围在实现 `Readable` 和 `Closeable` 的任何类型上,并且对任何类型的 `Trailing` 实现 `Appendable` 和 `Closeable`。当出现一个类型变量的多个边界时,它们用 `&` 符号分隔。 您不能使用逗号,因为它已经用于分隔类型变量的声明。 |
| 33 | +此方法从源重复读入缓冲区并从缓冲区追加到目标中。 当源为空时,它关闭源和目标。 (这个例子偏离了最佳做法,因为这些文件是在不同于打开文件的块中关闭 |
| 34 | +的。)第一行指定 `S` 范围在实现 `Readable` 和 `Closeable` 的任何类型上,并且对任何类型的 `Trailing` 实现 `Appendable` 和 `Closeable`。当出现一 |
| 35 | +个类型变量的多个边界时,它们用 `&` 符号分隔。 您不能使用逗号,因为它已经用于分隔类型变量的声明。 |
28 | 36 |
|
29 | 37 | 例如,可以使用两个文件作为源和目标或使用包含在缓冲区中的相同两个文件作为源和目标来调用此方法: |
30 | 38 |
|
|
38 | 46 | copy(br,bw,size); |
39 | 47 | ``` |
40 | 48 |
|
41 | | -其他可能的来源包括 `FilterReader`,`PipedReader` 和 `StringReader`,其他可能的目标包括 `FilterWriter`,`PipedWriter` 和 `PrintStream`。但是你不能使用 `StringBuffer` 作为目标,因为它实现了 `Appendable` 而不是 `Closeable`。 |
| 49 | +其他可能的来源包括 `FilterReader`,`PipedReader` 和 `StringReader`,其他可能的目标包括 `FilterWriter`,`PipedWriter` 和 `PrintStream`。但是你 |
| 50 | +不能使用 `StringBuffer` 作为目标,因为它实现了 `Appendable` 而不是 `Closeable`。 |
42 | 51 |
|
43 | | -如果你挑剔的话,你可能会发现实现 `Readable` 和 `Closeable` 的所有类都是 `Reader` 的子类,几乎所有实现 `Append ble` 和 `Closeable` 的类都是 `Writer` 的子类。 所以你可能想知道为什么我们不像这样简化方法签名: |
| 52 | +如果你挑剔的话,你可能会发现实现 `Readable` 和 `Closeable` 的所有类都是 `Reader` 的子类,几乎所有实现 `Append ble` 和 `Closeable` 的类都是 |
| 53 | +`Writer` 的子类。 所以你可能想知道为什么我们不像这样简化方法签名: |
44 | 54 |
|
45 | 55 | ```java |
46 | 56 | public static void copy(Reader src, Writer trg, int size) |
47 | 57 | ``` |
48 | 58 |
|
49 | | -这将确实承认大部分相同的课程,但不是全部。 例如,`PrintStream` 实现了 `Appendable` 和 `Closeable`,但不是 `Writer` 的子类。 此外,你不能排除一些使用你的代码的程序员可能有他或她自己的自定义类,比如实现 `Readable` 和 `Closeable`,但不是 `Reader`的子类。 |
| 59 | +这将确实承认大部分相同的课程,但不是全部。 例如,`PrintStream` 实现了 `Appendable` 和 `Closeable`,但不是 `Writer` 的子类。 此外,你不能排除一些 |
| 60 | +使用你的代码的程序员可能有他或她自己的自定义类,比如实现 `Readable` 和 `Closeable`,但不是 `Reader`的子类。 |
50 | 61 |
|
51 | 62 | 当出现多个界限时,第一个界限用于擦除。我们在第3.2节中提到了这一点: |
52 | 63 |
|
53 | 64 | ```java |
54 | 65 | public static <T extends Object & Comparable<? super T>> T max(Collection<? extends T> coll) |
55 | 66 | ``` |
56 | 67 |
|
57 | | -如果没有突出显示的文本,`max` 的已擦除类型签名将具有 `Comparable` 作为返回类型,而在旧库中,返回类型为 `Object`。 第 `5` 章和第 `8.4` 节将进一步讨论保持与遗留库的兼容性。 |
58 | | - |
59 | | - |
60 | | - |
61 | | - |
62 | | - |
63 | | - |
64 | | - |
65 | | - |
66 | | - |
67 | | - |
68 | | - |
69 | | - |
70 | | - |
71 | | - |
72 | | - |
73 | | - |
74 | | - |
75 | | - |
76 | | - |
77 | | - |
78 | | - |
79 | | - |
80 | | - |
81 | | - |
82 | | - |
83 | | - |
84 | | - |
85 | | - |
86 | | - |
87 | | - |
88 | | - |
89 | | - |
90 | | - |
91 | | - |
92 | | - |
93 | | - |
94 | | - |
95 | | - |
96 | | - |
97 | | - |
98 | | - |
99 | | - |
100 | | - |
101 | | - |
102 | | - |
103 | | - |
104 | | - |
105 | | - |
106 | | - |
| 68 | +如果没有突出显示的文本,`max` 的已擦除类型签名将具有 `Comparable` 作为返回类型,而在旧库中,返回类型为 `Object`。 第 `5` 章和第 `8.4` 节将进一步 |
| 69 | +讨论保持与遗留库的兼容性。 |
107 | 70 |
|
| 71 | +《《《 [下一节](07_Bridges.md) <br/> |
| 72 | +《《《 [返回首页](../README.md) |
0 commit comments