通用删除概念

Question

您能否帮助我在这里理解通用概念。

// Can't create an instance of T.
class Gen<T> {
  T ob;

  Gen() {
    ob = new T(); // Illegal!!!
  }

  public static void main() {

    Gen<Integer> genobj = new Gen<Integer>(); //Error
  }
}

编译Java代码时，所有通用类型信息都将被删除（擦除）。这意味着将类型参数替换为其绑定类型（如果未指定显式绑定，则为Object），然后应用适当的强制类型转换（由类型参数确定）以保持与类型参数指定的类型的类型兼容性。编译器还强制执行此类型兼容性。

我的问题：-为什么Java编译器在这里抛出错误？崩溃后厌恶。

谢谢

Answer 1

这里有几种方法可以解决：

从逻辑POV：
甚至不能保证T您使用的任何模板参数都有默认构造函数。显然，这带来了如何处理缺少默认构造函数的问题。可能的解决方案是产生运行时错误，编译时错误或禁止任何T不提供默认构造函数的错误。后者显然会破坏模板定义，后者允许
any T。而且运行时错误会使事情复杂化，并产生与上述相同的问题。首先仍然要防止此行为，并抛出编译时错误。

从内部来看：
假设我们可以使用提供的代码。那怎么办？由于擦除，new T()将产生一个Object。但是，如果T是Integer？好吧，我们被搞砸了。An
Object不是an Integer，因此我们将获得一个普通的类广播异常。

因此，总而言之：从实用的POV来看，允许以上内容无法编译，而且破坏了Java中泛型的当前定义。