public class DoOperations{
    public static double product(int n, double m){
         return n*m;
    }
    public static double product(double a, int b){
         return a*b;
    }
    public static void main (String[] args){ 
         int aa=1;
         double xx=1.0;
         System.out.println(product(aa,xx));  //A
         System.out.println(product(xx,aa));  //B
         System.out.println(product(aa,aa));  //C
     }
}

关于上面这段代码我们提出如下几个问题：
1.上面的程序里的3个 product()方法是正确的方法重载么，这个程序可以正常运行么？
2.如果不能，是编译报错还是运行报错，如果是编译或者运行错误，具体是ABC哪一句报错？
3.如果删除主过程ABC三行，这个程序是编译报错还是运行报错，还是正常编译？

解答：

1.这个程序不能正常运行

2.这个程序会编译报错，错误原因：

A行：可以匹配 product(int, double) 
B行：可以匹配 product(double, int) 
C行：product(aa,aa) 两个参数都是 int，无法确定调用哪个方法 ：错误

歧义调用（ambiguous invocation） 编译错误：
error: reference to product is ambiguous
两个int参数都可以匹配两个重载方法（通过自动类型转换）

Java编译器按照以下顺序寻找匹配的方法：
1精确匹配（参数类型完全相同）
2基本类型自动扩展（byte→short→int→long→float→double）即int可以直接给double赋值
3自动装箱（基本类型→对应的包装类）
4可变参数
 

3 正常编译。只有类和方法定义，没有实际调用，编译器不会报错。

重点来说下为什么删除了ABC三行，就不会出现编译报错

Java 编译器（javac）在编译时主要做两件事：

1. 语法检查和语义分析
2. 编译单元（Compilation Unit）
Java 编译器处理的是编译单元，而不是整个程序的逻辑：

方法定义（method definitions）总是检查语法
方法调用（method invocations）在调用点检查匹配性

// 阶段1：解析类和方法声明（不报错）
public class DoOperations{
    // 编译器：好的，有两个重载的product方法
    // 签名不同：(int, double) 和 (double, int)
    // 这是合法的重载 
    
    public static void main (String[] args){ 
        // 空的main方法 
    }
}

// 阶段2：检查方法调用（可能报错）
public static void main (String[] args){ 
    int aa=1;
    System.out.println(product(aa,aa));  // 歧义调用！
    // 编译器：这里要调用product方法
    // 但是aa是int，两个方法都可以匹配：
    //   1. product(int, double) ← 第二个参数自动转换为double
    //   2. product(double, int) ← 第一个参数自动转换为double
    // 我无法确定该用哪个！报错！
}

技术细节：

方法签名的唯一性
Java 允许方法重载，只要方法签名不同：
没有调用时：编译器只是记录有两个不同的方法签名。
有调用时：编译器需要确定使用哪个签名：

// 编译器在编译时就需要确定调用哪个方法
// 这叫做"静态分派"（static dispatch）

product(aa, aa);  // 编译时：aa的类型是int
                           // 需要找到最匹配的方法
                           // 两个方法匹配度相同 → 歧义

总结

方法定义本身不会冲突：只要签名不同，编译器就允许共存
方法调用才会产生歧义：当编译器无法确定调用哪个重载方法时

编译过程分阶段：
阶段1：解析类和方法声明  
阶段2：解析方法调用

Java 的哲学：宁愿在编译时发现错误，也不要在运行时产生不确定行为
简单来说：就像你买了两种工具（方法定义），这本身没问题。但当你实际使用时（方法调用），如果两种工具都能用，但又不知道用哪个更好，就会困惑（编译错误）。不使用时，只是放着，不会有问题。