Java 方法重载是静态绑定 --基础而容易忽视的知识

今天有人遇到这样的问题:在重构一个Util jar时,发现有个静态方法设计的还不够抽象; 参数用更高层次的接口会比较好, 比如 A extend B,那么使用B 来代替 A; 因为使用 Super Type 作为参数,从而认为此前调用该方法的地方也不需要重写; 本地将重新构建的Util jar放到本地eclipse项目中测试一下, 测试结果ok! 但是将Util.jar放到运行环境下, 就发生了NoSuchMethod 异常;
问题原因:方法参数的重载方法是静态绑定的,在编译时就确定了, 根据申明的Type去判断选择合适的方法,而不是实际的Object

下面举个简单的例子;
设计一个简单的工具,判断集合中是否元素存在;

public class Util { 
    public static boolean hasData(List<?> l) {
        if(l != null && l.size() > 0) {
            return true;
        }
        return false;
    }
}

在另一个类中调用测试;

public class Test {

    public static void main(String[] args) {
        List<String> list = new ArrayList<>();
        System.out.println(Util.hasData(list));
    }
}

后来为了更广泛的使用, 我们将List 修改Collection;

public class Util { 
    public static boolean hasData(Collection<?> l) {
        if(l != null && l.size() > 0) {
            return true;
        }
        return false;
    }
}

此时, 如果我们在不重新编译Test.class的情况下, 运行class文件就会抛错;
打印出字节码就可以发现的问题所在; 第12行的调用参数; 那么在运行,系统抛出NoSuchMethod hasData:(Ljava/util/List;) 也就一点都不意外了;

public static void main(java.lang.String[]);
    Code:
       0: new           #16                 // class java/util/ArrayList
       3: dup
       4: invokespecial #18                 // Method java/util/ArrayList."<init>":()V
       7: astore_1
       8: getstatic     #19                 // Field java/lang/System.out:Ljava/io/PrintStream;
      11: aload_1
      12: invokestatic  #25                 // Method simpletest/Util.hasData:(Ljava/util/List;)Z
      18: return

  • 静态绑定是丧失了动态特性为代价可以提供更佳的性能(编译时确定);它与动态绑定的区别,一言以蔽之就是一个根据Type判断,而另一个根据Object判断;
  • 除了上面的例子,即方法的重载是静态绑定以外;此外对Object上调用static methodprivate method & final method 这些不能override的方法,都是静态绑定(invokestatic);
  • 根据上面两点,只有Type 和 Sub Type的其他方法, 只有在方法参数完全一致(对于泛型而言,即使是类型擦除,Java也要求泛型参数的类型必须一直才可以重载,可以自己试着自己在IDE里测试一下)的情况下才有存在Override;这也是开发者容易犯的一个错;
  • 在自动化发布的过程中, 如果上层的Jar修改了, 下层的Jar即使不需要修改,也需要重新编译。这里就是一个例子;
©著作权归作者所有,转载或内容合作请联系作者
平台声明:文章内容(如有图片或视频亦包括在内)由作者上传并发布,文章内容仅代表作者本人观点,简书系信息发布平台,仅提供信息存储服务。

推荐阅读更多精彩内容