建议40： 匿名类的构造函数很特殊

在上一个建议中我们讲到匿名类虽然没有名字，但可以有一个初始化块来充当构造函数，那这个构造函数是否就和普通的构造函数完全一样呢？我们来看一个例子，设计一个计算器，进行加减乘除运算，代码如下：

1 // 定义一个枚举，限定操作符 2 enum Ops { 3     ADD, SUB 4 } 5  6 class Calculator { 7     private int i, j, result; 8  9     // 无参构造10     public Calculator() {11     }12 13     // 有参构造14     public Calculator(int _i, int _j) {15         i = _i;16         j = _j;17     }18 19     // 设置符号，是加法运算还是减法运算20     protected void setOperator(Ops _op) {21         result = _op.equals(Ops.ADD) ? i + j : i - j;22     }23 24     // 取得运算结果25     public int getResult() {26         return result;27     }28 }

代码的意图是，通过构造函数输入两个int类型的数字，然后根据设置的操作符（加法还是减法）进行计算，编写一个客户端调用：

1 public static void main(String[] args) {  2     Calculator c1 = new Calculator(1,2) {  3          {  4              setOperator(Ops.ADD);  5          }  6     };  7     System.out.println(c1.getResult());  8 }

这段匿名类的代码非常清晰：接收两个参数1和2，然后设置一个操作符号，计算其值，结果是3，这毫无疑问，但是这中间隐藏着一个问题：带有参数的匿名类声明时到底是调用的哪一个构造函数呢？我们把这段程序模拟一下：

1 //加法计算  2 class Add extends Calculator {  3      {  4           setOperator(Ops.ADD);  5      }  6      //覆写父类的构造方法  7      public Add(int _i, int _j) {  8      }  9 }

匿名类和这个Add类是等价的吗？可能有人会说：上面只是把匿名类增加了一个名字，其他的都没有改动，那肯定是等价的啦！毫无疑问！那好，你再写个客户端调用Add类的方法看看。是不是输出结果为0（为什么是0？这很容易，有参构造没有赋值）。这说明两者不等价，不过，原因何在呢？

原来是因为匿名类的构造函数特殊处理机制，一般类（也就是具有显式名字的类）的所有构造函数默认都是调用父类的无参构造的，而匿名类因为没有名字，只能由构造代码块代替，也就无所谓的有参和无参构造函数了，它在初始化时直接调用了父类的同参数构造，然后再调用了自己的构造代码块，也就是说上面的匿名类与下面的代码是等价的：

1 //加法计算   2 class Add extends Calculator {   3      {   4           setOperator(Ops.ADD);   5      }   6      //覆写父类的构造方法   7      public Add(int _i, int _j) {   8           super(_i,_j);   9      }  10 }

它首先会调用父类有两个参数的构造函数，而不是无参构造，这是匿名类的构造函数与普通类的差别，但是这一点也确实鲜有人细细琢磨，因为它的处理机制符合习惯呀，我传递两个参数，就是希望先调用父类有两个参数的构造，然后再执行我自己的构造函数，而Java的处理机制也正是如此处理的！