算法如下
- 找出全部可以调用的方法。(可以调用的方法意味着形參个数等于实參个数,实參的类型可以转换为方法形參的类型。)
- 假设实參与形參的类型可以直接相应。则运行该方法。
- 假设可以调用的方法仅仅有一个。则运行该方法。
- 可以调用的方法不止一个时, 逐一作出推断: 假设一个方法的类型签名都可以赋值给还有一个方法。则类型大的(超类)被排除;反复此操作,直到无法排除为止。【the Most Specific Method】
- 经过步骤4,假设仅仅剩下一个方法, 则运行该方法. 否则编译器报错.
但是Java中还存在主动装箱和变长參数, 这会使问题更复杂(还有import static 因素)
所以,大致了解一下就够了
以下是几个例子
①首先不考虑自己主动装箱和变长參数②再加上自己主动装箱③再加上自己主动装箱变长參数
样例1:有void m(Object )、void m(int[] )、m(int )方法,
代码语言:javascript复制 Object obj = null;
m(obj);
依照(2)调用m(Object )
样例2:有void m(Object )、void m(int[] )、m(int )方法,
代码语言:javascript复制 m(null);
依照(4),排除m(Object )后。调用void m(int[] )
样例3:有void m(Object )、void m(int[] )、m(String )方法,
代码语言:javascript复制 m(null);
依照(4),排除m(Object )后,void m(int[] )和m(String )无法排除。依照(5),编译报错。
样例4:有void f(double,float )、void f(float , double )方法,
代码语言:javascript复制 f(12 ,9);
依照(5),编译报错。
样例5:有void f(double,float )、void f(float , double )和void f(double ,int )方法,
代码语言:javascript复制 f(12 ,9);
依照(5),编译报错。f(double,float )- f(float , double )
样例6:有void f(double,float )、void f(float , double )和void f(float,int )方法。
代码语言:javascript复制 f(12 ,9);
依照(4), 调用f(float , int)
编译器并不总是能选择到正确的方法, 如果和泛型搭配, 可能会发生意外情况, 比如这个 https://blog.22xcode.com/post/138
https://www.cnblogs.com/mfrbuaa/p/4713799.html https://www.cnblogs.com/keeya/p/12780847.html https://docs.oracle.com/javase/specs/jls/se8/html/jls-15.html#jls-15.12.2