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/267616.html