我正在学习 Java，遇到了一些关于重载的问题。以下面的函数使用为例：
f('a', 'a');
如果我们有两个定义：
static void f(int i, char j){
System.out.println("int_char");
}
static void f(double i, char j){
System.out.println("double_char");
}
会没事的。因为所有第二个参数都完全匹配。但是第一个参数，它们都使用了widen。char 的加宽顺序是：
char -> int -> long -> float -> double
char要实现int，需要一步。但要实现双倍，需要4个步骤。所以结果是：
int_char
但是我将参数的顺序更改为：
static void f(int i, char j){
System.out.println("int_char");
}
static void f(char i, double j){
System.out.println("char_double");
}
编译器会提出一个模棱两可的错误。为什么？
另一种情况如下：
static void f(char i, Character j){
System.out.println("char_Character");
}
static void f(Character i, Character j){
System.out.println("Character_Character");
}
第二个参数都使用自动装箱。但是 void f(char i, Character j) 的第一个参数是完全匹配的。为什么这两个函数放在一起会导致模棱两可？
最后，如果这些函数中的任何一个与以下函数一起出现：
static void f(Character... i){
System.out.println("Character_varargs");
}
输出不是 Character_varargs，因为加宽 > 装箱 > 可变参数。但是，当两个模棱两可的函数与 Character_varargs 一起使用时，例如：
static void f(char i, Character j){
System.out.println("char_Character");
}
static void f(Character i, Character j){
System.out.println("Character_Character");
}
static void f(Character... i){
System.out.println("Character_varargs");
}
结果将是 Character_varargs。为什么？
甚至我们添加了一些明确的和更高优先级的重载函数，例如：
static void f(int i, char j){
System.out.println("int_char");
}
static void f(char i, double j){
System.out.println("char_double");
}
static void f(int i, double j){
System.out.println("int_double");
}
static void f(Character... i){
System.out.println("Character_varargs");
}
结果仍然是 Character_varargs。为什么？如果只考虑 void f(int i, double j) 和 void f(Character... i)，输出应该是 int_double。
当编译器遇到模棱两可的函数时，它是否直接“跳转”到 varargs 函数（如果有）而不考虑任何其他候选者？
谢谢！