软件构造学习小记（三）泛型

提示：文章写完后，目录可以自动生成，如何生成可参考右边的帮助文档

---

前言

Lab2使用了泛型。对泛型进行回顾。

---

一、泛型是什么？

泛型是程序设计语言的一种风格或范式。泛型允许程序员在强类型程序设计语言中编写代码时使用一些以后才指定的类型，在实例化时作为参数指明这些类型。各种程序设计语言和其编译器、运行环境对泛型的支持均不一样。

二、泛型方法规则

所有泛型方法声明都有一个类型参数声明部分（由尖括号分隔），该类型参数声明部分在方法返回类型之前。
每一个类型参数声明部分包含一个或多个类型参数，参数间用逗号隔开。一个泛型参数，也被称为一个类型变量，是用于指定一个泛型类型名称的标识符。
类型参数能被用来声明返回值类型，并且能作为泛型方法得到的实际参数类型的占位符。
泛型方法体的声明和其他方法一样。注意类型参数只能代表引用型类型，不能是原始类型（像 int、double、char 等）。

三、代码示例

public class Test
{                      
   public static < L > void f( L[] x )
   {
      // 输出数组元素            
         for ( L n : x ){        
            System.out.printf( "%s ", n );
         }
         System.out.println();
    }
 
    public static void main( String args[] )
    {
        Integer[] inta = { 1, 2, 3, 4, 5 };
        Double[] doublea = { 1.0, 2.0, 3.0, 4.0 };
        Character[] chara = { 'H', 'i'};
 
        f( inta  );
        f( doublea );
        f( chara ); 
    } 
}

输出如下：

1 2 3 4 5 

1.0 2.0 3.0 4.0 

H i

---

总结

使用泛型，可以用L代表任意类型，使得程序得以具有更高的通用性。同时，提高了Java程序的类型安全。使用泛型是极有优势的。