2

我在使用以下代码的编译时错误方面遇到了特殊行为（我使用的是 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>();

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

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

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

ClassB b = new classB(); 
b.bar( o );

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

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

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 不是方法栏或主代码中的引用

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

4

4 回答 4

4

当您将类定义为

class ClassB<T>

但将其实例化为

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

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

类型安全：方法bar(List)属于原始类型 ClassB。对泛型 ClassB 的引用应该被参数化。

如果您将参数化类型传递T为，例如，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>)
于 2013-10-03T02:56:17.907 回答
4

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

他们是选择加入的。

classB b = new classB();

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

Note: classB.java uses unchecked or unsafe operations.

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

正如@vandale 指出的那样，在关闭泛型的情况下，您甚至可以使用编译的代码

 public void bar( List<Float> o );

如果你做一个

classB<Object> b = new classB<Object>();

它不会再编译了。

于 2013-10-03T02:57:08.463 回答
0

尝试改用这个：

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

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

于 2013-10-03T02:39:14.927 回答
0

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

于 2013-10-03T02:43:26.423 回答