【Java基础】13、抽象方法不能是static或native或synchroniz 原因及误解

在网上看到过这么一篇文章,是关于抽象方法不能是static或native或synchroniz 的原因。其中提到了这些关键字的意义以及与 abstract 关键字的冲突,大体内容如下:

        1、abstract是抽象的,指的是方法只有声明而没有实现,他的实现要放入声明该类的子类中实现。

        2、static是静态的,是一种属于类而不属于对象的方法或者属性,而我们知道,类其实也是一个对象,他是在class文件加载到虚拟机以后就会产生的对象,通常来说它是单例的,就是整个虚拟机中只有一个这样的类对象(当然,如果用新的类加载器也会生成新的类的对象)。

        3、synchronized 是同步,是一种相对线程的锁。

        4、native 本地方法,这种方法和抽象方法及其类似,它也只有方法声明,没有方法实现,但是它与抽象方法不同的是,它把具体实现移交给了本地系统的函数库,而没有通过虚拟机,可以说是Java与其它语言通讯的一种机制。

 

然后作者逐个分析了冲突的原因:

        首先abstract与static,其实一看他们的作用和属性就很容易辨别,abstract是没有实现的,而static一定要有实现,因为 abstract的类不能生产对象,但是static是属于类,而类已经是一个存在的对象,这两个关键字在这上面有一个关键的矛盾点。

        synchronized 是同步,然而同步是需要有具体操作才能同步的,如果像abstract只有方法声明,那同步一些什么东西就会成为一个问题了,当然抽象方法在被子类继承以后,可以添加同步。

        native,这个东西本身就和abstract冲突,他们都是方法的声明,只是一个吧方法实现移交给子类,另一个是移交给本地操作系统。如果同时出现,就相当于即把实现移交给子类,又把实现移交给本地操作系统,那到底谁来实现具体方法呢?

 

作者对于 synchronized 和 native 关键字冲突的原因分析笔者是没有异议的,关键就在于 static 冲突的原因。

        在第三段中红色文字标出的部分中,作者说“类其实也是一个对象”,只要是对 JVM类加载机制懂一点的人来说,这个是没问题的。而在后面分析原因部分,作者说“abstract 的类不能产生对象,但是static属于类,类已经是一个存在的对象”,这个也是没有异议的。关键在于后面,作者又说 ”这两个关键字在这一个关键点上有矛盾“。对于这句话,作者混淆了类对象和实例对象的概念了。

        不管是不是抽象类,只要使用到了该类,虚拟机总是会在方法区中为该类创建一个 Class 对象,用来描述该类的运行时结构。我们写一段代码做一个简单的测试,如下:

 

[java] view plain copy
 
 在CODE上查看代码片派生到我的代码片
  1. public class MonitorVehicleTracker {  
  2.     public static void main(String[] args){  
  3.         System.out.print(Door.class.getClassLoader());    
  4.     }  
  5. }  
  6. abstract class Door{  
  7.     public static  void set() {  
  8.         System.out.print("123");  
  9.     }  
  10. }  

 

运行结果为:

        sun.misc.Launcher$AppClassLoader@15253d5

        我们可以看到,抽象类 Door 确实被加载了(因为我们可以访问到它的 Class 对象),而且,它是由应用程序类加载器加载的。

        也就是说,”abstract 类不能产生对象“的意思应该是 abstract 类在方法区有它对应的Class 对象,但是该Class 对象不能产生实例对象。因此,作者在这一点上分析 abstract 和 static 的矛盾是不正确的。

那么,abstract 和 static 不能同时使用的原因究竟是什么呢?

        我们知道,抽象方法存在的意义便是被子类覆盖,实现多态性。而静态的方法在内存中只能有一份,所以子类可以继承,但不可以重写。在利用引用访问对象的字段或静态方法时,是引用类型(type)决定了事实上访问的是哪个字段,而非当前引用实际代表的是哪个类。子类的静态方法完全体现不出多态。因此,如果方法即是抽象的并且是静态,这就颠覆了抽象类,抽象方法本身存在的意义!

        关于子类不能覆盖父类的静态方法,引用类型决定了访问哪个类的静态方法,测试代码如下:

 

public class Test {

    public static void main(String[] args) {
        Door door = new AlarmDoor();
        door.get();
    }
}

abstract class Door {
    public static void get() {
        System.out.print("Door");
    }
    abstract void set();
}

class AlarmDoor extends Door {
    public static void get() {
        System.out.print("AlarmDoor");
    }

    @Override
    public void set() {
        // TODO Auto-generated method stub
        
    }
}

输出结果:  Door

posted @ 2017-04-01 17:34  leon66666  阅读(1158)  评论(0编辑  收藏  举报