ومع ذلك ، يتأمل العديد من المطورين لماذا يبدو أن تعدد الأشكال يتطلب استخدام المؤشرات أو المراجع. في حين أن مجرد تخصيص الذاكرة لا يكفي للتعدد الأشكال. خذ المثال:

مشتق D ؛ BASE* B = & D ؛

هنا ، D يقيم على المكدس ، ولكن تعدد الأشكال يعمل بسلاسة على ب. هذا يسلط الضوء على أن موقع الذاكرة غير ذي صلة بالتشكيلات المتعددة. عندما تقوم بإنشاء مؤشر فئة أساسي أو مرجع إلى مثيل فئة مشتقة ، فإنك تحتفظ بفعالية الوصول إلى أساليب الفئة المشتقة. ضع في اعتبارك: لا يوفر المؤشرات عدم الاتجاه مرونة إضافية. إنها تسمح لك بالإشارة إلى كائنات من أي نوع ، بما في ذلك كل من الفئات الأساسية والمشتقة. في المقابل ، يمكن أن ترتبط المراجع فقط بكائنات من نوع معين ، مما يحد من قدراتها المتعددة الأشكال. يضمن استخدام المؤشرات والمراجع أن يحتفظ برنامج التحويل البرمجي بمعلومات النوع اللازمة ، مما يسمح بدقة ديناميكية لمكالمات الطريقة والسلوك متعدد الأشكال في الكود الخاص بك.