在 Java 7 版本以前,如果使用带泛型的接口、类定义变量,那么调用构造器创建对象时构造器的后面也必须带泛型,这显得有些多余了。例如如下两条语句:
List<String> strList = new ArrayList<String>(); Map<String, Integer> scores = new HashMap<String, Integer>();
上面两条语句中等号右边的尖括号部分完全是多余的,Java 7 版本以前是必需的,不能省略。从 Java 7 开始,Java 允许在构造器后不带完整的泛型信息,只要给出一对尖括号<>即可。Java 可以推断出尖括号里应该是什么泛型信息。
即上面两条语句可以改写为如下形式:
List<String> strList = new ArrayList<>(); Map<String, Integer> scores = new HashMap<>();
把两个尖括号并排放在一起非常像一个菱形,这种语法也就被称为“菱形”语法。下面程序示范了 Java 7 的菱形语法。
public class Test {
public static void main(String[] args) {
// Java自动推断出ArrayList的<>里应该是String
List<String> names = new ArrayList<>();
names.add("城东书院Java入门教程");
names.add("城东书院Spring入门教程");
// 遍历names集合,集合元素就是String类型
names.forEach(ele -> System.out.println(ele.length()));
// Java 自动推断出 HashMap 的<>里应该是 String,List<String>
Map<String, List<String>> coursesInfo = new HashMap<>();
// Java自动推断出ArrayList的<>里应该是String
List<String> courses = new ArrayList<>();
courses.add("Java入门教程");
courses.add("Python基础教程");
coursesInfo.put("城东书院", courses);
// 遍历 Map 时,Map 的 key 是 String 类型,value List<String>类型
coursesInfo.forEach((key, value) -> System.out.println(key + "-->" + value));
}
}
上面程序中代码第 4、10 和 12 行代码就是“菱形”语法的示例。从该程序不难看出,“菱形”语法对原有的泛型并没有改变,只是更好地简化了泛型编程。
Java 9 再次增强了“菱形”语法,它甚至允许在创建匿名内部类时使用菱形语法,Java 可根据上下文来推断匿名内部类中泛型的类型。下面程序示范了在匿名内部类中使用菱形语法。
interface Foo<T> {
void test(T t);
}
public class AnnoymousTest {
public static void main(String[] args) {
// 指定Foo类中泛型为String
Foo<String> f = new Foo<>() {
// test()方法的参数类型为String
public void test(String t) {
System.out.println("test 方法的 t 参数为:" + t);
}
};
// 使用泛型通配符,此时相当于通配符的上限为Object
Foo<?> fo = new Foo<>() {
// test()方法的参数类型为Object
public void test(Object t) {
System.out.println("test 方法的 Object 参数为:" + t);
}
};
// 使用泛型通配符,通配符的上限为Number
Foo<? extends Number> fn = new Foo<>() {
// 此时test ()方法的参数类型为Number
public void test(Number t) {
System.out.println("test 方法的 Number 参数为:" + t);
}
};
}
}
上面程序先定义了一个带泛型声明的接口,接下来第 8、15 和 22 行代码分别示范了在匿名内部类中使用菱形语法。第 8 行代码声明变量时明确地将泛型指定为 String 类型,因此在该匿名内部类中 T 类型就代表了 String 类型;第 15 行代码声明变量时使用通配符来代表泛型(相当于通配符的上限为 Object),因此系统只能推断出 T 代表 Object,所以在该匿名内部类中 T 类型就代表了 Object 类型;第 22 行代码声明变量时使用了带上限(上限是 Number)的通配符,因此系统可以推断出 T 代表 Number 类。
无论以上哪种方式,Java 9 都允许在使用匿名内部类时使用菱形语法。