Unclear Compile-time Java Error

•浏览 1

Unclear Compile-time Java Error

我在以下代码的编译时错误方面遇到了特殊行为(我正在使用 JDK7)：

public class classA { public void foo( List<Object> o ){} }



public class classB< T >{ public void bar( List<Object> o ){} }
List<String> o = new ArrayList<String>();
ClassB b = new classB(); 

b.bar( o );

public class classB< T > {

  public void bar( List<Object> o ){}



  public static void main( String[] args ){ 

    classB b = new classB();

    List<String> o = new ArrayList<String>();

    b.bar( o );

  }



}
classB b = new classB();
Note: classB.java uses unchecked or unsafe operations.
public void bar( List<Float> o );
classB<Object> b = new classB<Object>();

class ClassB< T >

new ClassB().bar(new ArrayList<String>());

new ClassB<String>().bar(new ArrayList<String>());
The method **bar(List<Object>)** in the type ClassB<String> is not applicable for the arguments (ArrayList<String>)

public void method(List<? extends Object> o) { /* body */ }

我们考虑以下测试对象

public class classA { public void foo( List<Object> o ){} }



public class classB< T >{ public void bar( List<Object> o ){} }
List<String> o = new ArrayList<String>();
ClassB b = new classB(); 

b.bar( o );

public class classB< T > {

  public void bar( List<Object> o ){}



  public static void main( String[] args ){ 

    classB b = new classB();

    List<String> o = new ArrayList<String>();

    b.bar( o );

  }



}
classB b = new classB();
Note: classB.java uses unchecked or unsafe operations.
public void bar( List<Float> o );
classB<Object> b = new classB<Object>();

class ClassB< T >

new ClassB().bar(new ArrayList<String>());

new ClassB<String>().bar(new ArrayList<String>());
The method **bar(List<Object>)** in the type ClassB<String> is not applicable for the arguments (ArrayList<String>)

public void method(List<? extends Object> o) { /* body */ }

没有办法通过将o作为参数传递给classA类的方法foo来编译java，据我所知，不应该有。

现在假设我们在 classB 的 main 方法中并尝试只调用 bar 而不实例化 classB 的实例来调用它。我可能希望得到一个非静态方法不能从静态上下文编译错误中调用，就像我试图在 classA 中提取它一样，但我得到一个转换调用错误。那是有道理的——类型不排列。

但是，如果我尝试从非静态上下文调用 bar，如

public class classA { public void foo( List<Object> o ){} }



public class classB< T >{ public void bar( List<Object> o ){} }
List<String> o = new ArrayList<String>();
ClassB b = new classB(); 

b.bar( o );

public class classB< T > {

  public void bar( List<Object> o ){}



  public static void main( String[] args ){ 

    classB b = new classB();

    List<String> o = new ArrayList<String>();

    b.bar( o );

  }



}
classB b = new classB();
Note: classB.java uses unchecked or unsafe operations.
public void bar( List<Float> o );
classB<Object> b = new classB<Object>();

class ClassB< T >

new ClassB().bar(new ArrayList<String>());

new ClassB<String>().bar(new ArrayList<String>());
The method **bar(List<Object>)** in the type ClassB<String> is not applicable for the arguments (ArrayList<String>)

public void method(List<? extends Object> o) { /* body */ }

Java 似乎原谅我没有排列类型并且运行代码没有问题。我还没有做任何事情来解决打字问题，那么为什么 Java 让这段代码执行，而它不会与 classA 一起执行？

编辑：回答一些问题。 classA 仅供参考 - 它不应该编译，我也不希望它编译，所以我不能提供用它编译的代码。确实编译和执行的 classB 的代码可能由以下方式给出：

public class classA { public void foo( List<Object> o ){} }



public class classB< T >{ public void bar( List<Object> o ){} }
List<String> o = new ArrayList<String>();
ClassB b = new classB(); 

b.bar( o );

public class classB< T > {

  public void bar( List<Object> o ){}



  public static void main( String[] args ){ 

    classB b = new classB();

    List<String> o = new ArrayList<String>();

    b.bar( o );

  }



}
classB b = new classB();
Note: classB.java uses unchecked or unsafe operations.
public void bar( List<Float> o );
classB<Object> b = new classB<Object>();

class ClassB< T >

new ClassB().bar(new ArrayList<String>());

