Java泛型编程与多态、重载的同与不同

简介: 从字节码看Java泛型编程与多态、重载的同于不同。

泛型编程

泛型编程在某些语言中也称之为模板编程,比如C++,所以在泛型编程中见到的那个T也就是Template的首字母。
来看一个泛型编程的简单样例。

public static void main(String[] args) {
    StringBuilder sb = new StringBuilder("Test template");
    System.out.println(foo(sb).toString());
}

public static <T> T foo(T t) {
    // bla bla bla
    return t;
}

泛型编程与多态

在面向对象的编程中还有一个概念叫多态,利用这种概念,我们可以将泛型编程中的T替换成所有对象的基类Object,这在某种程度上同样能够达到泛型编程所达到的效果,如下方代码所示。

public static void main(String[] args) {
    StringBuilder sb = new StringBuilder("Test template");
    System.out.println(foo(sb).toString());
    System.out.println(foo2(sb).toString());
}

public static <T> T foo(T t) {
    // bla bla bla
    return t;
}

public static Object foo2(Object o) {
    // bla bla bla
    return o;
}

那么这两种方法有什么区别吗?

我们来看看字节码。

public class template.Template {
  public template.Template();
    Code:
       0: aload_0
       1: invokespecial #1                  // Method java/lang/Object."<init>":()V
       4: return

  public static void main(java.lang.String[]);
    Code:
       0: new           #2                  // class java/lang/StringBuilder
       3: dup
       4: ldc           #3                  // String Test template
       6: invokespecial #4                  // Method java/lang/StringBuilder."<init>":(Ljava/lang/String;)V
       9: astore_1
      10: getstatic     #5                  // Field java/lang/System.out:Ljava/io/PrintStream;
      13: aload_1
      14: invokestatic  #6                  // Method foo:(Ljava/lang/Object;)Ljava/lang/Object;
      17: checkcast     #2                  // class java/lang/StringBuilder
      20: invokevirtual #7                  // Method java/lang/StringBuilder.toString:()Ljava/lang/String;
      23: invokevirtual #8                  // Method java/io/PrintStream.println:(Ljava/lang/String;)V
      26: getstatic     #5                  // Field java/lang/System.out:Ljava/io/PrintStream;
      29: aload_1
      30: invokestatic  #9                  // Method foo2:(Ljava/lang/Object;)Ljava/lang/Object;
      33: invokevirtual #10                 // Method java/lang/Object.toString:()Ljava/lang/String;
      36: invokevirtual #8                  // Method java/io/PrintStream.println:(Ljava/lang/String;)V
      39: return

  public static <T> T foo(T);
    Code:
       0: aload_0
       1: areturn

  public static java.lang.Object foo2(java.lang.Object);
    Code:
       0: aload_0
       1: areturn
}

foo方法调用时的字节码

14: invokestatic  #6                  // Method foo:(Ljava/lang/Object;)Ljava/lang/Object;
17: checkcast     #2                  // class java/lang/StringBuilder
20: invokevirtual #7                  // Method java/lang/StringBuilder.toString:()Ljava/lang/String;

foo2方法调用时的字节码

30: invokestatic  #9                  // Method foo2:(Ljava/lang/Object;)Ljava/lang/Object;
33: invokevirtual #10                 // Method java/lang/Object.toString:()Ljava/lang/String;

不难发现,main函数调用使用了泛型编程的foo方法时,其字节码已不再是T,而是替换为实际的StringBuilder类;反观foo2方法使用的还是Object,那它将是在运行时作类型转换。
结论:泛型编程是编译期替换;多态则是运行期作类型转换。

泛型编程与重载

什么是重载

不废话,形如下方代码即重载。

public static int add(int a, int b) {
    return a + b; 
}
    
public static double add(double a, double b) {
    return a + b;
}

重载的特点:两个及以上方法名相同;参数个数不同,参数顺序不同、类型不同,以上任一种及以上都可以构成重载。仅返回值不同不可构成重载。

测试的完整代码如下:

public static void main(String[] args) {
    StringBuilder sb = new StringBuilder("Test template");
    System.out.println(foo(sb).toString());
    System.out.println(foo2(sb).toString());
    int a = 1;
    int b = 2;
    System.out.println(add(a, b));
        
    double x = 1.1;
    double y = 1.2;
    System.out.println(add(x, y));
}

