Verdaderos genéricos de java (plantillas)

Question

Después de echar un vistazo en el Java VM specification, noté que se podía usar mucho más que solo letras ASCII para crear un identificador.

En primer lugar, me preguntaba si había alguna símbolos adicionales (aparte de $, que están disponibles para los identificadores)

¿Cree que sería posible, con el juego de caracteres extendidos para codificar información adicional en un identificador y un cargador de clases personalizado para implementar verdaderos genéricos de Java?

Por supuesto, tendría que evitar el borrado de tipos, pero eso podría ser posible con un analizador personalizado.

Por lo que podría almacenar nombres genéricos en un formato como: $g$GenericList$_Java_lang_String$

estoy usando GenericList aquí como no tengo la intención de modificar la implementación original!

Colóquelos con el cargador de clases, cree una versión adecuada GenericList<String> y envíela de regreso.

EDITAR: Planeo usar esto para un idioma que estoy construyendo en la JVM. Como utiliza $ y _ como caracteres especiales, ¡la información de codificación podría funcionar!

EDIT 2: Supongo que lo más difícil de hacer serían los métodos genéricos? ¿Alguien tiene información sobre cómo se implementarían?

EDIT 3: Dado que las clases solo se pueden descargar cuando el cargador de clases desaparece, ¿podría caché y eliminar plantillas resueltas, como funciona en .Net, o lo haría como C++?

Answer 1

La JVM permite todos los caracteres en los nombres de clase/campo/método excepto / y ; que tienen un significado especial. Usar números y otro carácter es común para los ofuscadores para dificultar la compilación.

Sin embargo, puede utilizar $ y _ para generar clases/campos/métodos.

Nota: se supone que JDK 7 tiene mejor soporte genérico con el Type con una combinación de clase y genéricos.

EDIT:

Una manera de tener tipo genérico adecuado es utilizar siempre

Set<String> set = new LinkedHashSet<String>() { }; 

El uso de { } crea una clase anónima que tiene un tipo genérico de los padres con el que desea. Puede obtener esta información a través de la reflexión.

Puede almacenar en caché y eliminar clases teniendo su propio cargador de clases del que dispone como lo desee. El caso más extremo sería tener un ClassLoader por clase.

Una vez que tenga sus propios tipos genéricos, puede usarlos en sus métodos, como los tipos normales.

Answer 2

Como puede usar Unicode, básicamente puede usar todo menos las pocas letras mencionadas en la respuesta anterior (/ ,;). No hay como "genéricos verdaderos" por cierto ... Sé lo que quieres decir; D y eso se llama "Plantillas".

Answer 3

Sí, puede usar cualquier carácter Unicode como nombre de identificador en java. Consulte here para conocer los nombres de identificación permitidos en Java. Pero como se mencionó en la respuesta anterior, te refieres a "plantillas" para "verdaderos genéricos".