为什么班级比班级优先

罗渝

2023-03-14

问题内容：

如果我将Class声明为字段：

Class fooClass;

Eclipse给我警告：

类是原始类型。对泛型类型Class的引用应参数化

在实践中这意味着什么？我为什么要这样做呢？如果我要求Eclipse提供“快速修复”，它将给我：

Class<?> fooClass;

这似乎并没有增加太多价值，但不再发出警告。

编辑：为什么类通用？您能否举一个参数化的例子，即可以有效使用除以外的东西<?>吗？

编辑：哇！我还没有意识到这一点。我也看过Java拼图游戏，这肯定使我害怕熊陷阱。所以我会一直使用

Class<MyString> myStringClass = MyString.class;

而不是

Class myStringClass = MyString.class;

（但是从第一天开始使用Java以来，我并没有真正注意到Class何时成为泛型）。

注意：我已经接受@oxbow_lakes，因为这对我来说很有意义，但这显然是一个非常复杂的领域。我敦促所有程序员使用特定的Class<MyString>而不是Class。并且Class<?>比更加安全Class。

问题答案：

原始类型和无限制通配符

以前的答案都没有真正解决，为什么你应该更喜欢Class<?>了Class，因为在它的面前，前者似乎提供不超过后者的更多信息。

原因是 原始类型 （即Class）阻止编译器进行泛型类型检查。也就是说，如果你使用原始类型， 你颠覆了类型系统。例如：

public void foo(Class<String> c) { System.out.println(c); }

可以这样调用（它将同时编译和运行）：

Class r = Integer.class
foo(r); //THIS IS OK (BUT SHOULDN'T BE)

但不是通过：

Class<?> w = Integer.class
foo(w); //WILL NOT COMPILE (RIGHTLY SO!)

通过始终使用非原始格式，即使在?由于不知道类型参数是什么（或受其限制）而必须使用时，也可以让编译器比使用原始类型来更充分地推理程序的正确性。

在Java语言规范说：

仅允许使用原始类型作为对遗留代码兼容性的一种让步

您应该始终避免使用它们。无界通配符?可能在其他地方得到最好的描述，但是从本质上讲意味着
“这是在某种类型上参数化的，但是我不知道（或不在乎）它是什么” 。这与 原始类型不同 ， 原始类型 是可憎的，并且在其他具有泛型的语言（例如
Scala）中
不存在。

好吧，这是一个用例。假设我有一些服务接口：

public interface FooService

我想使用系统属性来定义要使用的类，以注入其实现。

Class<?> c = Class.forName(System.getProperty("foo.service"));

我现在不知道我的班级是正确的类型：

//next line throws ClassCastException if c is not of a compatible type
Class<? extends FooService> f = c.asSubclass(FooService.class);

现在我可以实例化一个FooService：

FooService s = f.newInstance(); //no cast