在我的一次面试中,有人问我:“我们是否可以实例化一个抽象类?”

我的回答是:“没有。我们不能”。但是,面试官告诉我:“错了,我们可以。”

我对此进行了一些争论。然后他让我自己在家试试。

abstract class my {
    public void mymethod() {
        System.out.print("Abstract");
    }
}

class poly {
    public static void main(String a[]) {
        my m = new my() {};
        m.mymethod();
    }
}

在这里,我正在创建我的类的实例和调用抽象类的方法。有人能给我解释一下吗?我的面试真的错了吗?


当前回答

抽象类不能被实例化,但可以被子类化。参见这个链接

最好的例子是

虽然Calendar类有一个抽象方法getInstance(),但是当你说Calendar calc=Calendar.getInstance();

calc引用类GregorianCalendar的类实例为“GregorianCalendar extends Calendar”

事实上,匿名内部类型允许您创建抽象类的一个无名称子类和它的一个实例。

其他回答

你可以简单地回答,只用一行

不,你永远不能实例化抽象类

但是,面试官仍然不同意,那么你可以告诉他/她

你所能做的就是创建一个匿名类。

并且,根据匿名类,类声明和实例化在同一位置/行

所以,面试官可能会对你的自信程度和你对OOPs的了解程度感兴趣。

关于抽象类

不能创建抽象类的对象 可以创建变量(可以像数据类型一样运行) 如果子对象不能重写父对象的至少一个抽象方法,那么子对象也将成为抽象对象 如果没有子类,抽象类是无用的

抽象类的目的是表现得像基类。在继承层次结构中,你会看到抽象类位于顶部。

这里,我正在创建我的类的实例

不,您不是在这里创建抽象类的实例。相反,您是在创建抽象类的匿名子类的实例。然后在指向子类对象的抽象类引用上调用方法。

这种行为在JLS -章节# 15.9.1中明确列出:-

If the class instance creation expression ends in a class body, then the class being instantiated is an anonymous class. Then: If T denotes a class, then an anonymous direct subclass of the class named by T is declared. It is a compile-time error if the class denoted by T is a final class. If T denotes an interface, then an anonymous direct subclass of Object that implements the interface named by T is declared. In either case, the body of the subclass is the ClassBody given in the class instance creation expression. The class being instantiated is the anonymous subclass.

我特别强调。

此外,在JLS -第12.5节中,您可以阅读到关于对象创建过程的内容。我在这里引用其中的一段话:-

每当创建一个新的类实例时,就分配内存空间 为该类中声明的所有实例变量留出空间 类的每个超类中声明的所有实例变量 类类型,包括可能隐藏的所有实例变量。 控件返回对新创建对象的引用之前 结果,则处理指定的构造函数以初始化new 对象,使用以下过程:

你可以在我提供的链接上阅读完整的程序。


要实际看到被实例化的类是一个匿名子类,您只需要编译两个类。假设你把这些类放在两个不同的文件中:

My.java:

abstract class My {
    public void myMethod() {
        System.out.print("Abstract");
    }
}

Poly.java:

class Poly extends My {
    public static void main(String a[]) {
        My m = new My() {};
        m.myMethod();
    }
}

现在,编译两个源文件:

javac My.java Poly.java

现在在你编译源代码的目录中,你会看到以下类文件:

My.class
Poly$1.class  // Class file corresponding to anonymous subclass
Poly.class

看那个类- Poly$1.class。它是编译器创建的类文件,对应于你使用下面的代码实例化的匿名子类:

new My() {};

很明显,有一个不同的类被实例化了。只是,这个类只有在编译器编译后才会被赋予名称。

一般来说,类中的所有匿名子类都将以这种方式命名:

Poly$1.class, Poly$2.class, Poly$3.class, ... so on

这些数字表示这些匿名类在外围类中出现的顺序。

实际上,我们不能直接创建抽象类的对象。我们创建的是一个抽象调用的引用变量。引用变量用于引用继承抽象类的类的对象,即抽象类的子类。

你可以观察到:

为什么poly扩展my?这没用…… 编译的结果是什么?三个文件:my.class, poly.class和poly$1.class 如果我们可以这样实例化一个抽象类,我们也可以实例化一个接口……奇怪的……

我们可以实例化一个抽象类吗?

不,我们不能。我们可以做的是,创建一个匿名类(这是第三个文件)并实例化它。

那么超类实例化呢?

抽象超类不是由我们实例化的,而是由java实例化的。

编辑:请他测试一下

public static final void main(final String[] args) {
    final my m1 = new my() {
    };
    final my m2 = new my() {
    };
    System.out.println(m1 == m2);

    System.out.println(m1.getClass().toString());
    System.out.println(m2.getClass().toString());

}

输出是:

false
class my$1
class my$2