מילת המפתח קווריאנטי

חלק מהיחידה תכנות מונחה עצמים במסלול ה-Dart של Coddy. שיעור 61 מתוך 110.

כשאתם דורסים מתודה במחלקת משנה, Dart בדרך כלל דורשת שסוגי הפרמטרים יהיו זהים בדיוק. אבל לפעמים רוצים שמתודה במחלקת משנה תקבל סוג ספציפי יותר מזה של מחלקת האב. מילת המפתח covariant מאפשרת זאת.

נניח שיש תרחיש שבו למחלקה Animal יש מתודה שמקבלת 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');
  }
}

בלי covariant, Dart הייתה מתלוננת על כך ש־Dog אינו מאותו סוג כמו Animal. כשמוסיפים covariant לפני הפרמטר, אומרים ל־Dart: "אני יודע שזה ספציפי יותר, ואוודא שיעבירו רק את הסוג המתאים."

זה שימושי כאשר מבחינה לוגית תתי־מחלקות אמורות לעבוד רק עם בני מינן:

void main() {
  Dog dog1 = Dog();
  Dog dog2 = Dog();
  
  dog1.chase(dog2);  // עובד: Dog רודף אחרי כלב אחר
}

עם זאת, יש להיזהר — שימוש ב־covariant מעביר את בדיקת בטיחות הטיפוסים לזמן הריצה. אם קוראים למתודה דרך הפניה למחלקת־אב עם הטיפוס הלא נכון, תתקבל שגיאה בזמן הריצה במקום שגיאת קומפילציה. כדאי להשתמש בזה כשיש לך ביטחון לגבי הטיפוסים שמועברים.

אתגר

קל

בואו נבנה מערכת תאימות בין חיות מחמד שמשתמשת במילת המפתח covariant כדי לוודא שחיות מחמד יכולות לשחק רק עם בנות מינן. תיצרו היררכיה של חיות מחמד, שבה לכל סוג יש מתודת playWith שמקבלת רק חיית מחמד מאותו סוג.

תארגנו את הקוד שלכם בשני קבצים:

pets.dart: הגדירו כאן את היררכיית חיות המחמד:
- מחלקת Pet עם מאפיין String name ובנאי. כללו מתודה playWith(Pet other) שמדפיסה [name] plays with [other.name]
- מחלקת Cat שיורשת מ-Pet ודורסת את playWith באמצעות מילת המפתח covariant, כדי לקבל רק Cat. עליה להדפיס [name] and [other.name] chase yarn together
- מחלקת Dog שיורשת מ-Pet ודורסת את playWith באמצעות מילת המפתח covariant, כדי לקבל רק Dog. עליה להדפיס [name] and [other.name] fetch the ball together
- מחלקת Rabbit שיורשת מ-Pet ודורסת את playWith באמצעות מילת המפתח covariant, כדי לקבל רק Rabbit. עליה להדפיס [name] and [other.name] hop around together
main.dart: ייבאו את קובץ חיות המחמד והדגימו כיצד כל סוג של חיית מחמד משחק רק עם בנות מינו:
- צרו שני אובייקטים מסוג Cat בשם 'Whiskers' ו-'Mittens', ואז גרמו ל-Whiskers לשחק עם Mittens
- צרו שני אובייקטים מסוג Dog בשם 'Buddy' ו-'Max', ואז גרמו ל-Buddy לשחק עם Max
- צרו שני אובייקטים מסוג Rabbit בשם 'Flopsy' ו-'Cotton', ואז גרמו ל-Flopsy לשחק עם Cotton

מילת המפתח covariant מאפשרת לכל תת-מחלקה לצמצם את סוג הפרמטר מ-Pet לסוג הספציפי שלה, וכך להבטיח אינטראקציות בטוחות מבחינת טיפוסים בין חיות מחמד מאותו סוג.

פלט צפוי:

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

נסו בעצמכם

import 'pets.dart';

void main() {
  // TODO: צרו שני אובייקטים מסוג Cat בשם 'Whiskers' ו-'Mittens'
  // לאחר מכן, גרמו ל-Whiskers לשחק עם Mittens
  
  
  // TODO: צרו שני אובייקטים מסוג Dog בשם 'Buddy' ו-'Max'
  // לאחר מכן, גרמו ל-Buddy לשחק עם Max
  
  
  // TODO: צרו שני אובייקטים מסוג Rabbit בשם 'Flopsy' ו-'Cotton'
  // לאחר מכן, גרמו ל-Flopsy לשחק עם Cotton
  
}