أنواع البيانات المحددة من قِبل المستخدم

نوع يجعل الخطأ مستحيلاً

• نظام مستشفى تخزن زمرة دم المريض كـ STRING. شخص أدخل "0+" بدلاً من "O+": صفر بدلاً من حرف O.قبل field قبوله، لأن السلسلة النصية تقبل أي شيء.
• لم يكن في البرنامج ما يمكن أن يخبر أن "0+" لم تكن زمرة دم، لذا انتقل الخطأ دون أن يُكتشف إلى النقطة التي كانت فيها ذات أهمية.
• امنح الحقل نوعاً تكون قيمه بالضبط الزمر الدم الثمانية، وسيتم رفض التخصيص فور كتابته، بواسطة المترجم، قبل أن يعمل البرنامج أبداً.
• هذا ما توفره لك الأنواع المحددة من قبل المستخدم. هذه الدرس هو تلك التي يسماها المنهج، وكيفية الاختيار بينهما.

لماذا الأنواع المحددة من قبل المستخدم مطلوبة

• STRING مدمج lets you store nonsense in a field that should hold one of a few legal values; a user-defined type restricts it, so the compiler catches more mistakes.
• الكيانات الحقيقية عادة ما تكون مجموعة من القيم من أنواع مختلفة، والنوع المدمج يمكن أن يحمل واحد فقط.
• DECLARE MyTaxi : Vehicle توثيق ذاتي: فهو يوضح ماهية المتغير، بينما DECLARE MyTaxi : STRING يوضح فقط كيفية تخزينه.

أنواع غير مركبة: معددة

• النوع غير المركب يحمل قيمة واحدة؛ النوع المركب يجمع عدة قيم معاً.
• النوع المعداد ( enumerated type ) يحتوي على قيم هي قائمة ثابتة من الثوابت المسماة. الأسماء هي قيم النوع الجديد، مخزنة داخلياً كأرقام صحيحة صغيرة.

TYPE Vehicle = (M100, M230, T101, T102, T120, T150)
DECLARE MyTaxi : Vehicle
MyTaxi ← T102          // anything outside the list is rejected

• الاستخدامات: أيام الأسبوع، الألوان، رموز الحالة، مجموعات الدم: أي مجال تكون فيه القيم القانونية قائمة معروفة قصيرة.

ست قيم مسماة، ولا يمكن تعيين شيء آخر

الأنواع غير المركبة: المؤشر

• المؤشر يحمل عنوان الذاكرة لمتغير آخر، أو NULL بمعنى "لا هدف".
• لـ فك الإشارية لمؤشر، يُكتب p^، يعني الوصول إلى المتغير الذي يشير إليه.

TYPE PNode = ^TNode      // a pointer to a TNode
DECLARE p : PNode
p ← NEW TNode
p^.Value ← 42            // dereference, then reach the field

• المؤشرات هي ما يجعل الهياكل الديناميكية ممكنة: القائمة المترابطة هي عقد متصلة بمؤشرات، والشجرة هي عقد بها اثنان. كما أنها تمرر سجلاً كبيراً إلى إجراء دون نسخه.

المتغير يحمل مكان البيانات، وليس البيانات نفسها

الأنواع المركبة

• السجل يجمع حقولاً من أنواع مختلفة تحت اسم واحد، في كتلة TYPE … ENDTYPE. لقد التقيت به في الموضوع 10.
• المجموعة ( set ) هي مجموعة غير مرتبة من القيم الفريدة، مع عمليات الإضافة، الحذف، اختبار الانتماء، الاتحاد والتقاطع.

DECLARE Available : SET OF Colour
Available ← {Red, Blue}
IF Green IN Available THEN
    …
ENDIF

• الكلاس و实例اته، الأشياء ( objects )، تجمع حقول البيانات، الخصائص ( attributes ) مع العمليات عليها، الطرق ( methods ).

حقول من أنواع مختلفة، معرف واحد

الكلاس

CLASS Taxi
    PRIVATE Capacity : INTEGER
    PUBLIC FUNCTION GetCapacity() RETURNS INTEGER
        RETURN Capacity
    ENDFUNCTION
ENDCLASS

• الكلاس هو التعريف؛ الشيء هو مثيل له، سيارة أجرة فعلية واحدة بسعتها الخاصة.
• ما يميزه عن السجل هو الطرق: السجل هو بيانات وحدها، الكلاس هو بيانات و السلوك المرتبط بها.

مثال محلول: اختر النوع وبرر اختيارك

الاختيار بينهما

علامات ضائعة

لقد فهمت الأمر