Java Generics - Borrado de tipos

Los genéricos se utilizan para verificaciones de tipo más estrictas en tiempo de compilación y para proporcionar una programación genérica. Para implementar un comportamiento genérico, el compilador de Java aplica borrado de tipo. El borrado de tipo es un proceso en el que el compilador reemplaza un parámetro genérico con una clase real o un método puente. En el borrado de tipos, el compilador garantiza que no se creen clases adicionales y que no haya sobrecarga de tiempo de ejecución.

Reglas de borrado de tipo

• Reemplace los parámetros de tipo en tipo genérico con su límite si se utilizan parámetros de tipo delimitado.

• Reemplace los parámetros de tipo en tipo genérico con Object si se utilizan parámetros de tipo ilimitado.

• Inserte modelos de yeso para preservar la seguridad de los tipos.

• Genere métodos puente para mantener el polimorfismo en tipos genéricos extendidos.