关于强制转换：Unclear Compile-time Java Error


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 ){
        classB b = new classB();
        List<String> o = new ArrayList<String>();
        b.bar( o );
    }

}

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

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

相关讨论

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

他们选择加入。

1
classB b = new classB();

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

1
Note: classB.java uses unchecked or unsafe operations.

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

正如@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>());

您实际上是在使用它的原始类型(没有泛型)版本。如果您注意到关于类型安全的警告；方法签名是 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

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 在 Java 虚拟机中使用相同的非泛型底层类型。您可以将泛型视为仅用于在调用站点插入强制转换和进行一些额外检查的语法糖，但在编译器发出的字节码中，就好像 T 和 E 在任何地方都被替换为 Object，所以编译器能够将此视为警告而不是错误。

相关讨论

改用这个试试：

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

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

相关讨论