Java中调用对象方法的执行过程

编译器查看对象的声明类型和方法名。假设调用x.f(param)，且隐式参数x声明为C类的对象。需要注意的是：有可能存在多个名字为f，但是参数类型不一样的方法。例如，可能存在f(int)和f(String)。编译器将会一一列举所有类C和其超类中访问属性为public且名为f的方法（超类的私有方法不可访问）。
接下来，编译器将查看调用方法时提供的参数类型。如果在所有名为f的方法中存在一个与提供的参数类型完全匹配，就选择这个方法。这个过程称为重载解析。如果编译器没有找到与参数类型匹配的方法，或者发现经过类型转换后有多个方法与之匹配，就会报告一个错误。
如果是private方法、static方法、final方法或者构造器，那么编译器将可以准确地知道应该调用哪个方法，我们将这种调用方式称为静态绑定。与此对应的是，调用的方法依赖于隐式参数的实际类型，并且在运行时实现动态绑定。
当程序运行，并且采用动态绑定调用方法时，虚拟机一定调用与x所引用对象的实例类型最合适的那个类的方法。假设x的实际类型是D，它是C类的子类，我们要调用f(String)。如果D类定义了方法f(String)，就直接调用它；否则将在D类的超类中寻找f(String)，以此类推。
每次调用方法都要进行方法搜索，时间开销相当大。因此，虚拟机预先为每个类创建一个方法表，其中列举了所有方法的签名和实际调用的方法。这样一来，在真正调用方法的时候，虚拟机仅查找这个表就行了。
特别注意下列这种情况：

class A {

public void f(int a) {
System.out.println(a);
}

}

class B extends A {

public void f2(int a) {
System.out.println(a);
}

}

public class TestDemo  {
public static void main(String[] args) {
A a = new B();
a.f2(1);
}
}

以上这种情况在编译时会出现错误，提示“找不到符号”，原因是因为在编译时，第一步中会根据隐式参数的声明类型和其超类来查找方法，如果没有找到就会报错。所以如果改成以下这种方式，就没有问题了。

class C {
public void f2(int a) {
System.out.println(a);
}
}

class A extends C {

public void f(int a) {
System.out.println(a);
}

}

class B extends A {

public void f2(int a) {
System.out.println(a);
}

}

public class TestDemo  {
public static void main(String[] args) {
A a = new B();
a.f2(1);
}
}