Компилятор Java заменяет параметры типа в универсальном типе на Object, если используются параметры неограниченного типа, и на type, если связанные параметры используются в качестве параметров метода.
пример
package com.tutorialspoint; public class GenericsTester { public static void main(String[] args) { Box<Integer> integerBox = new Box<Integer>(); Box<String> stringBox = new Box<String>(); integerBox.add(new Integer(10)); stringBox.add(new String("Hello World")); printBox(integerBox); printBox1(stringBox); } private static <T extends Box> void printBox(T box) { System.out.println("Integer Value :" + box.get()); } private static <T> void printBox1(T box) { System.out.println("String Value :" + ((Box)box).get()); } } class Box<T> { private T t; public void add(T t) { this.t = t; } public T get() { return t; } }
В этом случае java-компилятор заменит T на класс Object, и после стирания типа, компилятор сгенерирует байт-код для следующего кода.
package com.tutorialspoint; public class GenericsTester { public static void main(String[] args) { Box integerBox = new Box(); Box stringBox = new Box(); integerBox.add(new Integer(10)); stringBox.add(new String("Hello World")); printBox(integerBox); printBox1(stringBox); } //Bounded Types Erasure private static void printBox(Box box) { System.out.println("Integer Value :" + box.get()); } //Unbounded Types Erasure private static void printBox1(Object box) { System.out.println("String Value :" + ((Box)box).get()); } } class Box { private Object t; public void add(Object t) { this.t = t; } public Object get() { return t; } }
В обоих случаях результат один и тот же —