الدوال البانية والوراثة

جزء من قسم Object Oriented Programming في رحلة Dart على Coddy — الدرس 41 من 110.

عندما يقوم صنف فرعي (child class) بتوسيع صنف أب (parent)، يجب استدعاء منشئ (constructor) الصنف الأب لتهيئة الحقول الموروثة بشكل صحيح. توفر لغة Dart طرقاً مرنة للتعامل مع هذا من خلال قائمة التهيئة (initializer list) باستخدام super.

إذا كان للفئة الأب (parent) منشئ (constructor) بمعاملات، فيجب على الفئة الابن (child) استدعاؤه بشكل صريح:

class Person {
  String name;
  int age;
  
  Person(this.name, this.age);
}

class Student extends Person {
  String school;
  
  Student(String name, int age, this.school) : super(name, age);
}

قدم Dart 2.17 المعاملات الفائقة (super parameters)، وهي صيغة برمجية أكثر بساطة تقوم بتمرير المعاملات مباشرة إلى منشئ الفئة الأب (parent constructor):

class Student extends Person {
  String school;
  
  // super.name و super.age يوجهان مباشرة إلى منشئ Person
  Student(super.name, super.age, this.school);
}

عند العمل مع المنشئات المسماة (named constructors)، يمكنك تحديد أي منشئ أب (parent constructor) سيتم استدعاؤه:

class Employee extends Person {
  String department;
  
  Employee(super.name, super.age, this.department);
  
  Employee.intern(String name, this.department) : super(name, 18);
}

القاعدة الأساسية بسيطة: يجب تهيئة الفئة الأب (parent) بالكامل قبل أن تضيف الفئة الابن (child) خصائصها الخاصة. سواء كنت تستخدم استدعاء super() التقليدي أو معاملات super الأحدث، تضمن Dart بناء سلسلة الوراثة بشكل صحيح من الأب إلى الابن.

التحدي

سهل

لنقم ببناء نظام مخزون منتجات يوضح كيفية عمل المنشئات (constructors) مع الوراثة. ستقوم بإنشاء تسلسل هرمي حيث تمتد أنواع المنتجات المختلفة من فئة منتج أساسية، ويتطلب كل منها تهيئة صحيحة من خلال منشئات الفئة الأب.

ستقوم بتنظيم الكود الخاص بك في ملفين:

product.dart: قم بتعريف تسلسل المنتجات الهرمي هنا:
- فئة Product مع خصائص String name و double price، ومنشئ يأخذ كلتا القيمتين، وتابع info() يطبع [name]: $[price]
- فئة Book ترث من Product وتضيف خاصية String author. استخدم معاملات super لتمرير name و price إلى منشئ الفئة الأب
- فئة Electronics ترث من Product وتضيف خاصية int warranty (بالأشهر). استخدم استدعاء super() التقليدي في قائمة التهيئة (initializer list) لتمرير القيم إلى الفئة الأب
main.dart: استورد ملف المنتج الخاص بك واستعرض كلا أسلوبي وراثة المنشئ:
- أنشئ Book باسم 'Dart Essentials'، وسعر 29.99، ومؤلف 'Jane Smith'
- استدعِ تابع info() الخاص به، ثم اطبع Author: [author]
- اطبع سطراً فارغاً
- أنشئ Electronics باسم 'Wireless Mouse'، وسعر 45.50، وضمان 24
- استدعِ تابع info() الخاص به، ثم اطبع Warranty: [warranty] months

ترث كلتا الفئتين الأبناء تابع info() من Product دون الحاجة إلى إعادة تعريفه (override). الفرق الرئيسي يكمن في كيفية استدعاء منشئ الفئة الأب - حيث يستخدم Book صيغة معاملات super الأكثر بساطة، بينما يستخدم Electronics النهج التقليدي مع super() في قائمة التهيئة.

المخرجات المتوقعة:

Dart Essentials: $29.99
Author: Jane Smith

Wireless Mouse: $45.5
Warranty: 24 months

ورقة مرجعية

عندما يرث صنف فرعي (child class) من صنف أب (parent)، يجب استدعاء منشئ (constructor) الصنف الأب لتهيئة الحقول الموروثة بشكل صحيح.

النهج التقليدي - استدعاء منشئ الصنف الأب صراحةً في قائمة التهيئة:

class Person {
  String name;
  int age;
  
  Person(this.name, this.age);
}

class Student extends Person {
  String school;
  
  Student(String name, int age, this.school) : super(name, age);
}

معاملات super (Dart 2.17+) - تمرير المعاملات مباشرة إلى منشئ الصنف الأب:

class Student extends Person {
  String school;
  
  Student(super.name, super.age, this.school);
}

المنشئات المسماة (Named constructors) - تحديد أي منشئ للصنف الأب سيتم استدعاؤه:

class Employee extends Person {
  String department;
  
  Employee(super.name, super.age, this.department);
  
  Employee.intern(String name, this.department) : super(name, 18);
}

جرّب بنفسك

import 'product.dart';

void main() {
  // TODO: قم بإنشاء Book بـ:
  // - name: 'Dart Essentials'
  // - price: 29.99
  // - author: 'Jane Smith'

  // TODO: استدعِ التابع info() الخاص بالكتاب

  // TODO: اطبع "Author: [author]"

  // TODO: اطبع سطراً فارغاً

  // TODO: قم بإنشاء Electronics بـ:
  // - name: 'Wireless Mouse'
  // - price: 45.50
  // - warranty: 24

  // TODO: استدعِ التابع info() الخاص بالإلكترونيات

  // TODO: اطبع "Warranty: [warranty] months"
}