new ClassB<String>().bar(new ArrayList<String>());
The method **bar(List<Object>)** in the type ClassB<String> is not applicable for the arguments (ArrayList<String>)

public void method(List<? extends Object> o) { /* body */ }

此代码编译并执行。在类声明行中没有泛型声明的完全相同的代码不起作用。我理解类型擦除，这是有人逃避的，但它有什么帮助，因为 T 不是方法栏或主代码中的引用

此外，还有很多方法可以让这段代码变得更好。我真的只是在寻找对其行为的解释

这是泛型实现方式的限制。

他们选择加入。

public class classA { public void foo( List<Object> o ){} }



public class classB< T >{ public void bar( List<Object> o ){} }
List<String> o = new ArrayList<String>();
ClassB b = new classB(); 

b.bar( o );

public class classB< T > {

  public void bar( List<Object> o ){}



  public static void main( String[] args ){ 

    classB b = new classB();

    List<String> o = new ArrayList<String>();

    b.bar( o );

  }



}
classB b = new classB();
Note: classB.java uses unchecked or unsafe operations.
public void bar( List<Float> o );
classB<Object> b = new classB<Object>();

class ClassB< T >

new ClassB().bar(new ArrayList<String>());

new ClassB<String>().bar(new ArrayList<String>());
The method **bar(List<Object>)** in the type ClassB<String> is not applicable for the arguments (ArrayList<String>)

public void method(List<? extends Object> o) { /* body */ }

在这里，您选择退出泛型，您确实会收到警告。

public class classA { public void foo( List<Object> o ){} }



public class classB< T >{ public void bar( List<Object> o ){} }
List<String> o = new ArrayList<String>();
ClassB b = new classB(); 

b.bar( o );

public class classB< T > {

  public void bar( List<Object> o ){}



  public static void main( String[] args ){ 

    classB b = new classB();

    List<String> o = new ArrayList<String>();

    b.bar( o );

  }



}
classB b = new classB();
Note: classB.java uses unchecked or unsafe operations.
public void bar( List<Float> o );
classB<Object> b = new classB<Object>();

class ClassB< T >

new ClassB().bar(new ArrayList<String>());

new ClassB<String>().bar(new ArrayList<String>());
The method **bar(List<Object>)** in the type ClassB<String> is not applicable for the arguments (ArrayList<String>)

public void method(List<? extends Object> o) { /* body */ }

当您选择退出泛型类型检查时，对于整个类，即使对于不使用绑定类型 T 的方法，您也不会得到任何检查。

正如@vandale 指出的那样，关闭泛型后，您甚至可以使用

编译代码

public class classA { public void foo( List<Object> o ){} }



public class classB< T >{ public void bar( List<Object> o ){} }
List<String> o = new ArrayList<String>();
ClassB b = new classB(); 

b.bar( o );

public class classB< T > {

  public void bar( List<Object> o ){}



  public static void main( String[] args ){ 

    classB b = new classB();

    List<String> o = new ArrayList<String>();

    b.bar( o );

  }



}
classB b = new classB();
Note: classB.java uses unchecked or unsafe operations.
public void bar( List<Float> o );
classB<Object> b = new classB<Object>();

class ClassB< T >

new ClassB().bar(new ArrayList<String>());

new ClassB<String>().bar(new ArrayList<String>());
The method **bar(List<Object>)** in the type ClassB<String> is not applicable for the arguments (ArrayList<String>)

public void method(List<? extends Object> o) { /* body */ }

如果你做了一个

public class classA { public void foo( List<Object> o ){} }



public class classB< T >{ public void bar( List<Object> o ){} }
List<String> o = new ArrayList<String>();
ClassB b = new classB(); 

b.bar( o );

public class classB< T > {

  public void bar( List<Object> o ){}



  public static void main( String[] args ){ 

    classB b = new classB();

    List<String> o = new ArrayList<String>();

    b.bar( o );

  }



}
classB b = new classB();
Note: classB.java uses unchecked or unsafe operations.
public void bar( List<Float> o );
classB<Object> b = new classB<Object>();

class ClassB< T >

new ClassB().bar(new ArrayList<String>());

new ClassB<String>().bar(new ArrayList<String>());
The method **bar(List<Object>)** in the type ClassB<String> is not applicable for the arguments (ArrayList<String>)

public void method(List<? extends Object> o) { /* body */ }

它不会再编译了。

当你定义类为

public class classA { public void foo( List<Object> o ){} }



