从二进制兼容的角度来看，一个方法由四部分构成，分别是：方法的名称，返回值类型，参数，方法是否为static。改变这四个项目中的任意一个，对jvm而言它已经变成了另一个方法。
　　
　　以“boolean isvalid()”方法为例，如果让isvalid接收一个date参数，变成“boolean isvalid(date when)”，修改后的类不能直接替换原有的类，试图访问新类的isvalid()方法只能得到类似下面的错误信息：java.lang.nosuchmethoderror: ticket.isvalid()z。jvm用“()z”这个符号表示方法不接受参数且返回一个boolean。关于这一问题，下文将有更详细的说明。
　　
　　jvm利用一种称为虚拟方法调度（virtual method dispatch）的技术判断要调用的方法体，它根据被调用方法所在的实际实例来决定要使用的方法体，可以看作一种扩展的延迟绑定策略。
　　
　　如果该类没有提供一个名称、参数、返回值类型完全匹配的方法，它就使用从超类继承的方法。由于java的二进制兼容性规则，这种继承实际上在运行期间确定，而不是在编译期间确定。假设有下面几个类：
　　
　　class poem {
　　　void perform() {
　　　　system.out.println("白日依山尽");
　　} }
　　
　　class shakespearepoem extends poem {
　　　void perform() {
　　　　system.out.println("to be or not to be.");
　　} }
　　
　　class hamlet extends shakespearepoem { }
　　
　　那么，
　　
　　poem poem = new hamlet();
　　poem.perform();
　　
　　将输出“to be or not to be.”。这是因为perform的方法体是运行时才确定的。虽然hamlet没有提供perform的方法体，但它从shakespearepoem继承了一个。至于为何不用poem定义的perform方法，那是因为shakespearepoem定义的perform已经覆盖了它。我们可以随时修改hamlet，却无需重新编译shakespearepoem，如下例所示：
　　
　　class hamlet extends shakespearepoem {
　　　system.out.println("连一支耗子都没闹");
　　}
　　
　　现在，前面的例子将输出“连一支耗子都没闹”。但是，
　　
　　poem poem = new shakespearepoem();
　　poem.perform();
　　
　　这段代码的输出结果是“to be or not to be.”如果我们删除shakespearepoem的内容，同样的代码将输出“白日依山尽”。