泛型实例化中指定类型的作用？兼析两种HashMap写法差异

泛型实例化时指定类型的作用 #

• 编译时类型校验：编译器会在编译阶段检查你往集合里存的元素类型是否和指定的泛型类型匹配，直接拦截类型不兼容的操作，避免运行时出现ClassCastException，提前规避错误。
• 省去强制类型转换：从集合中取出元素时，编译器会自动帮你转换成指定的类型，不用手动写(Integer)这种强转代码，既简洁又减少了强转出错的概率。
• 提升代码可读性：一眼就能明确集合中存储的元素类型，后续维护或者其他开发者看代码时，不用靠猜或者翻代码逻辑来判断元素类型，降低理解成本。

两种HashMap声明写法的区别 #

这两种写法功能完全等价，最终都会创建一个键和值都是Integer类型的HashMap，核心区别是语法简化：

• HashMap<Integer, Integer> hashMap = new HashMap<>();：这是Java 7及以后引入的菱形语法（Diamond Operator）。编译器会根据左边变量声明的泛型类型，自动推断出右边实例化时的泛型类型，不用重复写<Integer, Integer>，减少代码冗余。
• HashMap<Integer, Integer> hashMap = new HashMap<Integer, Integer>();：这是Java 7之前的标准写法，当时编译器不支持自动推断，必须显式在实例化时指定泛型类型，否则会被视为原始类型（不带泛型的集合），失去泛型的类型校验等优势。

本质上，菱形语法只是语法糖，编译后生成的字节码和显式指定类型的写法完全一致，运行时没有任何差异。

内容的提问来源于stack exchange，提问作者jozen