public class classB< T >{ public void bar( List<Object> o ){} }
List<String> o = new ArrayList<String>();
ClassB b = new classB(); 

b.bar( o );

public class classB< T > {

  public void bar( List<Object> o ){}



  public static void main( String[] args ){ 

    classB b = new classB();

    List<String> o = new ArrayList<String>();

    b.bar( o );

  }



}
classB b = new classB();
Note: classB.java uses unchecked or unsafe operations.
public void bar( List<Float> o );
classB<Object> b = new classB<Object>();

class ClassB< T >

new ClassB().bar(new ArrayList<String>());

new ClassB<String>().bar(new ArrayList<String>());
The method **bar(List<Object>)** in the type ClassB<String> is not applicable for the arguments (ArrayList<String>)

public void method(List<? extends Object> o) { /* body */ }

但将其实例化为

public class classA { public void foo( List<Object> o ){} }



public class classB< T >{ public void bar( List<Object> o ){} }
List<String> o = new ArrayList<String>();
ClassB b = new classB(); 

b.bar( o );

public class classB< T > {

  public void bar( List<Object> o ){}



  public static void main( String[] args ){ 

    classB b = new classB();

    List<String> o = new ArrayList<String>();

    b.bar( o );

  }



}
classB b = new classB();
Note: classB.java uses unchecked or unsafe operations.
public void bar( List<Float> o );
classB<Object> b = new classB<Object>();

class ClassB< T >

new ClassB().bar(new ArrayList<String>());

new ClassB<String>().bar(new ArrayList<String>());
The method **bar(List<Object>)** in the type ClassB<String> is not applicable for the arguments (ArrayList<String>)

public void method(List<? extends Object> o) { /* body */ }

您实际上是在使用它的原始类型(没有泛型)版本。如果您注意到关于类型安全的警告；方法签名是 bar(List) 而不是 bar(List<Object>):

Type safety: The method bar(List) belongs to the raw type ClassB. References to generic type ClassB should be parameterized.

如果您将参数化类型 T 传递为，例如 String

public class classA { public void foo( List<Object> o ){} }



public class classB< T >{ public void bar( List<Object> o ){} }
List<String> o = new ArrayList<String>();
ClassB b = new classB(); 

b.bar( o );

public class classB< T > {

  public void bar( List<Object> o ){}



  public static void main( String[] args ){ 

    classB b = new classB();

    List<String> o = new ArrayList<String>();

    b.bar( o );

  }



}
classB b = new classB();
Note: classB.java uses unchecked or unsafe operations.
public void bar( List<Float> o );
classB<Object> b = new classB<Object>();

class ClassB< T >

new ClassB().bar(new ArrayList<String>());

new ClassB<String>().bar(new ArrayList<String>());
The method **bar(List<Object>)** in the type ClassB<String> is not applicable for the arguments (ArrayList<String>)

public void method(List<? extends Object> o) { /* body */ }

编译时出错(再次注意方法签名)

public class classA { public void foo( List<Object> o ){} }



public class classB< T >{ public void bar( List<Object> o ){} }
List<String> o = new ArrayList<String>();
ClassB b = new classB(); 

b.bar( o );

public class classB< T > {

  public void bar( List<Object> o ){}



  public static void main( String[] args ){ 

    classB b = new classB();

    List<String> o = new ArrayList<String>();

    b.bar( o );

  }



}
classB b = new classB();
Note: classB.java uses unchecked or unsafe operations.
public void bar( List<Float> o );
classB<Object> b = new classB<Object>();

class ClassB< T >

new ClassB().bar(new ArrayList<String>());

new ClassB<String>().bar(new ArrayList<String>());
The method **bar(List<Object>)** in the type ClassB<String> is not applicable for the arguments (ArrayList<String>)

public void method(List<? extends Object> o) { /* body */ }

Java 仍然会产生"未检查"警告，但由于擦除它能够编译；也就是说，类型 List 和 List 在 Java 虚拟机中使用相同的非泛型底层类型。您可以将泛型视为仅用于在调用站点插入强制转换和进行一些额外检查的语法糖，但在编译器发出的字节码中，就好像 T 和 E 在任何地方都被替换为 Object，所以编译器能够将此视为警告而不是错误。

改用这个试试：

public class classA { public void foo( List<Object> o ){} }



public class classB< T >{ public void bar( List<Object> o ){} }
List<String> o = new ArrayList<String>();
ClassB b = new classB(); 

