原始类型和泛型——Java [重复]

Question

可能重复：
Is List<Dog> a subclass of List<Animal>? Why aren't Java's generics implicitly polymorphic?
Java Generics — Assigning a list of subclass to a list of superclass

使用原始类型，您可以轻松说出这样的话。

[...] // MyClass is generic with upper bound of Object

MyClass c = new MyClass<Double>();

[...]

但这是不允许的

MyClass<Number> c = new MyClass<Double>() 

我不明白这是为什么。我的书告诉我为什么第二个不起作用，因为您不能将整数添加到 MyClass<Double>。它没有解释为什么 MyClass<Double> 是 MyClass<Object> 的子类（或等效的原始类型形式），因为 double 是对象的子类。

那么，如果第二种形式不允许，为什么第一种允许。请意识到我是新手。

编辑：更进一步，如果 Number 是上限，在第一个示例中会发生什么？

你可以在这里看到类型擦除的效果

class Untitled {
public static void main(String[] args) {

}
public static<T> void c(T t)
{
    t.SubClassMethod();// this won't work because class Object has no such method. But if I change the upperbound to SubClass it will.
            t.toString() // this will because class Object has such a method
}
}

我的观点是，为什么声明 Generic 就像它最终被视为上限一样重要？

Answer 1

假设 MyClass 是这样的：

public class MyClass<T>{
  T value;

  public void foo(T arg){
    value = arg;
  }
}

然后是另外两个类：

class A{ }

class B extends A { }

现在想象一下如果你这样做会发生什么：

MyClass<A> container = new MyClass<B>();
container.foo(new A());

您会尝试将 A 放入 B 类型的字段中。您面临的限制被认为可以防止此类事情发生。 C# 在泛型的输入和输出参数方面有一个很好的解决方案......

Answer 2

试试这个：

MyClass<? extends Number> c = new MyClass<Double>();

Answer 3

任何MyClass<XXX> 都是MyClass，但与您所说的相反，MyClass<Double> 不是MyClass<Object> 的子类。

如果您搜索擦除，您可以找到更多相关信息，例如here。

Answer 4

消除您的困惑的第一件事是了解原始类型根本不是泛型系统的一部分。它绝不等同于Something<Object>。基本上，原始类型存在的原因只是为了向后兼容。当 Java 5 中引入泛型时，一些现有的类和接口被追溯地变成了泛型。为了在 Java 5 或更高版本的编译器中编译没有泛型声明的旧代码，原始声明是合法的。

原始类型的行为方式和参数化类型的行为方式之间的任何比较从根本上来说都是虚假的。设计的目的不是将原始类型视为声明参数的“替代方案”。使用原始类型的新代码是不正确的代码。编译它是合法的，这样旧代码仍然可以工作。

我的观点是，为什么将 Generic 声明为重要 如果它最终被视为上限？

因为泛型的全部意义在于防止 ClassCastException。当某人（例如，某人将对象从列表中取回并将其分配给他们期望的特定类型时）将被视为实际声明的类型。编译器承诺它会保证这会成功，因此它必须限制进出的内容。