匿名类的构造函数很特殊

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

//定义一个枚举，限定操作符  
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);   // 调父类有参构造函数  
        System.out.println("有参构造函数Add");  
     }  
} 

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