स्ट्रक्चर सदस्य संरेखण - क्या कोई पैडिंग

Question

32-बिट, 16-बिट और 8-बिट सदस्य मानों से बना एक संरचना की कल्पना करना संभव है। जहां सदस्य मूल्यों का क्रम ऐसा होता है कि प्रत्येक सदस्य इसकी प्राकृतिक सीमा पर है।

struct Foo 
{ 
    uint32_t a; 
    uint16_t b; 
    uint8_t c; 
    uint8_t d; 
    uint32_t e; 
}; 

सदस्य संरेखण और गद्दी नियम विज़ुअल सी के लिए documented हैं ++। वीसी ++ पर आकार (फू) उपरोक्त संरचना अनुमानित रूप से "12" है।

अब, मुझे पूरा यकीन है कि नियम यह है कि पैडिंग और संरेखण के बारे में कोई धारणा नहीं की जानी चाहिए, लेकिन व्यावहारिक रूप से, अन्य ऑपरेटिंग सिस्टम पर अन्य कंपाइलर्स समान गारंटी देते हैं?

यदि नहीं, तो क्या जीसीसी पर "#pragma पैक (1)" के बराबर है?

Answer 1

उन प्रणालियों पर जो वास्तव में उन प्रकार की पेशकश करते हैं, यह काम करने की अत्यधिक संभावना है। कहें, 36-बिट सिस्टम उन प्रकारों को पहले स्थान पर उपलब्ध नहीं होगा।

जीसीसी एक विशेषता

__attribute__ ((packed))

समान प्रभाव के साथ प्रदान करता है।

Answer 2

सामान्य रूप से आप सही हैं कि यह एक सुरक्षित धारणा नहीं है, हालांकि आपको अक्सर कई प्रणालियों पर पैकिंग मिलती है। जब आप gcc का उपयोग करते हैं तो आप packed विशेषता का उपयोग अपने प्रकारों पर कर सकते हैं।

उदा।

struct __attribute__((packed)) Blah { /* ... */ }; 

Answer 3

अभ्यास में, किसी भी प्रणाली जहां uintXX_t प्रकार मौजूद हैं पर, आप कुछ ही गद्दी के साथ वांछित संरेखण मिल जाएगा। गारंटी देने की कोशिश करने के लिए बदसूरत जीसीसी-इस्म्स में फेंक न दें।

संपादित करें: कारण है कि यह उपयोग करने के लिए attribute packed या aligned, यह पूरे struct जब एक बड़ा struct के एक सदस्य के रूप में या ढेर पर इस्तेमाल किया गलत संरेखित कारण हो सकता है हानिकारक हो सकता है पर विस्तार से बता दें। यह निश्चित रूप से प्रदर्शन को नुकसान पहुंचाएगा और गैर-x86 मशीनों पर, बहुत बड़ा कोड उत्पन्न करेगा। इसका मतलब यह भी है कि यह अमान्य संरचना के किसी भी सदस्य को पॉइंटर लेने के लिए है, क्योंकि कोड जो पॉइंटर के माध्यम से मूल्य तक पहुंचता है, उसे पता नहीं होगा कि इसे गलत तरीके से गलत किया जा सकता है और इस प्रकार गलती हो सकती है।

क्यों यह अनावश्यक है, ध्यान रखें कि attribute जीसीसी और जीसीसी-वर्कलाइक कंपेलरों के लिए विशिष्ट है। सी मानक संरेखण को अनिर्धारित या अनिर्दिष्ट नहीं छोड़ता है। यह कार्यान्वयन-परिभाषित जिसका अर्थ है कि कार्यान्वयन को को आगे निर्दिष्ट करने और दस्तावेज करने के लिए आवश्यक है। जीसीसी का व्यवहार हमेशा होता है, और प्रत्येक संरचना सदस्य को अपने प्राकृतिक संरेखण की अगली सीमा पर संरेखित करने के लिए किया जाता है (एक ही संरेखण जो संरचना के बाहर उपयोग किया जाता है, जो आवश्यक रूप से एक संख्या है जो समान रूप से प्रकार के आकार को विभाजित करता है) । चूंकि attribute एक जीसीसी सुविधा है, यदि आप इसका उपयोग करते हैं तो आप पहले से ही एक जीसीसी-जैसे कंपाइलर मान रहे हैं, लेकिन फिर धारणा के अनुसार आपके पास पहले से ही संरेखण है।