Métodos genéricos

Parte da seção Programação Orientada a Objetos do Journey de Dart da Coddy. Lição 66 de 110.

Assim como as classes podem ser genéricas, métodos individuais também podem ter seus próprios parâmetros de tipo. Isso é útil quando você precisa de um método flexível sem tornar a classe inteira genérica.

Um método genérico declara seu parâmetro de tipo antes do tipo de retorno:

T findFirst<T>(List<T> items) {
  return items.first;
}

void main() {
  var firstNumber = findFirst<int>([1, 2, 3]);
  var firstWord = findFirst<String>(['hello', 'world']);
  
  print(firstNumber);  // 1
  print(firstWord);    // olá
}

O Dart muitas vezes consegue inferir o tipo a partir dos argumentos, então nem sempre você precisa especificá-lo explicitamente:

var result = findFirst([10, 20, 30]);  // Dart infere int

Métodos genéricos são particularmente úteis dentro de classes quando apenas determinadas operações precisam de flexibilidade de tipos:

class Printer {
  void printItem<T>(T item) {
    print('Printing: $item');
  }
  
  List<T> duplicate<T>(T item, int count) {
    return List.filled(count, item);
  }
}

void main() {
  var printer = Printer();
  printer.printItem<String>('Hello');
  printer.printItem(42);  // Tipo inferido como int
  
  var copies = printer.duplicate('Hi', 3);
  print(copies);  // [Hi, Hi, Hi]
}

Métodos genéricos oferecem controle refinado sobre a segurança de tipos no nível do método, mantendo suas classes mais simples e ainda permitindo aproveitar a verificação de tipos em tempo de compilação.

Desafio

Fácil

Vamos criar um utilitário de transformação de dados que demonstra o poder dos métodos genéricos. Você vai criar uma classe Transformer com métodos que podem trabalhar com qualquer tipo, oferecendo flexibilidade sem tornar a classe inteira genérica.

Você vai organizar seu código em dois arquivos:

transformer.dart: Crie uma classe Transformer com estes métodos genéricos:
- T getFirst<T>(List<T> items) - retorna o primeiro elemento de uma lista
- T getLast<T>(List<T> items) - retorna o último elemento de uma lista
- List<T> repeat<T>(T item, int times) - cria uma lista que contém o item repetido pelo número de vezes especificado
- void printPair<A, B>(A first, B second) - imprime dois valores no formato Pair: [first] and [second]
main.dart: Importe seu arquivo do transformer e demonstre cada método genérico com tipos diferentes:
- Crie uma instância de Transformer
- Use getFirst em [10, 20, 30] e imprima o resultado
- Use getFirst em ['apple', 'banana', 'cherry'] e imprima o resultado
- Use getLast em [1.5, 2.5, 3.5] e imprima o resultado
- Use repeat para criar uma lista de 'Hi' repetido 4 vezes e imprima o resultado
- Use repeat para criar uma lista de 7 repetido 3 vezes e imprima o resultado
- Use printPair com 'Name' e 42
- Use printPair com 100 e true

Observe como cada método declara seu próprio parâmetro ou seus próprios parâmetros de tipo, permitindo que o mesmo objeto Transformer trabalhe com números inteiros, strings, números de ponto flutuante e valores booleanos — tudo isso com segurança total de tipos. O método printPair demonstra o uso de dois parâmetros de tipo em um único método.

Saída esperada:

10
apple
3.5
[Hi, Hi, Hi, Hi]
[7, 7, 7]
Pair: Name and 42
Pair: 100 and true

Experimente você mesmo

import 'transformer.dart';

void main() {
  // Crie uma instância de Transformer
  var transformer = Transformer();

  // TODO: Use getFirst em [10, 20, 30] e imprima o resultado

  // TODO: Use getFirst em ['apple', 'banana', 'cherry'] e imprima o resultado

  // TODO: Use getLast em [1.5, 2.5, 3.5] e imprima o resultado

  // TODO: Use repeat para criar uma lista com 'Hi' repetido 4 vezes e imprima-a

  // TODO: Use repeat para criar uma lista com 7 repetido 3 vezes e imprima-a

  // TODO: Use printPair com 'Name' e 42

  // TODO: Use printPair com 100 e true
}