b.bar( o );

public class classB< T > {

  public void bar( List<Object> o ){}



  public static void main( String[] args ){ 

    classB b = new classB();

    List<String> o = new ArrayList<String>();

    b.bar( o );

  }



}
classB b = new classB();
Note: classB.java uses unchecked or unsafe operations.
public void bar( List<Float> o );
classB<Object> b = new classB<Object>();

class ClassB< T >

new ClassB().bar(new ArrayList<String>());

new ClassB<String>().bar(new ArrayList<String>());
The method **bar(List<Object>)** in the type ClassB<String> is not applicable for the arguments (ArrayList<String>)

public void method(List<? extends Object> o) { /* body */ }

这样，它将接受任何其泛型类型参数是 Object 后代的列表，这是您想要的方式。 :)

赞 (0)
« 上一篇
下一篇 »

相关推荐

  • Spring部署设置openshift

    Springdeploymentsettingsopenshift我有一个问题让我抓狂了三天。我根据OpenShift帐户上的教程部署了spring-eap6-quickstart代码。我已配置调试选项，并且已将Eclipse工作区与OpehShift服务器同步-服务器上的一切工作正常，但在Eclipse中出现无法消除的错误。我有这个错误：cvc-complex-type.2.4.a:Invali…
    2025-04-161

  • 检查Java中正则表达式中模式的第n次出现

    CheckfornthoccurrenceofpatterninregularexpressioninJava本问题已经有最佳答案，请猛点这里访问。我想使用Java正则表达式检查输入字符串中特定模式的第n次出现。你能建议怎么做吗？这应该可以工作：MatchResultfindNthOccurance(intn,Patternp,CharSequencesrc){Matcherm=p.matcher…
    2025-04-161

  • 如何让 JTable 停留在已编辑的单元格上

    HowtohaveJTablestayingontheeditedcell如果有人编辑JTable的单元格内容并按Enter，则内容会被修改并且表格选择会移动到下一行。是否可以禁止JTable在单元格编辑后转到下一行？原因是我的程序使用ListSelectionListener在单元格选择上同步了其他一些小部件，并且我不想在编辑当前单元格后选择下一行。Enter的默认绑定是名为selectNext…
    2025-04-161

  • Weblogic 12c 部署

    Weblogic12cdeploy我正在尝试将我的应用程序从Tomcat迁移到Weblogic12.2.1.3.0。我能够毫无错误地部署应用程序，但我遇到了与持久性提供程序相关的运行时错误。这是堆栈跟踪：javax.validation.ValidationException:CalltoTraversableResolver.isReachable()threwanexceptionatorg.…
    2025-04-161

  • Resteasy Content-Type 默认值

    ResteasyContent-Typedefaults我正在使用Resteasy编写一个可以返回JSON和XML的应用程序，但可以选择默认为XML。这是我的方法：@GET@Path("/content")@Produces({MediaType.APPLICATION_XML,MediaType.APPLICATION_JSON})publicStringcontentListRequestXm…
    2025-04-161

  • 代码不会停止运行，在 Java 中

    thecodedoesn'tstoprunning,inJava我正在用Java解决项目Euler中的问题10，即"Thesumoftheprimesbelow10is2+3+5+7=17.Findthesumofalltheprimesbelowtwomillion."我的代码是packageprojecteuler_1;importjava.math.BigInteger;importjava…
    2025-04-161

  • Out of memory java heap space

    Outofmemoryjavaheapspace我正在尝试将大量文件从服务器发送到多个客户端。当我尝试发送大小为700mb的文件时，它显示了"OutOfMemoryjavaheapspace"错误。我正在使用Netbeans7.1.2版本。我还在属性中尝试了VMoption。但仍然发生同样的错误。我认为阅读整个文件存在一些问题。下面的代码最多可用于300mb。请给我一些建议。提前致谢publicc…
    2025-04-161

  • Log4j 记录到共享日志文件

    Log4jLoggingtoaSharedLogFile有没有办法将log4j日志记录事件写入也被其他应用程序写入的日志文件。其他应用程序可以是非Java应用程序。有什么缺点？锁定问题？格式化？Log4j有一个SocketAppender，它将向服务发送事件，您可以自己实现或使用与Log4j捆绑的简单实现。它还支持syslogd和Windows事件日志，这对于尝试将日志输出与来自非Java应用程序…
    2025-04-161
手机版技术脚本