`
deepinmind
  • 浏览: 451383 次
  • 性别: Icon_minigender_1
  • 来自: 北京
博客专栏
1dc14e59-7bdf-33ab-841a-02d087aed982
Java函数式编程
浏览量:41617
社区版块
存档分类
最新评论

Java那些不为人知的特殊方法

阅读更多
更多文章请移步:Java译站

如果你用过反射并且执行过 getDeclaredMethods方法的话,你可能会感到很惊讶。你会发现很多源代码里没有的方法。或许你也看过到这些方法的一些修饰符,并且发现里面有的方法是volatile的。顺便说一句,Java面试里如果问到“什么是volatile方法?”,你可能会出一身冷汗。正确的答案应该是方法不能是volatile的。同时 getDeclaredMethods或者 getMethods返回的一些方法, Modifier.isVolatile(method.getModifiers())的返回值是true。
immutator项目的一些用户遇到过这样的问题。他发现immutator(这个项目探索了Java一些不太为人所知的细节)生成的Java源代码使用volatile作为方法的关键字,这样的代码没法通过编译。结果就是这项目没法使用。
这是怎么回事?什么又是syntethic和bridge方法?

可见性
当你创建一个内部的或者说嵌套的时候,这个类的私有变量和方法对上层的类是可见的。这个在不可变嵌套式Builder模式中用到了。这在Java语言规范里是定义好的一个行为。

package synthetic;
 
public class SyntheticMethodTest1 {
    private A aObj = new A();
 
    public class A {
        private int i;
    }
 
    private class B {
        private int i = aObj.i;
    }
 
    public static void main(String[] args) {
        SyntheticMethodTest1 me = new SyntheticMethodTest1();
        me.aObj.i = 1;
        B bObj = me.new B();
        System.out.println(bObj.i);
    }
}


JVM是如何处理这个的?JVM是不知道类是内部的还是说嵌套的。JVM对所有的类对一视同仁,都认为是顶层的。所有的类都会被编译的顶层的类,那些内部类编译完后会生成...$... class的类文件。

$ ls -Fart
../                         SyntheticMethodTest2$A.class  MyClass.java  SyntheticMethodTest4.java  SyntheticMethodTest2.java
SyntheticMethodTest2.class  SyntheticMethodTest3.java     ./            MyClassSon.java            SyntheticMethodTest1.java


如果你创建一个内部的类的话,编译完后它其实就是个完全的顶层的类。
那这些私有变量是如何被外部类访问的呢?如果它们是个顶层类的私有变量,它们的确也是,那为什么别的类还能直接访问这些变量?
javac是这样解决这个问题的,对于那些声明为private 的字段,方法或者构造函数,如果它们还被外部类所使用,就会生成一个sythetic的方法。这些sythetic方法是用来访问最终的私有变量/方法/构造函数的。这些方法的生成也很智能,只有那些确实被外部类用到的才会生成这样的方法。

package synthetic;
 
import java.lang.reflect.Constructor;
import java.lang.reflect.Method;
 
public class SyntheticMethodTest2 {
 
    public static class A {
        private A(){}
        private int x;
        private void x(){};
    }
 
    public static void main(String[] args) {
        A a = new A();
        a.x = 2;
        a.x();
        System.out.println(a.x);
        for (Method m : A.class.getDeclaredMethods()) {
            System.out.println(String.format("%08X", m.getModifiers()) + " " + m.getName());
        }
        System.out.println("--------------------------");
        for (Method m : A.class.getMethods()) {
            System.out.println(String.format("%08X", m.getModifiers()) + " " + m.getReturnType().getSimpleName() + " " + m.getName());
        }
        System.out.println("--------------------------");
        for( Constructor<?> c : A.class.getDeclaredConstructors() ){
            System.out.println(String.format("%08X", c.getModifiers()) + " " + c.getName());
        }
    }
} 


生成的这些方法的名字都取决于具体的实现,最后叫什么也不好说。我只能说在我运行的这个平台上,上述程序的输出是这样的:
2
00001008 access$1
00001008 access$2
00001008 access$3
00000002 x
--------------------------
00000111 void wait
00000011 void wait
00000011 void wait
00000001 boolean equals
00000001 String toString
00000101 int hashCode
00000111 Class getClass
00000111 void notify
00000111 void notifyAll
--------------------------
00000002 synthetic.SyntheticMethodTest2$A
00001000 synthetic.SyntheticMethodTest2$A 


在上面这个程序中,我们把值赋给了变量x,然后又调用 了同名的一个方法。这会触发编译器来生成对应的synthetic方法。你会看到它生成了三个方法,应该是x变量的setter和getter方法,以及x()方法的一个synthetic方法。这些synthetic方法并不存在于getMethods方法里返回的列表中,因为这些是synthetic方法,它们是不能直接调用的。从这点来说,它们和私有方法差不多。
看一下java.lang.reflect.Modifier里面定义的常量,可以明白这些十六进制的数字代表的是什么:
00001008 SYNTHETIC|STATIC
00000002 PRIVATE
00000111 NATIVE|FINAL|PUBLIC
00000011 FINAL|PUBLIC
00000001 PUBLIC
00001000 SYNTHETIC 


列表中有两个是构造方法。还有一个私有方法和一个synthetic的。私有的这个是因为我们确实定义了。synthetic的方法出现是因为我们从外部调用了内部的私有成员。这里面还没有出现bridge方法。

泛型和继承


到现在为止看起来还不错。不过我们还没有看到”volatile”的方法。
看一下java.lang.reflect.Modifier的源码你会发现0x00000040这个常量定义了两次。一次是定义成VOLATILE,还有一次是BRIDGE(后者是包内部私有的,并不对外开放)。

想出现volatile的方法,只需要写个简单的程序 就行了:
package synthetic;
 
import java.lang.reflect.Method;
import java.util.LinkedList;
 
public class SyntheticMethodTest3 {
 
    public static class MyLink extends LinkedList<String> {
        @Override
        public String get(int i) {
            return "";
        }
    }
 
    public static void main(String[] args) {
 
        for (Method m : MyLink.class.getDeclaredMethods()) {
            System.out.println(String.format("%08X", m.getModifiers()) + " " + m.getReturnType().getSimpleName() + " " + m.getName());
        }
    }
}


我们的这个链表,有一个返回String的get(int)方法。先别讨论代码整洁的问题了。这只是段演示这个主题的示例代码而已。简洁的代码当然也同样会出现问题,不过越复杂的代码越难发现问题罢了。

输出 是这样的:
00000001 String get
00001041 Object get 


我们有两个get方法。一个是代码里的这个,另外一个是synthetic和bridge的方法。用javap反编译后会是这样的:
public java.lang.String get(int);
  Code:
   Stack=1, Locals=2, Args_size=2
   0:   ldc     #2; //String
   2:   areturn
  LineNumberTable:
   line 12: 0
 
public java.lang.Object get(int);
  Code:
   Stack=2, Locals=2, Args_size=2
   0:   aload_0
   1:   iload_1
   2:   invokevirtual   #3; //Method get:(I)Ljava/lang/String;
   5:   areturn


有趣的是,两个方法的签名是一模一样的,只有返回类型不同。这个在JVM里面是允许的,不过在Java语言里是不行的。bridge的这个方法别的啥也不干,就只是调用了下原始的那个方法。

为什么我们需要这个synthetic方法呢?谁来调用它。比如现在有段代码想要调用一个非MyLink类型变量的get(int)方法:
List<?> a = new MyLink();
        Object z = a.get(0);

它不能调用返回String的方法,因为List里没这样的方法。为了解释的更清楚一点,我们重写下add方法而不是get方法:
package synthetic;
 
import java.util.LinkedList;
import java.util.List;
 
public class SyntheticMethodTest4 {
 
    public static class MyLink extends LinkedList<String> {
        @Override
        public boolean add(String s) {
            return true;
        }
    }
 
    public static void main(String[] args) {
        List a = new MyLink();
        a.add("");
        a.add(13);
    }
} 



我们会发现 这个bridge方法
public boolean add(java.lang.Object);
  Code:
   Stack=2, Locals=2, Args_size=2
   0:   aload_0
   1:   aload_1
   2:   checkcast       #2; //class java/lang/String
   5:   invokevirtual   #3; //Method add:(Ljava/lang/String;)Z
   8:   ireturn 


不仅调用 了原始的方法,它还进行了类型检查。这个是在运行时进行检查的,并不是JVM自己来检查。正如你所想,在18行的地方会抛出一个异常:
Exception in thread "main" java.lang.ClassCastException: java.lang.Integer cannot be cast to java.lang.String
    at synthetic.SyntheticMethodTest4$MyLink.add(SyntheticMethodTest4.java:1)
    at synthetic.SyntheticMethodTest4.main(SyntheticMethodTest4.java:18) 

下次如果你在面试中被问到volatile方法的话,说不定面试官知道的还没你多:-)

译者注:其实作者说到最后 也没讲完到底什么是volatile方法,其实volatile方法如篇首所说,是不存在的,所谓的volatile方法就是指bridge方法。由于在修饰符中volatile和bridge是同一个值,在之前版本的javap中存在一个BUG,一个bridge方法在反编译后会显示成volatile,所以存在”volatile方法”的说法。

原创文章转载请注明出处:Java译站


3
0
分享到:
评论
4 楼 deepinmind 2014-04-02  
fair_jm 写道
我去...博主的文章好棒啊...都是些原来不知道知识 赞一个

谢谢哈~
3 楼 fair_jm 2014-04-02  
我去...博主的文章好棒啊...都是些原来不知道知识 赞一个
2 楼 deepinmind 2014-03-27  
这是回复我这的?这里说的是“volatile方法“,其实JAVA里是不存在volatile方法的,只不过反编译后会出现这个关键字,其实是编译器的一个BUG。

aine_pan 写道
就一个volatile,怎么就说不清楚呢,看看JDK底层的实现,大量的volatile和transient。

/* Java thread status for tools,
     * initialized to indicate thread 'not yet started'
     */

    private volatile int threadStatus = 0;


    private static synchronized long nextThreadID() {
        return ++threadSeqNumber;
    }

    /**
     * The argument supplied to the current call to
     * java.util.concurrent.locks.LockSupport.park.
     * Set by (private) java.util.concurrent.locks.LockSupport.setBlocker
     * Accessed using java.util.concurrent.locks.LockSupport.getBlocker
     */
    volatile Object parkBlocker;

volatile关键字:对于这个成员变量不能保存它的私有拷贝,而应直接与共享成员变量交互。多用于多线程并发的场景。
1 楼 aine_pan 2014-03-27  
就一个volatile,怎么就说不清楚呢,看看JDK底层的实现,大量的volatile和transient。

/* Java thread status for tools,
     * initialized to indicate thread 'not yet started'
     */

    private volatile int threadStatus = 0;


    private static synchronized long nextThreadID() {
        return ++threadSeqNumber;
    }

    /**
     * The argument supplied to the current call to
     * java.util.concurrent.locks.LockSupport.park.
     * Set by (private) java.util.concurrent.locks.LockSupport.setBlocker
     * Accessed using java.util.concurrent.locks.LockSupport.getBlocker
     */
    volatile Object parkBlocker;

volatile关键字:对于这个成员变量不能保存它的私有拷贝,而应直接与共享成员变量交互。多用于多线程并发的场景。

相关推荐

    一些Java中不为人知的特殊方法.docx

    在Java编程语言中,存在一些不为初学者熟知的特性,其中包括`synthetic`和`bridge`方法。这些方法在反射API中可能会引起混淆,尤其是当开发者遇到`Modifier.isVolatile`返回`true`的情况。这里我们将深入探讨这两个...

    java日历的特殊方法.绝对很牛

    根据提供的文件信息,可以看出标题与描述之间存在一定的不匹配,标题提到的是“Java日历的特殊方法”,而描述中却提到了HTML的使用方法。基于这些信息,我们将尝试从两个角度来解读并提取可能的知识点:一是关于Java...

    关于Java对象序列化您不知道的5件事Java开发Java

    以下是五个可能不为人知的关于Java对象序列化的知识点,这些知识点对于深入理解Java开发至关重要。 1. **序列化的作用**: Java对象序列化的主要目的是将对象的状态持久化,这样即使程序关闭,对象的状态也可以...

    java深入解析

    通过以上方面介绍那些常见、常用却少为人知的Java知识。虽然内容相对基本,但都不是容易解答的。目前更多的开发人员(不乏多年开发经验者),也仅仅停留在Java表面的层次,而本书,将更深入一层地去讨论Java的话题...

    通过Java字节码发现有趣的内幕之初始化篇(下)Java开

    本文将主要探讨“通过Java字节码发现有趣的内幕之初始化篇(下)”这一主题,它旨在揭示Java程序在初始化阶段的一些不为人知的秘密。我们将从类加载、实例初始化、静态初始化以及字节码指令等方面进行详细讲解,帮助...

    java编码规范

    避免使用缩写词,除非该缩写词广泛为人所知(如URL、HTML)。 - **接口**:与类名命名规则相同,习惯上在名字前加上前缀以表明其类型。 - **Factory类**:符合AbstractFactory设计模式的类名称后添加第一个字母大写...

    monicelli-to-java:从Monicelli到Java的源到源编译器

    Monicelli语言可能不如Java那样广泛为人所知,但它可能具有某些特性或优势,比如简洁性、模块化或特定的抽象级别,使得某些开发者更倾向于使用它。Monicelli-to-Java编译器的出现,为这些开发者提供了一个在Java生态...

    Guava 16.0 API (CHM格式)

    集合类:集合类库是 Guava 对 JDK 集合类的扩展, 这是 Guava 项目最完善和为人所知的部分。  1. Immutable collections(不变的集合): 防御性编程, 不可修改的集合,并且提高了效率。  2. New collection ...

    JavaPuzzlers:JavaPuzzlers的学习

    《JavaPuzzlers》是Java领域的一本经典书籍,作者是Joshua Bloch和Neal Gafter,这本书通过一系列精心设计的编程谜题,揭示了Java语言中容易被误解或者不为人知的特性。这些谜题被称为"Java益智类",它们能够帮助...

    Simple7BitLBC:设计用于计算7位线性块代码的简单Java程序

    7位线性块编码(7-Bit Linear Block Coding,简称7BitLBC)是一种常见但不那么为人所知的数据编码方法,它主要用于压缩和解压缩数据,以减少信息占用的存储空间。在这个主题中,我们将深入探讨一个名为“Simple7...

    Python黑魔法指南v3.01

    《Python黑魔法指南v3.01》是一本探索Python编程中不常用或不为人知特性的书籍。本文将从书中的几个章节提取关键知识点进行详细介绍。 1.1 **默默无闻的省略号(...)** 在Python中,省略号`...`是一个特殊的标识符...

    手机隐藏功能和Ext

    在现代智能手机中,除了我们日常熟知的各种应用程序和基本功能,还隐藏着一些不为人知的实用技巧和扩展功能。这些隐藏功能通常是为了提高用户效率、保护隐私或者提供更个性化的体验而设计的。而“Ext”在这里可能指...

    Hidden-palace:Nintendo DS的自制啤酒步行模拟器

    这种设计鼓励玩家深入探索游戏世界,挖掘不为人知的故事和背景。 5. **源代码结构(压缩包子文件的文件名称列表:Hidden-palace-master)**:这个项目提供了源代码,意味着开发者可以查看、学习和修改游戏的内部...

    DORK TOOL PACK_Dorktool_源码.zip

    Dorking是一种利用搜索引擎特殊查询语法来发现网络上公开但可能不为人知的信息的技术。"源码"一词表明这个压缩包包含了Dorktool的原始编程代码,允许用户查看、学习甚至修改其工作原理。 【描述解析】 描述部分简单...

Global site tag (gtag.js) - Google Analytics