اللغز وراء الحجم غير الصفري لفئات C الفارغة

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

كما اتضح، فإن معيار C يحظر بشكل صريح على الكائنات والفئات المقابلة لها أن يكون حجمها صفرًا. ينبع هذا الشرط من المتطلبات المتأصلة للتمييز بين الكائنات المميزة التي من المحتمل أن تشترك في نفس مساحة الذاكرة.

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

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