public static <T> T foo(T t) {
    // bla bla bla
    return t;
}
    
public static Object foo2(Object o) {
    // bla bla bla
    return o;
}

public static int add(int a, int b) {
    return a + b; 
}
    
public static double add(double a, double b) {
    return a + b;
}

接下来看看重载部分的字节码:

48: invokestatic  #11                 // Method add:(II)I
71: invokestatic  #17                 // Method add:(DD)D

总结:看来字节码已经做了相应的转换,重载和泛型编程相似,都是在编译期就做了替换,而不是在运行时,但是重载需要为每一种不同的参数类型重新编写代码,代码复用度不高。

总结

泛型编程和重载是在编译期作了类型替换,多态则是在运行期作类型转换。
泛型编程和多态代码复用度高,重载代码复用度低。

当然,泛型、重载、多态更有其它设计模式的意义,在此不作讨论。

目录
相关文章
|
3天前
|
Java 调度 开发者
Java 并发编程的探索与实践
【5月更文挑战第3天】在当今多核处理器普及的时代,并发编程已经成为提高程序性能的重要手段。本文将深入探讨 Java 并发编程的基本概念、原理及其在实际项目中的应用,帮助读者更好地理解和掌握 Java 并发编程技巧。
|
4天前
|
XML 监控 安全
18:面向切面编程-Java Spring
18:面向切面编程-Java Spring
22 5
|
4天前
|
并行计算 安全 Java
Java 并发编程的探索之旅
【5月更文挑战第2天】 在多线程的世界里,程序的行为变得错综复杂。本文将带您走进 Java 并发编程的核心概念,通过深入分析并发工具的使用和原理,帮助您构建高效、安全且响应迅速的应用程序。我们将探讨线程的基本知识,同步机制,以及高级并发工具如 Executors、Futures 和 Streams。通过理论与实践相结合的方式,为开发者提供一份清晰、实用的并发编程指南。
11 2
|
5天前
|
存储 安全 Java
深入理解Java并发编程:线程安全与性能优化
【5月更文挑战第1天】本文将深入探讨Java并发编程的核心概念,包括线程安全和性能优化。我们将详细分析线程安全问题的根源,以及如何通过合理的设计和编码实践来避免常见的并发问题。同时,我们还将探讨如何在保证线程安全的前提下,提高程序的并发性能,包括使用高效的同步机制、减少锁的竞争以及利用现代硬件的并行能力等技术手段。
|
6天前
|
安全 Java 程序员
Java并发编程:理解并应用ReentrantLock
【4月更文挑战第30天】 在多线程的世界中,高效且安全地管理共享资源是至关重要的。本文深入探讨了Java中的一种强大同步工具——ReentrantLock。我们将从其设计原理出发,通过实例演示其在解决并发问题中的实际应用,以及如何比传统的synchronized关键字提供更灵活的锁定机制。文章还将讨论在使用ReentrantLock时可能遇到的一些挑战和最佳实践,帮助开发者避免常见陷阱,提高程序性能和稳定性。
|
6天前
|
缓存 Java 调度
Java并发编程:深入理解线程池
【4月更文挑战第30天】 在Java并发编程中,线程池是一种重要的工具,它可以帮助我们有效地管理线程,提高系统性能。本文将深入探讨Java线程池的工作原理,如何使用它,以及如何根据实际需求选择合适的线程池策略。
|
6天前
|
Java
Java并发编程:深入理解线程池
【4月更文挑战第30天】 本文将深入探讨Java中的线程池,解析其原理、使用场景以及如何合理地利用线程池提高程序性能。我们将从线程池的基本概念出发,介绍其内部工作机制,然后通过实例演示如何创建和使用线程池。最后,我们将讨论线程池的优缺点以及在实际应用中需要注意的问题。
|
Java
java基础篇 之 构造器内部的多态行为
java基础篇 之 构造器内部的多态行为
54 0
Java基础 | 多态
Java中的多态讲解
78 0
Java基础篇:多态
多态就是指一个类实例的相同方法在不同情形有不同表现形式,在面向对象设计的概念中,对于父类提供的方法调用,子类可以有自己特有的行为。
176 0