JavaSE5.0新特性之可变参数问题

class Varargs{
         public static void main(String[] args) {
              //语句1
              new Varargs().plus(3,4,5);
         }

         public int plus(int...a){
              int sum = 0;
              for(int e : a)
                   sum += e;
              return sum;
          }

         public double plus(double s,int...a){
               double sum = s;
               for(int e : a)
                    sum += e;
               return sum;
          }

}

语句1编译不通过的原因如下：
首先，java虚拟机在具体调用某个对象的某个方法时，会先将该方法的所有重载形式列成
一张方法表。
然后虚拟机去查看实际调用方法的参数，用这些实际参数去与上一步生成的方法表里面的
参数类型进行匹配，如果匹配成功，则调用。如果没有与之对应的重载方法或有多个与之
能匹配的方法，虚拟机都会报错。并且，在此过程中允许向上转型。
此例中，当调用plus(3,4,5)时。假设虚拟机先与plus(int...a)方法匹配，匹配成功。然后
再去与plus(double s,int...a)方法匹配，此时会把plus(3,4,5)方法中的int类型3自动向上
转型成double类型，所以也能匹配。因为类中有两个方法能匹配上实际调用的方法，所以虚
拟机报错，编译不通过。