[改善Java代码]建议40:匿名类的构造函数很特殊

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

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

 // 定义一个枚举，限定操作符
 enum Ops {
     ADD, SUB
 }

 class Calculator {
     private int i, j, result;

     // 无参构造
     public Calculator() {
     }

     // 有参构造
     public Calculator(int _i, int _j) {
         i = _i;
         j = _j;
     }

     // 设置符号，是加法运算还是减法运算
     protected void setOperator(Ops _op) {
         result = _op.equals(Ops.ADD) ? i + j : i - j;
     }

     // 取得运算结果
     public int getResult() {
         return result;
     }
 }

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

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

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

 //加法计算
 class Add extends Calculator {
      {
           setOperator(Ops.ADD);
      }
      //覆写父类的构造方法
      public Add(int _i, int _j) {
      }
 } 

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

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

 //加法计算
 class Add extends Calculator {
      {
           setOperator(Ops.ADD);
      }
      //覆写父类的构造方法
      public Add(int _i, int _j) {
           super(_i,_j);
      }
 } 

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