المعاملات is و as

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

بينما يخبرك runtimeType بالنوع الدقيق، توفر Dart معاملين أكثر عملية للتحقق من النوع والتحويل (casting): is و as.

يتحقق عامل الـ is مما إذا كان الكائن من نوع معين ويعيد قيمة منطقية (boolean). وعلى عكس runtimeType، فإنه يعيد أيضاً true للأنواع الأب (parent types):

class Animal {}
class Dog extends Animal {}

void main() {
  Animal pet = Dog();
  
  print(pet is Dog);     // true
  print(pet is Animal);  // true (الكلب هو حيوان)
  print(pet is String);  // false
}

عندما تستخدم is داخل جملة if، يقوم Dart بترقية النوع تلقائيًا، مما يتيح لك الوصول إلى أعضاء الفئة الفرعية دون الحاجة إلى تحويل صريح (casting):

void handleAnimal(Animal animal) {
  if (animal is Dog) {
    // Dart يعرف أن animal هو Dog هنا
    animal.bark();  // يمكن استدعاء الأساليب الخاصة بـ Dog
  }
}

يقوم عامل as بتحويل كائن بشكل صريح إلى نوع محدد. استخدمه عندما تكون متأكداً من النوع:

Animal pet = Dog();
Dog myDog = pet as Dog;  // تحويل إلى Dog
myDog.bark();

كن حذرًا مع as - إذا فشلت عملية التحويل، فسيتم إلقاء استثناء. لهذا السبب، يعد دمج is مع ترقية النوع (type promotion) غالبًا أكثر أمانًا من استخدام as مباشرةً. يمكنك أيضًا استخدام is! للتحقق مما إذا كان الكائن ليس من نوع معين.

التحدي

سهل

لنقم ببناء نظام لمعالجة الأشكال يستخدم المعاملين is و as للتعرف على أنواع الأشكال المختلفة والتعامل معها. ستقوم بإنشاء تسلسل هرمي للأشكال وكتابة دوال تتحقق من الأنواع وتصل بأمان إلى الخصائص الخاصة بكل نوع.

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

shapes.dart: قم بتعريف تسلسل الأشكال الهرمي هنا:
- فئة Shape مع خاصية String name ومنشئ (constructor). قم بتضمين دالة describe() تطبع [name] is a shape
- فئة Circle ترث من Shape مع خاصية إضافية double radius. أضف دالة getCircleInfo() تطبع Circle with radius: [radius]
- فئة Rectangle ترث من Shape مع خصائص إضافية double width و double height. أضف دالة getRectangleInfo() تطبع Rectangle: [width] x [height]
main.dart: قم باستيراد ملف الأشكال الخاص بك وأنشئ دالة processShape(Shape shape) تقوم بما يلي:
- أولاً، تستدعي describe() على الشكل
- تستخدم is للتحقق مما إذا كان الشكل من نوع Circle - إذا كان الأمر كذلك، استخدم ترقية النوع (type promotion) لاستدعاء getCircleInfo()
- تستخدم is للتحقق مما إذا كان الشكل من نوع Rectangle - إذا كان الأمر كذلك، استخدم معامل as لتحويله (cast) واستدعاء getRectangleInfo()
- تستخدم is! للتحقق مما إذا كان الشكل ليس Circle وليس Rectangle - إذا كان الأمر كذلك، اطبع Unknown shape type
ثم في دالة main() الخاصة بك:
- أنشئ Circle باسم 'Round' ونصف قطر 5.0 ومرره إلى processShape()
- اطبع سطراً فارغاً
- أنشئ Rectangle باسم 'Box' وعرض 4.0 وارتفاع 3.0 ومرره إلى processShape()
- اطبع سطراً فارغاً
- أنشئ كائناً من الفئة الأساسية Shape باسم 'Mystery' ومرره إلى processShape()

يوضح هذا التحدي كلا النهجين: استخدام is مع ترقية النوع التلقائية لـ Circle، واستخدام as للتحويل الصريح مع Rectangle. سترى أيضاً كيف يساعد is! في تحديد الأشكال التي لا تطابق أي نوع فرعي محدد.

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

Round is a shape
Circle with radius: 5.0

Box is a shape
Rectangle: 4.0 x 3.0

Mystery is a shape
Unknown shape type

ورقة مرجعية

يتحقق عامل التشغيل is مما إذا كان الكائن من نوع معين ويعيد قيمة منطقية (boolean). كما أنه يعيد true للأنواع الأب (parent types):

class Animal {}
class Dog extends Animal {}

void main() {
  Animal pet = Dog();
  
  print(pet is Dog);     // true
  print(pet is Animal);  // true (Dog IS an Animal)
  print(pet is String);  // false
}

عندما تستخدم is داخل عبارة if، تقوم Dart تلقائياً بترقية النوع (type promotion)، مما يسمح لك بالوصول إلى أعضاء الفئة الفرعية (subclass members) دون الحاجة إلى تحويل صريح (explicit casting):

void handleAnimal(Animal animal) {
  if (animal is Dog) {
    // Dart تعرف أن animal هو Dog هنا
    animal.bark();  // يمكن استدعاء الأساليب الخاصة بـ Dog
  }
}

يقوم عامل التشغيل as بتحويل كائن بشكل صريح إلى نوع معين:

Animal pet = Dog();
Dog myDog = pet as Dog;  // تحويل إلى Dog
myDog.bark();

كن حذراً عند استخدام as - فإذا فشل التحويل، فإنه يثير استثناءً (exception). غالباً ما يكون الجمع بين is وترقية النوع (type promotion) أكثر أماناً من استخدام as مباشرة.

استخدم is! للتحقق مما إذا كان الكائن ليس من نوع معين:

if (animal is! Dog) {
  print("Not a dog");
}

جرّب بنفسك

import 'shapes.dart';

// TODO: قم بإنشاء دالة processShape(Shape shape) تقوم بما يلي:
// 1. تستدعي أولاً describe() على shape
// 2. تستخدم 'is' للتحقق مما إذا كان shape عبارة عن Circle - إذا كان الأمر كذلك، استخدم type promotion لاستدعاء getCircleInfo()
// 3. تستخدم 'is' للتحقق مما إذا كان shape عبارة عن Rectangle - إذا كان الأمر كذلك، استخدم معامل 'as' للتحويل (cast) واستدعاء getRectangleInfo()
// 4. تستخدم 'is!' للتحقق مما إذا كان shape ليس Circle وليس Rectangle - إذا كان الأمر كذلك، اطبع "Unknown shape type"

void main() {
  // TODO: قم بإنشاء Circle باسم 'Round' بنصف قطر 5.0 ومررها إلى processShape()
  
  // TODO: اطبع سطراً فارغاً
  
  // TODO: قم بإنشاء Rectangle باسم 'Box' بعرض 4.0 وارتفاع 3.0 ومررها إلى processShape()
  
  // TODO: اطبع سطراً فارغاً
  
  // TODO: قم بإنشاء Shape أساسي باسم 'Mystery' ومرره إلى processShape()
}