Eit*_*s30 3 java generics type-erasure
希望在了解通用边界之后，我尝试了解通配符上限和下限。我的参考是： https: //docs.oracle.com/javase/tutorial/java/generics/wildcards.html 我发现有一句话我能理解：“通配符可以在多种情况下使用：作为参数、字段或局部变量； “字段和局部变量？无法想象。为什么如此重要的来源不通过一个简单的例子来强调它？
我试图了解 java 编译器用哪个引用来替换（同时擦除）“？”。也许我有一个很大的误解，并且会发生任何删除（因此以下所有示例都不相关）。在下面的例子中： 1.
public static void funcA (List<? extends Number>l)
2.
public static void funcB(List<? super Integer>l)
第二个示例和以下代码之间有区别吗： 3.
public static <T extends Integer> funcC(List<? extends T>l)
示例2与下面的示例是否有不同： 4.
public static <T extends Integer> void funcC(List<T>l)
前言：您已经提出了许多有关类型擦除的问题，包括在聊天室中。虽然这个答案将解决这个特定问题，但它也可能回答您的一些其他问题（甚至可能是您还没有问过的一些问题）。
\n\n警告：这个答案很长，并且本文中特别提出的问题仅在最后直接解决。
\n\n其他问答中已经对此进行了很好的介绍，因此我将简单地链接到它们：
\n\n\n\n类型擦除的规则在Java 语言规范 (JLS)的\xc2\xa74.6 类型擦除中指定：
\n\n\n\n\n类型擦除是从类型（可能包括参数化类型和类型变量）到类型（永远不是参数化类型或类型变量）的映射。我们写作
\n\n|T|是为了擦除类型T。擦除映射定义如下：\n
\n\n- \n
参数化类型 ( \xc2\xa74.5 )的擦除
G<T1,...,Tn>是|G|。- \n
嵌套类型的擦除
T.C是|T|.C。- \n
数组类型的擦除
T[]是|T|[]。- \n
类型变量 ( \xc2\xa74.4 )的擦除是其最左边界的擦除。
- \n
所有其他类型的擦除就是类型本身。
类型擦除还将构造函数或方法的签名 ( \xc2\xa78.4.2 ) 映射到没有参数化类型或类型变量的签名。构造函数或方法签名的擦除是由与 中给出的所有形参类型
\n\ns同名和擦除组成的签名。ss如果方法或构造函数的返回类型 ( \xc2\xa78.4.5 ) 和泛型方法或构造函数 ( \xc2\xa78.4.4、\xc2\xa78.8.4 ) 的类型参数也会被擦除签名被删除。
\n\n泛型方法签名的擦除没有类型参数。
\n
对于这个答案，我们应该关注第一点和第四点：
\n\n\n\n\n参数化类型 ( \xc2\xa74.5 )的擦除
\nG<T1,...,Tn>是|G|。
和：
\n\n\n\n\n类型变量 ( \xc2\xa74.4 )的擦除是其最左边界的擦除。
\n
分别。特别是，请注意第四个要点如何仅解释类型变量的擦除。为什么这很重要？我会回过头来讨论这一点。
\n\n理解这些术语对于理解如何应用规则很重要：
\n\n通用类
\n\n通用接口
\n\n通用方法
\n\n通用构造函数
\n\n类型变量
\n\n{Annotation} TypeIdentifier类型参数
\n\n{TypeParameterModifier} TypeIdentifier [TypeBound]TypeParameterModifierAnnotation参数化类型
\n\n类型参数
\n\n请注意，类型参数和类型实参之间的区别类似于 Java 区分方法参数和实参的方式。当您将方法声明为void bar(Object obj)参数Object obj时。但是，当您调用该方法时，就像参数bar(someObjInstance)的值一样。someObjInstance
查看代码中的一些示例可以帮助理解每个术语适用于代码的哪些部分。
\n\npublic class Foo<T extends CharSequence, U> {\n // class body...\n}\n有两种类型参数：
\n\nT extends Charsequence
T.extends CharSequenceU
Uextends Object（隐式定义的）对于通用接口，代码看起来类似。
\n\npublic void <V extends Number> bar(V obj) {\n // method body...\n}\n该方法有一个类型参数：
\n\nV extends Number\n\nV.extends Number.泛型构造函数的代码看起来类似。
\n\npublic <E extends Number> void bar(List<E> list) {\n // method body...\n}\n有一种参数化类型：
\n\nList<E>\n\nE.public void bar(List<? extends Number> list) {\n // method body...\n}\n有一种参数化类型：
\n\nList<? extends Number>\n\n? extends Number正如我所提到的，值得注意的是，规则仅提到类型变量的擦除。这很重要的原因是因为在可以定义类型变量的地方（即在类型参数中）不允许使用通配符。通配符只能用在属于参数化类型一部分的类型参数中。
\n\n参数化类型的擦除只是原始类型。
\n\n在通用代码的日常开发中，类型擦除实际上是无关紧要的。您必须详细了解类型擦除如何工作的唯一一次是在使用原始类型时。在理想且公正的世界中，当使用无法更改的遗留代码（从 Java 5 之前的日子开始）时，您只会使用原始类型。换句话说，除非您被迫使用原始类型，否则您应该始终适当地使用泛型。
\n\n然而，也许您被迫使用原始类型或者您只是好奇。在这种情况下，您需要知道类型擦除的工作原理，因为擦除决定了使用什么类型。这是泛型类的示例：
\n\npublic class Foo<T extend CharSequence, U> {\n\n private List<T> listField;\n private U objField;\n\n public void bar(List<? extends T> listParam) {\n // method body...\n }\n\n public U baz(T objParam) {\n // method body...\n }\n\n public <V extends Number> V qux(V objParam) {\n // method body...\n }\n\n}\n遵循前面提到的类型擦除规则，上面的类之后的样子如下：
\n\n// the raw type of Foo\npublic class Foo {\n\n private List listField;\n private Object objField;\n\n public void bar(List listParam) {\n // method body...\n }\n\n public Object baz(CharSequence objParam) {\n // method body...\n }\n\n public Number qux(Number objParam) {\n // method body...\n }\n\n}\n但同样，当您使用原始类型时，您只需要了解后一个版本。
\n\n到目前为止我们了解到的一些内容是通配符只能在类型参数中使用，因此仅适用于参数化类型。参数化类型的擦除只是原始类型。如果我们将这些知识应用到您的示例中，您将得到以下结果：
\n\n例子#1
\n\n原来的
\n\n\nRun Code Online (Sandbox Code Playgroud)\npublic static void funcA(List<? extends Number> l)\n
已删除
\n\npublic static void funcA(List l)\n例子#2
\n\n原来的
\n\n\nRun Code Online (Sandbox Code Playgroud)\npublic static void funcB(List<? super Integer> l)\n
已删除
\n\npublic static void funcB(List l) \n例子#3
\n\n原始（忘记指定有问题的返回类型，假设void）
\nRun Code Online (Sandbox Code Playgroud)\npublic static <T extends Integer> void funcC(List<? extends T> l)\n
已删除
\n\npublic static void funcC(List l)\n例子#4
\n\n原来的
\n\n\nRun Code Online (Sandbox Code Playgroud)\npublic static <T extends Integer> void funcC(List<T> l)\n
已删除
\n\npublic static void funcC(List l)\n为了真正指出类型变量的擦除和参数化类型的擦除之间的区别，让我们看另一个例子。
\n\npublic static void funcA(List<? extends Number> l)\n该方法bar有一个类型为 的参数T。参数直接使用类型变量。类型变量的擦除是其最左边界的擦除，Number在本例中就是这样。这意味着擦除后该方法的参数为Number。
该方法baz有一个类型为 的参数List<? extends T>。这里，类型变量被用作 参数化类型的类型参数T的上限。换句话说，尽管使用了类型变量，但这里实际使用的擦除是参数化类型的擦除。这意味着擦除后该方法的参数只是。即使类型参数是下限通配符（例如）、无界通配符（例如），甚至非通配符（例如），也会发生这种情况。ListList<? super T>List<?>List<T>
要直接回答有关类型擦除如何处理通配符的问题，答案是有效的：它不，不直接。通配符会消失（当参数化类型被删除时），并且在生成的原始类型中没有任何意义。
\n\n通配符为使用通用 API 的用户提供了灵活性。以下是一些针对该概念的问答：
\n\n\n\n希望这些问答也能帮助回答您的辅助问题，即您帖子中的第二个和第四个示例之间的区别是什么。
\n| 归档时间： |
|
| 查看次数： |
1916 次 |
| 最近记录： |