Unclear Compile-time Java Error
我在以下代码的编译时错误方面遇到了特殊行为(我正在使用 JDK7):
1
2 3 |
public class classA { public void foo( List<Object> o ){} }
public class classB< T >{ public void bar( List<Object> o ){} } |
我们考虑以下测试对象
1
|
List<String> o = new ArrayList<String>();
|
没有办法通过将o作为参数传递给classA类的方法foo来编译java,据我所知,不应该有。
现在假设我们在 classB 的 main 方法中并尝试只调用 bar 而不实例化 classB 的实例来调用它。我可能希望得到一个非静态方法不能从静态上下文编译错误中调用,就像我试图在 classA 中提取它一样,但我得到一个转换调用错误。那是有道理的——类型不排列。
但是,如果我尝试从非静态上下文调用 bar,如
1
2 |
ClassB b = new classB();
b.bar( o ); |
Java 似乎原谅我没有排列类型并且运行代码没有问题。我还没有做任何事情来解决打字问题,那么为什么 Java 让这段代码执行,而它不会与 classA 一起执行?
编辑:回答一些问题。 classA 仅供参考 – 它不应该编译,我也不希望它编译,所以我不能提供用它编译的代码。确实编译和执行的 classB 的代码可能由以下方式给出:
1
2 3 4 5 6 7 8 9 10 |
public class classB< T > { public void bar( List<Object> o ){} public static void main( String[] args ){ } |
此代码编译并执行。在类声明行中没有泛型声明的完全相同的代码不起作用。我理解类型擦除,这是有人逃避的,但它有什么帮助,因为 T 不是方法栏或主代码中的引用
此外,还有很多方法可以让这段代码变得更好。我真的只是在寻找对其行为的解释
这是泛型实现方式的限制。
他们选择加入。
1
|
classB b = new classB();
|
在这里,您选择退出泛型,您确实会收到警告。
1
|
Note: classB.java uses unchecked or unsafe operations.
|
当您选择退出泛型类型检查时,对于整个类,即使对于不使用绑定类型
正如@vandale 指出的那样,关闭泛型后,您甚至可以使用
编译代码
1
|
public void bar( List<Float> o );
|
如果你做了一个
1
|
classB<Object> b = new classB<Object>();
|
它不会再编译了。
当你定义类为
1
|
class ClassB< T >
|
但将其实例化为
1
|
new ClassB().bar(new ArrayList<String>());
|
您实际上是在使用它的原始类型(没有泛型)版本。如果您注意到关于类型安全的警告;方法签名是
Type safety: The method bar(List) belongs to the raw type ClassB. References to generic type ClassB should be parameterized.
如果您将参数化类型
1
|
new ClassB<String>().bar(new ArrayList<String>());
|
编译时出错(再次注意方法签名)
1
|
The method **bar(List<Object>)** in the type ClassB<String> is not applicable for the arguments (ArrayList<String>)
|
Java 仍然会产生”未检查”警告,但由于擦除它能够编译;也就是说,类型 List< T > 和 List
改用这个试试:
1
|
public void method(List<? extends Object> o) { /* body */ }
|
这样,它将接受任何其泛型类型参数是 Object 后代的列表,这是您想要的方式。 :)
原创文章,作者:ItWorker,如若转载,请注明出处:https://blog.ytso.com/tech/java/267616.html