Java重写方法与初始化的隐患（转）

原文出处： Shawon

虽然文章标题是Java, 但几乎所有面向对象设计的语言都遵守这个初始化流程, 感谢廖祜秋liaohuqiu_秋百万指出, 之前忘记提这个了.

前言

drakeet写了个和RecyclerView相关的GenerousRecyclerView, 原文提到了写这个的目的. 因为需要知道ViewGroup的clipToPadding属性, 所以调用了ViewGroup.getClipToPadding, 但这个方法是API level 21引入的. 我看了一下代码, ViewGroup是通过调用setClipToPadding完成相关内容初始化的, setClipToPadding在API level 1就有了, 也就是说我们只要监视setClipToPadding的调用, 就能知道ViewGroup的clipToPadding状态. 如此巧妙, 如果我告诉drakeet, 说不定就能引起他的注意, 出任CEO, 走上人生巅峰.

如果你已经知道我要说什么了, 可以鄙视我.

问题

简单还原一下问题, 我们有一个类SuperClass


1

2

3

4

5

6

7

8

9

10

11

12

public class SuperClass {

    private int mSuperX;

    public SuperClass() {

        setX(99);

    }

    public void setX(int x) {

        mSuperX = x;

    }

}

现在我们想随时知道mSuperX是什么值, 不用反射, 因为父类从不直接修改mSuperX的值, 总是通过setX来改, 那么最简单的方法就是继承SuperClass, 重写setX方法, 监听它的改变就好.下面是我们的子类SubClass:


1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

public class SubClass extends SuperClass {

    private int mSubX = 1;

    public SubClass() {}

    @Override

    public void setX(int x) {

        super.setX(x);

        mSubX = x;

        System.out.println("SubX is assigned " + x);

    }

    public void printX() {

        System.out.println("SubX = " + mSubX);

    }

}

我使用mSubX来跟踪mSuperX

因为在ViewGroup中, clipToPadding默认值是true(为了简化问题, 把它当成boolean, 实际并不是), 而ViewGroup初始化有可能不调用setClipToPadding, 此时是默认值, 为了模拟这种情况, 将mSubX初始化为1.

最后在main里调用:


1

2

3

4

5

6

public class Main {

    public static void main(String[] args) {

        SubClass sc = new SubClass();

        sc.printX();

    }

}

很多人, 包括我, 认为终端输出的结果应该是:


1

2

SubX is assigned 99

SubX = 99

然而真正运行后输出的是:


1

2

SubX is assigned 99

SubX = 1

实际分析

要想知道发生了什么, 最简单的方法就是看看到底程序到底是怎么执行的, 比如单步调试, 或者直接一点, 看看Java字节码.

下面是Main的字节码


1

2

3

4

5

6

7

8

9

10

Compiled from "Main.java"

public class bugme.Main {

  ......

  public static void main(java.lang.String[]);

    Code:

       0: new           #2                  // class bugme/SubClass

       3: dup          

       4: invokespecial #3                  // Method bugme/SubClass."<init>":()V

       ...... 

}

这是直接用javap反编译.class文件得到的. 虽说同样是Java写的, 用apktool反编译APK文件(其中的dex文件)得到的smali代码和Java Bytecode明显长得不一样.

字节码乍一看怪怪的, 只要知道它隐含了一个栈和局部变量表就好懂了.

这段代码首先new一个SubClass实例, 把引用入栈, dup是把栈顶复制一份入栈, invokespecial #3将栈顶元素出栈并调用它的某个方法, 这个方法具体是什么要看常量池里第3个条目是什么, 但是javap生成的字节码直接给我们写在旁边了, 即SubClass.<init>.

接下来看SubClass.<init>,


1

2

3

4

5

6

public class bugme.SubClass extends bugme.SuperClass {

  public bugme.SubClass();

    Code:

       0: aload_0      

       1: invokespecial #1                  // Method bugme/SuperClass."<init>":()V

