Palavra-chave covariante

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

Quando você sobrescreve um método em uma subclasse, o Dart normalmente exige que os tipos dos parâmetros correspondam exatamente. Mas às vezes você quer que um método de subclasse aceite um tipo mais específico do que o pai. A palavra-chave covariant permite isso.

Considere um cenário onde uma classe Animal possui um método que aceita outro Animal:

class Animal {
  void chase(Animal other) {
    print('Chasing an animal');
  }
}

class Dog extends Animal {
  @override
  void chase(covariant Dog other) {
    print('Dog chasing another dog');
  }
}

Sem o covariant, o Dart reclamaria que Dog não é o mesmo tipo que Animal. Ao adicionar covariant antes do parâmetro, você diz ao Dart: "Eu sei que isso é mais específico, e eu garantirei que apenas o tipo correto seja passado."

Isso é útil quando as subclasses logicamente devem funcionar apenas com seu próprio tipo:

void main() {
  Dog dog1 = Dog();
  Dog dog2 = Dog();
  
  dog1.chase(dog2);  // Funciona: Cachorro perseguindo outro cachorro
}

Tenha cuidado, no entanto — usar covariant desloca a segurança de tipos para o tempo de execução. Se você chamar o método por meio de uma referência de pai com o tipo errado, você receberá um erro de tempo de execução em vez de um erro de tempo de compilação. Use-o quando estiver confiante sobre os tipos que estão sendo passados.

Desafio

Fácil

Vamos criar um sistema de compatibilidade entre animais de estimação que usa a palavra-chave covariant para garantir que os animais só possam brincar com animais da própria espécie. Você criará uma hierarquia de animais de estimação em que cada tipo tem um método playWith que aceita apenas o mesmo tipo de animal.

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

pets.dart: Defina sua hierarquia de animais de estimação aqui:
- Uma classe Pet com uma propriedade String name e um construtor. Inclua um método playWith(Pet other) que imprime [name] plays with [other.name]
- Uma classe Cat que estende Pet e substitui playWith usando a palavra-chave covariant para aceitar apenas um Cat. Ela deve imprimir [name] and [other.name] chase yarn together
- Uma classe Dog que estende Pet e substitui playWith usando a palavra-chave covariant para aceitar apenas um Dog. Ela deve imprimir [name] and [other.name] fetch the ball together
- Uma classe Rabbit que estende Pet e substitui playWith usando a palavra-chave covariant para aceitar apenas um Rabbit. Ela deve imprimir [name] and [other.name] hop around together
main.dart: Importe seu arquivo de animais de estimação e demonstre como cada tipo brinca exclusivamente com animais da própria espécie:
- Crie dois objetos Cat chamados 'Whiskers' e 'Mittens', depois faça Whiskers brincar com Mittens
- Crie dois objetos Dog chamados 'Buddy' e 'Max', depois faça Buddy brincar com Max
- Crie dois objetos Rabbit chamados 'Flopsy' e 'Cotton', depois faça Flopsy brincar com Cotton

A palavra-chave covariant permite que cada subclasse restrinja o tipo do parâmetro de Pet para seu tipo específico, garantindo interações seguras quanto aos tipos entre animais de estimação da mesma espécie.

Saída esperada:

Whiskers and Mittens chase yarn together
Buddy and Max fetch the ball together
Flopsy and Cotton hop around together

Experimente você mesmo

import 'pets.dart';

void main() {
  // TODO: Criar dois objetos Cat chamados 'Whiskers' e 'Mittens'
  // Depois fazer Whiskers brincar com Mittens
  
  
  // TODO: Criar dois objetos Dog chamados 'Buddy' e 'Max'
  // Depois fazer Buddy brincar com Max
  
  
  // TODO: Criar dois objetos Rabbit chamados 'Flopsy' e 'Cotton'
  // Depois fazer Flopsy brincar com Cotton
  
}