|
| 1 | +《《《 [返回首页](../README.md) <br/> |
| 2 | +《《《 [上一节](09_Arrays_as_a_Deprecated_Type.md) |
| 3 | + |
1 | 4 | ## 加起来 |
2 | 5 |
|
3 | 6 | 我们通过给出需要或推荐可评估类型的地方的清单来得出结论。 |
|
7 | 10 | - 扩展 `Throwable` 的类不能参数化。 |
8 | 11 | - 数组实例创建必须处于可修饰类型。 |
9 | 12 | - 数组的指定类型必须是其静态类型的删除子类型(请参阅广告中的真理原则),并且公开暴露的数组应该是可确定类型的(请参阅不雅曝光原则)。 |
10 | | - - 可变参数应该是可确定的类型。 (可变类型的变量将发出未经检查的警告。)这些限制来自泛型通过擦除来实现的事实,它们应该被视为我们在前一章探讨的易于进化的价格。 |
| 13 | + - 可变参数应该是可确定的类型。 (可变类型的变量将发出未经检查的警告。)这些限制来自泛型通过擦除来实现的事实,它们应该被视为我们在前一章探讨的易于进化 |
| 14 | +的价格。 |
11 | 15 |
|
12 | 16 | 为了完整性,我们还列出了与反射相关的限制: |
13 | 17 | - 类令牌对应于可重用类型,`Class<T>` 中的类型参数应该是可重用类型。 (见 `7.2` 节) |
14 | 18 |
|
15 | | -这些在下一章讨论。 |
| 19 | +这些在下一章讨论。 |
| 20 | + |
| 21 | +《《《 [下一节](../ch07/00_Reflection.md) <br/> |
| 22 | +《《《 [返回首页](../README.md) |
0 commit comments