       ......

这里面并没有方法叫<init>, 是因为javap为了方便我们阅读, 直接把它改成类名bugme.SubClass, 顺便一提, bugme是包名. <init>方法并非通常意义上的构造方法, 这是Java帮我们合成的一个方法, 里面的指令会帮我们按顺序进行普通成员变量初始化, 也包括初始化块里的代码, 注意是按顺序执行, 这些都执行完了之后才轮到构造方法里代码生成的指令执行. 这里aload_0将局部变量表中下标为0的元素入栈, 其实就是Java中的this, 结合invokespecial #1, 是在调用父类的构造函数, 也就是我们常见的super().

所以我们再看SuperClass.<init>


1

2

3

4

5

6

7

8

9

10

11

12

public class bugme.SuperClass {

  public bugme.SuperClass();

    Code:

       0: aload_0      

       1: invokespecial #1                  // Method java/lang/Object."<init>":()V

       4: aload_0      

       5: bipush        99

       7: invokevirtual #2                  // Method setX:(I)V

      10: return

  ......    

}

同样是先调了父类Object的构造方法, 然后再将this, 99入栈, invokevirtual #2旁边注释了是调用setX, 参数分别是this和99也就是this.setX(99), 然而这个方法被重写了, 调用的是子类的方法, 所以我们再看SubClass.setX:


1

2

3

4

5

6

7

8

9

public class bugme.SubClass extends bugme.SuperClass {

  ......

  public void setX(int);

    Code:

       0: aload_0      

       1: iload_1      

       2: invokespecial #3                  // Method bugme/SuperClass.setX:(I)V

       ......

}

这里将局部变量表前两个元素都入栈, 第一个是this, 第二个是括号里的参数, 也就是99,invokespecial #3调用的是父类的setX, 也就是我们代码中写的super.setX(int)

SuperClass.setX就很简单了:


1

2

3

4

5

6

7

8

9

public class bugme.SuperClass {

  ......    

  public void setX(int);

    Code:

       0: aload_0      

       1: iload_1      

       2: putfield      #3                  // Field mSuperX:I

       5: return

}

这里先把this入栈, 再把参数入栈, putfield #3使得前两个入栈的元素全部出栈, 而成员mSuperX被赋值, 这四条指令只对应代码里的一句this.mSuperX = x;

接下来控制流回到子类的setX:


1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

public class bugme.SubClass extends bugme.SuperClass {

  ......

  public void setX(int);

    Code:

       0: aload_0      

       1: iload_1      

       2: invokespecial #3                  // Method bugme/SuperClass.setX:(I)V

     ->5: aload_0                           // 即将执行这句

       6: iload_1      

       7: putfield      #2                  // Field mSubX:I

      10: getstatic     #4                  // Field java/lang/System.out:Ljava/io/PrintStream;

      13: new           #5                  // class java/lang/StringBuilder

      16: dup          

      17: invokespecial #6                  // Method java/lang/StringBuilder."<init>":()V

      20: ldc           #7                  // String SubX is assigned

      22: invokevirtual #8                  // Method java/lang/StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;

      25: iload_1      

      26: invokevirtual #9                  // Method java/lang/StringBuilder.append:(I)Ljava/lang/StringBuilder;

      29: invokevirtual #10                 // Method java/lang/StringBuilder.toString:()Ljava/lang/String;

      32: invokevirtual #11                 // Method java/io/PrintStream.println:(Ljava/lang/String;)V

      35: return

}

从5处开始继续分析, 5,6,7将参数的值赋给mSubX, 此时mSubX是99了, 下面那一堆则是在执行System.out.println("SubX is assigned " + x);并返回, 还可以看到Java自动帮我们使用StringBuilder优化字符串拼接, 就不分析了.

说了这么多, 我们的代码才刚把下面箭头指着的这句执行完:


1

2

3

4

5

6

7

8

9

10

11

12

public class bugme.SubClass extends bugme.SuperClass {

  public bugme.SubClass();

    Code:

       0: aload_0      

     ->1: invokespecial #1                  // Method bugme/SuperClass."<init>":()V

       4: aload_0      

       5: iconst_1     

       6: putfield      #2                  // Field mSubX:I

       9: return

