DEV Community

Tipos genéricos diferem de acordo com seus argumentos de tipo

Uma característica importante dos tipos genéricos em Java é que as diferentes versões de um mesmo tipo genérico, definidas por seus argumentos de tipo, são incompatíveis entre si.

Por exemplo, considere o seguinte código:

iOb = strOb; // Errado!

Enter fullscreen mode Exit fullscreen mode

Mesmo que tanto iOb quanto strOb sejam instâncias do tipo genérico Gen, eles possuem argumentos de tipo diferentes e, portanto, não são compatíveis.

Essa restrição faz parte do mecanismo de segurança de tipos dos genéricos, que ajuda a evitar erros em tempo de compilação ao garantir que apenas argumentos de tipo corretos sejam atribuídos.

Top comments (0)