Métodos genéricos

• Métodos de uma classe genérica usam automaticamente o parâmetro de tipo da classe.

• É possível declarar métodos genéricos que têm seus próprios parâmetros de tipo, independentemente da classe.

• Métodos genéricos podem ser criados dentro de classes não genéricas.

• O exemplo apresentado inclui uma classe não genérica chamada GenericMethodDemo com um método genérico estático, arraysEqual().

• O método arraysEqual() compara dois arrays para verificar se possuem os mesmos elementos, na mesma ordem, desde que sejam de tipos compatíveis e comparáveis.

// Demonstra um método genérico simples.
class GenericMethodDemo {
// Determina se o conteúdo de dois arrays é igual.
static <T extends Comparable<T>, V extends T> boolean
arraysEqual(T[] x, V[] y) { // Método genérico
// Se o tamanho dos arrays for diferente, os arrays também serão.
if(x.length != y.length) return false;
for(int i=0; i < x.length; i++)
if(!x[i].equals(y[i])) return false; // os arrays são diferentes
return true; // os conteúdos dos arrays são equivalentes
}
public static void main(String args[]) {
Integer nums[] = { 1, 2, 3, 4, 5 };
Integer nums2[] = { 1, 2, 3, 4, 5 };
Integer nums3[] = { 1, 2, 7, 4, 5 };
Integer nums4[] = { 1, 2, 7, 4, 5, 6 };
if(arraysEqual(nums, nums))
System.out.println("nums equals nums");
//Os argumentos de tipo de T e V são determinados implicitamente quando o método é chamado.
if(arraysEqual(nums, nums2))
System.out.println("nums equals nums2");
if(arraysEqual(nums, nums3))
System.out.println("nums equals nums3");
if(arraysEqual(nums, nums4))
System.out.println("nums equals nums4");
// Cria um array de Doubles
Double dvals[] = { 1.1, 2.2, 3.3, 4.4, 5.5 };
// Essa parte não será compilada, porque nums
// e dvals não são do mesmo tipo.
// if(arraysEqual(nums, dvals))
// System.out.println("nums equals dvals");
}
}

• Observe como ele é declarado pela linha a seguir:
  static <T extends Comparable<T>, V extends T> boolean arraysEqual(T[] x, V[] y) {

• Parâmetros de tipo no método genérico: São declarados antes do tipo de retorno do método.

• Uso de limites superiores: O parâmetro de tipo T estende Comparable, garantindo que apenas objetos comparáveis sejam usados.

• Relacionamento entre tipos: O parâmetro V tem como limite superior T, forçando compatibilidade entre os argumentos do método.

• Métodos genéricos podem ser estáticos ou não: Não há restrições quanto à declaração de métodos genéricos como estáticos.

• Inferência de tipos: Os tipos dos argumentos de um método genérico são detectados automaticamente durante a chamada, ajustando os parâmetros de tipo conforme necessário.

• Exemplo de erro de tipo: A comparação entre arrays de tipos incompatíveis (como Integer e Double) resulta em erro de compilação devido à restrição de compatibilidade imposta pelo limite superior.

• Sintaxe de método genérico:
  <lista-parâm-tipo> tipo-ret nome-mét(lista-parâm) { // ...