الوراثة والتعدّد الشكلي

الصنف الفرعي يرث صنفًا آخر بـ extends: يأخذ حقوله ودواله، ثم يضيف إليها أو يغيّر بعضها. وclass Skeleton extends Enemy تعني أن الهيكل العظمي عدوّ، فكل كود يقبل Enemy يقبله. ومُنشئ الابن يبدأ باستدعاء مُنشئ الأب: super("Skeleton", 16);.

والصنف المجرّد (abstract) لا تُنشأ منه كائنات مباشرة، ويعلن دوال بلا جسم مثل public abstract int attack();، فيُلزم كل صنف فرعي بتعريفها وإلا رفض المترجم الكود. وقريب منه الواجهة (interface): قائمة دوال يَعِد الصنف بتعريفها، بلا حقول للكائن، ويطبّقها بـ implements. والصنف لا يرث إلا أبًا واحدًا، لكنه يطبّق ما شاء من الواجهات.

وحين يعرّف الابن دالة بتوقيع دالة في الأب فإنه يتجاوزها، ويُعلن ذلك بـ @Override. ويستطيع أن يبني على نسخة الأب بدل نسخها: super.takeHit(damage / 2). ومن هنا التعدّد الشكلي: في for (Enemy e : wave) يستدعي e.attack() نسخة الصنف الحقيقي لكل كائن، لا نسخة Enemy.