为什么Java中不能使用new关键字来初始化抽象类？

Question

我在某处读到我们无法初始化接口，例如：

interface MyInterface{};

下面的代码绝对是非法的：

MyInterface m = new MyInterface();

我记得我读过的文字是这样说的： 因为 new 关键字用于分配内存对于班级成员；所以对于接口来说，我们只有抽象函数，所以接口中没有什么可以分配的；因此，禁止初始化接口。

好吧，这对我来说很有意义。

但是对于抽象类，我们可以声明和定义抽象函数、非抽象函数以及普通变量；那么为什么我们也不允许初始化抽象类呢？正因为如此，我想知道抽象类中的变量（如果有的话）何时以及如何分配内存？

Answer 1

没有任何对象“只是”抽象类的实例 - 它始终是具体类的实例。否则，您可以调用抽象方法...并且不会调用任何实现。

抽象类中的变量的分配方式与任何其他类的变量分配方式相同，这些类恰好是正在初始化的实际类的超类 - 它们与来自其他类的变量一起生活。基本上，层次结构。

编辑：澄清一下，这是一种概念限制以及实现限制。抽象类通常包含抽象方法，这就是使其抽象的原因。抽象方法的要点是允许调用者在编译时检查该方法是否存在，即使抽象类不提供实现。 VM 通过防止“只是”抽象类的实例化来确保有一个实现。

现在，即使没有任何抽象方法，抽象类也可以用来防止实例化 - 基本上，抽象类的基本点是它不能实例化。直接实例化；只能实例化具体的子类。

Answer 2

当您说“初始化”时，您实际上指的是两个不同的事物：分配和构造。分配是为对象获取内存的过程；建造是将物体本身赋予生命的过程。

正如您所观察到的，您的接口类不需要内存。但这不是重点。抽象类无法构造，因为它是……嗯，抽象的。不存在抽象类型的对象。并且接口是抽象的。

将梅赛德斯视为一辆抽象汽车。你可以买一辆奔驰，但你不能买一辆抽象的汽车——它没有语义意义。您可以想象拥有的任何汽车都必须是混凝土类型的。

---

编辑：思考为什么一个类可能是抽象的可能会很有用：

• 因为它被声明为抽象类。这使得它通过法令完全抽象，没有给出任何理由。

• 因为它具有抽象成员函数：成员函数未实现，并且具体的派生类必须提供实现。

• 因为它被声明为interface：这在道德上等价于“所有成员函数都是抽象的，并且不存在成员对象”。 （对此有一个单独的关键字允许接口规避单继承的限制。）

Answer 3

这就是抽象类的要点：成为其他类的基类。它专门设计为不被实例化。

大多数抽象类都有抽象方法，但没有实现。如果实例化抽象类本身，您将如何调用这样的方法？

当您使用new创建抽象类的子类的新实例时，抽象基类所需的内存也会被分配。

Answer 4

抽象类是一个尚未完成的类，并且通常具有抽象成员（尽管不是强制性的）。所以你不能实例化抽象类。这是由语言定义的。

Answer 5

抽象类是被声明为抽象的类——它可能或可能
不包括抽象方法。 抽象类无法实例化，
但它们可以被子类化。

如果类包含抽象方法，则该类本身必须是
声明摘要。

http://download.oracle.com/javase/tutorial/java/IandI /abstract.html

Answer 6

抽象类不完整。他们有抽象方法，但没有实现。
如果您尝试调用其中之一会发生什么？

抽象类的变量由具体实例化类位于内存中。

Answer 7

当在扩展抽象类的类上使用new关键字时，会分配抽象类中的变量。

因此，如果您没有扩展抽象类的类，则它们永远不会被分配。

Answer 8

当您实例化一个类时，您会为该类的多个方面分配内存，包括方法区域（它比这更复杂）。抽象类没有某些方法的定义，因此我们不能放置指向实际方法的指针。

抽象类包含（至少部分）没有定义的方法。您无法调用它们，因为没有代码可以运行。

Answer 9

也许带有一些代码的插图可能会有用。

abstract class AC{
    abstract public void m();
}

class Main{
    public static void main(String[] a){
        AC obj = new AC();
        obj.m();  /* Nothing to execute. */
    }
}

所以这种行为一定要禁止。

Answer 10

顺便说一句，即使你的接口是空的，你也必须提供一个空的实现：

Serialized x = new Serialized(){};

抽象类也需要空花括号。但我无法想象会遇到对这些结构的需求。