  ......     

}

此时mSubX已经是99了, 再执行下面的4,5,6, 这一部分是SubClass的初始化, 代码将把1赋给mSubX,99被1覆盖了.

方法返回后, 相当于我们执行完了箭头指的这一句代码:


1

2

3

4

5

6

public class Main {

    public static void main(String[] args) {

      ->SubClass sc = new SubClass();

        sc.printX();

    }

}

接下来执行的代码将打印mSubX的值, 自然就是1了.

以前就听说过JVM是基于栈的, Dalvik是基于寄存器的, 现在看了Java字节码, 回想一下smali, 自然就能明白. 我在Android无需权限显示悬浮窗, 兼谈逆向分析app中有分析smali代码, smali里面经常看到类似v0, v1这类东西, 是在操作寄存器, 而刚才分析的bytecode, 指令常常伴随着入栈出栈.

理论解释

我们都知道Java是面向对象的语言, 面向对象三大特性之一多态性. 假如父类构造方法中调用了某个方法, 这个方法恰好被子类重写了, 会发生什么?

根据多态性, 实际被调用的是子类的方法, 这个没错. 再考虑有继承时, 初始化的顺序. 如果是new一个子类, 那么初始化顺序是:

父类static成员 -> 子类static成员 -> 父类普通成员初始化和初始化块 -> 父类构造方法 -> 子类普通成员初始化和初始化块 -> 子类构造方法

父类构造方法中调用了一次setX, 此时mSubX中已经是我们要跟踪的值, 但之后子类普通成员初始化将mSubX又初始化了一遍, 覆盖了前面我们跟踪的值, 自然得到的值就是错的.

Java中, 在构造方法中唯一能安全调用的是基类中的final方法, 自己的final方法(自己的private方法自动final), 如果类本身是final的, 自然就能安全调用自己所有的方法.

完全遵守这个准则, 可以保证不会出这个bug. 实际上我们常常不能遵守, 所以要时刻小心这个问题.

这个东西在Java编程思想(第四版) (机械工业出版社 2012年11月第1版) 的8.3.3小节有写过, 但是这种东西除非自己遇到bug了, 基本看过不会有印象.

这篇文章所有的知识点基本都是很基础的, 我自己也都记得, 但当这些知识合在一起的时候, 他们之间产生的反应却是我没有注意过的. 这也是我写这篇文章的原因.

如果以后有人面试拿这个问题考你, 你可能是遇上drakeet了.

题外话

关于默认初始化, 比如这样写:


1

2

3

4

5

6

public class SubClass extends SuperClass {

    private int mSubX;

    public SubClass() {}

    ......

}

如果父类保证一定会在初始化时调用setX, 程序是不会出现上面说的bug的, 因为默认初始化并不是靠生成下面这样的代码默认初始化.


1

2

3

4: aload_0      

5: iconst_1     

6: putfield      #2                  // Field mSubX:I

所谓的默认初始化, 其实是我们要实例化一个对象之前, 需要一块内存放我们的数据, 这块内存被全部置为0, 这就是默认初始化了.

下面这两句话, 虽然效果一样, 但实际是有区别的.


1

2

3

private int mSubX;

private int mSubX = 0;

一般情况下, 这两句代码对程序没有任何影响(除非你遇到这个bug), 上面一句和下面一句的区别在于, 下面一句会导致<init>方法里面生成3条指令, 分别是aload_0, iconst_0, putfield #**, 而上面一句则不会.

所以如果你的成员变量使用默认值初始化, 就没必要自己赋那个默认值, 而且还能省3条指令.

http://www.importnew.com/17000.html

时间： 2024-10-19 08:30:05

Java重写方法与初始化的隐患（转）的相关文章

Java重写方法与初始化的隐患

有简单又高效的方法可以实现单例模式,但没有一种方式能在任何情况下都确保单例的完整性. 单例模式是指某个类只被实例化一次,用来表示全局或系统范围的组件.单例模式常用于日志记录.工厂.窗口管理器和平台组件管理等.我认为要尽量避免使用单例模式,因为一旦实现就很难改变或重载,而且会造成编写测试用例困难.代码结构糟糕等问题.另外,下面文章中的单例模式是不安全的. 人们花大量的精力研究怎样更好地实现单例模式,但有一种简单高效的实现方法.然而,没有一种方法能在任何情况下都确保单例的完整性.阅读下文,看看你是否

Java变量方法初始化顺序

面试的时候,经常会遇到这样的考题:给你两个类的代码,它们之间是继承的关系,每个类里只有构造器方法和一些变量, 构造器里可能还有一段代码对变量值进行了某种运算,另外还有一些将变量值输出到控制台的代码,然后让我们判断输出的结果.这实际上是在考查我们对于继承情况下类的初始化顺序的了解. 我们大家都知道,对于静态变量.静态初始化块.变量.初始化块.构造器,它们的初始化顺序以此是 (静态变量.静态初始化块)>(变量.初始化块)>构造器. 我们也可以通过下面的测试代码来验证这一点: 父类--静态变量 父类

java中方法的重载与重写的区别

JAVA中方法的重载与重写 1)  方法的的参数上看:重载后的方法与源方法在参数的类型以参数列表的顺序上会发生改变,而重写后的方法在参数的数据类型与参数列表的顺序不会发生改变 2)原方法是否对被覆盖:重载后的方法不会覆盖原方法,而重写后的方法会覆盖父类中的方法,调用时也只会调用重写后的方法. 3)调用方法的对象上:重载后的方法被调用时,调用对象不同时,调用的方法不同,产生的结果也不同:而重写后的方法被调用时,无论调用的对象是父类或者子类的对象,调用的方法相同,产生的结果也一样

