Typage d'une instruction

Bonjour,

Je me posais une question existencielle qui était de savoir s'il était possible de déterminer le type d'une "instruction" en Java.

Autrement dit, existe-t-il un bout de code qui, donnée une instruction, permet de dire "elle est de type boolean, void, String, ..." ?

Typiquement ce que ferait instanceof ou getClass() si tout était Objet en Java, mais ce n'est pas le cas...

En prenant un exemple, faire ça :

Code:

---

1 2 3

getType(System.out.println()); // resultat : void getType(i++); //resultat : int getType("a".toString()); //resultat : String

---

J'avoue que l'intérêt serait relativement limité, c'est juste pour ma connaissance personnelle que je demande.

Ce que tu veux faire est le travail d'un compilateur :D donc si un programme peut le faire alors tu peux le refaire.. mais c'est compliqué de trouver le type de paramètre que ta méthode getType doit prendre surtout le cas du void!

Pour l'instant a ma connaissance c'est impossible dans le language Java mais c'est possible en JavaFX puisque toute instruction (y compris des tests ou des boucles) peut etre evaluee en un type. Et donc que qq part la JVM le supporte en bas niveau.

Sinon, mis a part pour les closures (dont l'implementation FX est probablement privee), les classes publiques necessaires au typage des instructions existent deja dans l'API (les types de base + les classes comme Method et Constructor et java.lang.Void).