💠Привет! Это Анна, Flutter Team Lead Friflex

Слышали про covariant? Как показывает практика, многие о нем слышали, но не до конца понимают, для чего он нужен. Разберемся!

Covariant — это ключевое слово, которое используется для параметров методов. Оно разрешает переопределяющему методу в наследнике сузить тип параметра, указать более конкретный.

Разберем на примере. У нас есть класс Vehicle. Создадим классы более конкретного транспорта — Car и Bike.

class Vehicle {}
class Car extends Vehicle {} 
class Bike extends Vehicle {}

Теперь создадим класс Human, который будет реализовывать метод drive c определенным переданным объектом Vehicle.

class Human {
  void drive(Vehicle vehicle) {}
}

В таком случае, когда мы захотим создать наследника Human — Driver, мы не сможем уточнить класс транспорта в параметрах drive. Нам придется сделать так:

class Driver extends Human {
  @override
  void drive(Vehicle vehicle) {} // правильный вариант

  @override
  void drive(Car vehicle) // вызовет ошибку переопределения 
}

И здесь нам на помощь придет covariant. Чтобы он работал, метод drive класса Human нужно видоизменить.

class Human {
  void drive(covariant Vehicle vehicle) {}
}

Теперь в реализации Driver легко можно уточнить, какой конкретный тип требуется передать при вызове метода.

class Driver extends Human {
  @override
  void drive(Car vehicle) {}
}

В таком случае метод drive у Driver принимает только Car, и попытка передать Bike приведет к ошибке типов.

void main() {
  final car = Car();
  final bike = Bike();
  final driver = Driver();
  
  driver.drive(bike); // ошибка argument_type_not_assignable
  driver.drive(car); // верное использование
}

❤️ — если было полезно