Genéricos - Não é apenas em tempo de compilação?

Olá victor_vs,

Perceba que o primeiro código, quando você compilou, gerou um warning (unchecked), indicando que PODE ocorrer uma exceção em tempo de execução (ClassCastException). O problema é que os objetos map e sap foram declarados para receber um inteiro e uma String no método put (e vários outros métodos de Map que utiliza os tipos genéricos). Do ponto de vista da compilação, a chamada do método populate(Map) gera warning porque, para esse método, ele recebe um Map de qualquer coisa (porque não foi especificado o tipo). E qualquer coisa nem sempre é <Integer, String>. E a implementação dele realmente quebra isso, colocando dois inteiros.

Quando você tira a declaração de tipo genérico dos mapas, o mapa pode caber qualquer combinação de objetos, de qualquer classe, inclusive <Integer, String>, por isso não dá erro (se eu não me engano, também vai dar um warning, de uso de “raw type”).

Portanto, o primeiro código (com tipos genéricos) não é exatamente a mesma coisa que o segundo, ele é um mapa (tal qual o mapa sem tipo genérico), porém são colocadas verificações de tipos no local onde esses tipos genéricos são usados (que é a razão do ClassCastException). O código compilado não pode ser igual, senão não teria sentido usar Generics.

Espero gerar alguma discussão aqui, porque Generics é sempre tema de debate, e tem coisas internas que acontecem quando se usa isso que eu também não sei como funciona

Até mais,

Obrigado pela resposta CD1! :wink:

É verdade... os dois códigos compilados tem diferença sim. Pensando melhor aqui lembrei de umas das funcionalidades de Genéricos: não precisar fazer cast ao utilizar método que retorne um tipo genérico.

Provavelmente o método get para "Map < Integer , String >" deve ficar algo parecido com:

public String get(Object key) {
        Object obj = null;
        
        // (...) pega o objeto de acordo com a chave
        
        return (String) obj;
    }

Naquela questão, na hora que vai retornar a JVM lança um ClassCastException porque tenta converter um objeto Integer em String.

No caso de não usar genéricos funciona porque ficaria:

public Object get(Object key) {
        Object obj = null;
        
        // (...) pega o objeto de acordo com a chave
        
        return obj;
    }

exato, os generics são traduzidos para typecasts depois de compilado …
o que é apenas em tempo de compilação, é a informação de que tipo foi utilizado para parametrizar