Java List&amp;Map简单初始化方法

Java中List与Map初始化的一些写法 代码如下 复制代码 //初始化List List<Object> list = new ArrayList<Object>() { { add("obj1"); add("obj2"); add("objN"); } }; for (Object item : list) { System.out.println(item); } //初始化Map  Map<String,

java 实例化是调用了子类重写方法

java 实例化时调用了抽象方法或者class里面某个方法,如果子类有重写改方法,实际运行的是子类重写方法 package auto.test; //抽象父类 public abstract class Father { public Father() { // TODO Auto-generated constructor stub oupPut(); //实例化时调用,子类有,就调用子类方法,子类没有,就调用父类方法 } //父类抽象方法,让子类重写 public void oupPut()

Java笔记 —— 方法重载和方法重写

h2 { color: #4ABCDE } a { text-decoration: none !important } a:hover { color: red !important; text-decoration: underline !important } pre { border: solid 1px #CCCCCC; background-color: #F8F8F8; margin: 15px; overflow: auto; white-space: pre; font-siz

“全栈2019”Java第四十八章：重写方法Override

难度 初级 学习时间 10分钟 适合人群 零基础 开发语言 Java 开发环境 JDK v11 IntelliJ IDEA v2018.3 文章原文链接 "全栈2019"Java第四十八章:重写方法Override 下一章 "全栈2019"Java第四十九章:重载与重写对比详解 学习小组 加入同步学习小组,共同交流与进步. 方式一:关注头条号Gorhaf,私信"Java学习小组". 方式二:关注公众号Gorhaf,回复"Java学习小组

Java之方法重写、方法重载、多态

Java之方法重写.方法重载.多态博客分类: java语言Java重写重载多态 一.方法重写(Override) 子类可以重写父类的方法. 方法的返回值类型.参数类型.参数个数都不能改变,只能重写方法体. 方法的重写规则 参数列表必须完全与被重写方法的相同: 返回类型必须完全与被重写方法的返回类型相同: 访问权限不能比父类中被重写的方法的访问权限更低. 例如:如果父类的一个方法被声明为public,那么在子类中重写该方法就不能声明为protected. 解释:用于多态(父类引用子类对象). 声明

java之方法的重写

方法的重写: 1.在子类中可以根据需要对从基类中继承来的方法进行重写. 2.重写的方法和被重写的方法必须具有相同方法名称.参数列表和返回类型. 3.重写方法不能使用比被重写的方法更严格的访问权限. 程序code: class Person{ private int age; private String name; public void setAge(int age){ this.age = age; } public void setName(String name){ this.name