Tapez la sécurité avec des génériques en Java

La raison pour laquelle vous n'obtenez pas une exception de casting de classe est que les génériques Java sont implémentées par l'effacement de type. Contrairement aux génériques de .NET qui nécessitaient des modifications importantes sur CLS, les génériques Java sont entièrement traitées dans la compilation. Au moment de l'exécution, la distribution à t code> est ignorée. Afin de vérifier le type à l'exécution, vous devez stocker class code> et utiliser ses méthodes pour vérifier le type d'un paramètre passé:

public class TestGeneric<T>
{
    private Class<T> genClass;
    public TestGeneric(Class<T> t) {genClass = t;}
    public void get (Object arg)
    {
        if (!genClass.isInstance(arg)) {
            throw new ClassCastException();
        }
        T temp = (T) arg;

        System.out.println(temp.toString());

        return;
    }
}

TestGeneric<Integer> tg = new TestGeneric<Integer>(Integer.class);
tg.get("Bang!!!"); // Now that's a real Bang!!!

Le type INTEGER a une méthode tostring . En fait, chaque objet a cette méthode afin que classcastexception ne se produise pas.

Vous n'avez appelé aucun chaîne -Pécurifique sur votre objet, aucune exception n'est donc produite.

La raison en est que, à l'exécution, vous ne verrez pas les paramètres de type BeaSe of Erasure de type .

Le point est qu'après la compilation de votre code, vous ne pourrez plus pouvoir voir les paramètres de type générique car ils sont effacés.

Il y a une autre question ici qui explique la classification de la classe exception: Explication < / p>

Dans ce code, vous pouvez voir que l'utilisateur a essayé de jeter explicitement à String pas sur un paramètre générique.

Vous pouvez donc appeler cela une lacune de Java par rapport à C #.