add

Signed-off-by: maskleo <[email protected]>

Author: maskleo

ch07/02_Reflected_Types_are_Reifiable_Types.md

@@ -0,0 +1,88 @@
+## 反射类型是可维持类型
+
+反思使程序可以使用物化类型信息。 因此，必要的是，每个类别标记对应于可确定类型。 如果您尝试反映参数化类型，则会获得相应原始类型的指定信息：
+
+```java
+   List<Integer> ints = new ArrayList<Integer>();
+   List<String> strs = new ArrayList<String>();
+   assert ints.get Class() == strs.getClass();
+   assert ints.getClass() == ArrayList.class;
+```
+
+这里整型的类型列表和字符串的类型列表都由同一个类标记表示，其中的类文字被写入 `ArrayList.class`。
+
+由于该类始终表示可重用类型，因此使用不可赋予的类型对类 `Class` 进行参数化没有意义。 因此，使用类型参数生成类的两种主要方法（即 `getClass` 方法和类文本）都被设计为在所有情况下都为类型参数生成可重用类型。
+
+回想一下，编译器专门处理了 `getClass` 方法。 一般来说，如果表达式 `e` 的类型为 `T`，则表达式 `e.getClass()` 的类型为 `Class<extends | T |>`，其中 `| T |` 是类型 `T` 的删除。 这是一个例子：
+
+```java
+   List<Integer> ints = new ArrayList<Integer>();
+   Class<? extends List> k = ints.getClass();
+   assert k == ArrayList.class;
+```
+
+这里表达式 `int` 具有 `List<Integer>` 类型，所以表达式 `int.getClass()` 的类型为 `Class <? extends List>`; 这是因为擦除 `List<Integer>` 会生成原始类型 `List`。`k` 的实际值是 `ArrayList.class`，它的类型为 `Class<ArrayList>`，它确实是 `Class<? extends List>` 的子类型。
+
+类文字也受到限制; 在类文字中为类型提供类型参数甚至在语法上都是无效的。 因此，以下片段是非法的：
+
+```java
+   class ClassLiteral {
+     public Class<?> k = List<Integer>.class; // syntax error
+   }
+```
+
+事实上，`Java` 的语法使得前面一个短语难以解析，并且可能触发语法错误级联：
+
+```java
+   % javac ClassLiteral.java
+   ClassLiteral.java:2: illegal start of expression
+     public Class<?> k = List<Integer>.class; // syntax error
+									  ^
+   ClassLiteral.java:2: ';' expected
+     public Class<?> k = List<Integer>.class; // syntax error
+									  ^
+   ClassLiteral.java:2: <identifier> expected
+     public Class<?> k = List<Integer>.class; // syntax error
+									  ^
+   ClassLiteral.java:4: '}' expected
+   ^
+   4 errors
+```
+
+解析器在这个短语中遇到了很多麻烦，当它到达文件末尾时仍然感到困惑！
+
+此语法问题导致不规则。 在需要可调整类型的其他位置，您可以提供原始类型（例如 `List`）或带有无限制通配符（例如 `List<?>`）的参数化类型。 但是，对于类别令牌，您必须提供原始类型; 甚至不会出现无界的通配符。 在前面的代码中用 `List<?>替换 `List<Integer>` 会导致类似的错误级联。
+
+对类别标记的限制导致一个有用的属性。 无论何处出现类型为 `Class<T>` 的类型，类型 `T` 都应该是可重用的类型。 对于 `T[]` 形式的类型也是如此.
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+