Os tipos brutos foram introduzidos para permitir a compatibilidade entre códigos legados (pré-genéricos) e os genéricos introduzidos no JDK 5. Eles possibilitam a transição gradual, mas comprometem a segurança de tipos.
Definições e Características
Tipo bruto:
- Usar uma classe genérica sem especificar argumentos de tipo.
Exemplo:
Gen raw = new Gen(new Double(98.6)); // Tipo bruto criado
Compatibilidade:
Variáveis de tipo bruto podem receber qualquer objeto genérico e vice-versa.
Não há verificação de tipos em tempo de compilação, resultando em possíveis erros em tempo de execução.
Exemplo de Código
// Classe Gen com suporte a genéricos
class Gen {
T ob; // Declara um objeto do tipo T
Gen(T o) { // Construtor
ob = o;
}
T getob() { // Retorna o objeto ob
return ob;
}
}
// Demonstração de tipos brutos
class RawDemo {
public static void main(String[] args) {
// Usando genéricos corretamente
Gen iOb = new Gen<>(88);
Gen strOb = new Gen<>("Generics Test");
// Criando um tipo bruto
Gen raw = new Gen(new Double(98.6));
double d = (Double) raw.getob(); // Funciona, mas perde segurança de tipos
System.out.println("value: " + d);
// Erros de tempo de execução com tipos brutos
// int i = (Integer) raw.getob(); // Erro de tempo de execução!
// Atribuição de tipo bruto para genérico
strOb = raw; // Correto, mas perigoso
// String str = strOb.getob(); // Erro de tempo de execução!
// Atribuição de genérico para tipo bruto
raw = iOb; // Correto, mas perigoso
// d = (Double) raw.getob(); // Erro de tempo de execução!
}
}
Riscos do Uso de Tipos Brutos
Falta de Segurança de Tipos:
- Atribuir tipos brutos a genéricos ou vice-versa pode causar erros em tempo de execução.
Exemplos:
strOb = raw; // Perigoso: raw contém Double, mas strOb espera String
raw = iOb; // Perigoso: raw agora contém Integer, mas coerção pode falhar
Exceções em Tempo de Execução:
Não há como detectar inconsistências em tempo de compilação.
Exemplo:
int i = (Integer) raw.getob(); // Erro porque raw contém Double
Avisos de Não Verificação:
- O compilador javac gera avisos quando detecta tipos brutos usados de forma insegura.
Exemplos que geram avisos
Gen raw = new Gen(new Double(98.6)); // Tipo bruto
strOb = raw; // Atribuição insegura
Recomendações
Evitar o uso de tipos brutos:
- Sempre use argumentos de tipo para aproveitar a segurança oferecida pelos genéricos.
Exemplo:
Gen iOb = new Gen<>(88); // Correto e seguro
Tratar código legado com cuidado:
- Adicione verificações e testes rigorosos ao integrar código pré-genéricos com genéricos.
