关于强制转换：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 不是方法栏或主代码中的引用

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

相关讨论

请不要使用”异常”一词来表示”编译错误”。例外是完全不同的东西。
请提供可编译的实际代码。用你的片段没有办法告诉你真正在看什么。
您是否错过了代码段第二行中的单词 class ？还是你在做一些非常奇怪的事情？
你的意思是在 classB 的任何地方使用 T 吗？
@Thilo – 当他们的实际问题是代码无法编译时，你如何期望 OP 这样做(提供可编译的实际代码)？
@DavidWallace：OP 说它确实编译，与预期相反。然而，由于样本中有所有拼写错误、缺少关键字和拼写错误，很难判断发生了什么。
op 想知道为什么 < T > 的存在使代码编译
哦，对不起，我的错。
你做了干净的构建吗？如果先前已编译，则擦除将允许后者使用 List<String> 进行编译。
这是一个悲伤的一天，我们都花更多的时间猜测问题应该是什么，而不是回答它。你会认为需要帮助的人实际上会更加小心地把它做好。
对不起质量差的家伙，我能做些什么来澄清更多？
我并不是要在方法中的任何地方使用 T – 这就是为什么它编译让我感到困惑
对。我现在明白你在问什么，我已经撤回了我的近距离投票。这是一个很好的问题，我希望我知道答案。
请注意，如果 Class B 定义为：class classB<T>{ public void bar( List<Float> o ){} }，它也会编译

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

他们选择加入。

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>();

它不会再编译了。

相关讨论

我认为我不理解这一点，但是如果我通过使用您的第一行代码来选择退出泛型，那么它不应该以与没有泛型声明的类相同的方式运行 – 比如没有编译的 classA？
没有泛型就不会声明 classA。它仍然在方法定义中使用 List<Object>。它本身不是一个泛型类。如果您禁用 classB 的泛型，则即使该部分也不起作用。它的全部或全部。
啊哈。谢谢，有道理！

当你定义类为

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，所以编译器能够将此视为警告而不是错误。

相关讨论