संरचनाओं और संघों के बीच एक आकार का मिलान क्यों है?

Question

मैंने चरम "sample_union" के लिए 4100 बाइट आवंटित एक संघ घोषित किया है और 4104 बाइट आवंटित संरचना के हिस्से के रूप में एक ही संघ घोषणा की है।

union test_size_union { 
    struct { 
     uint8_t type; 
     union { 
      uint8_t count; 
      uint8_t list; 
     }; 
     uint16_t rc; 
     uint16_t arr_value[2048]; 
    }; 
    uint64_t first_dword; 
}__attribute__((packed)) sample_union ; 

उपर्युक्त संघ के अंदर संरचना को 4104 बाइट आवंटित करना है।

struct test_size_struct { 
    union { 
     struct { 
      uint8_t type; 
      union { 
       uint8_t count; 
       uint8_t list; 
      }; 
      uint16_t rc; 
      uint16_t arr_value[2048]; 
     }; 
     uint64_t first_dword; 
    }; 
}__attribute__((packed)) sample_struct; 

खैर, यह एक परियोजना आवश्यकता नहीं है, लेकिन मुझे पता है क्यों संकलक इस दो घोषणा के लिए अलग तरह से बर्ताव कर रही है चाहते हैं।

जीसीसी संस्करण: (जीसीसी) 4.9.2, x86_64

मंच: लिनक्स, x86_64

Answer 1

जब आप struct के अंदर संघ रखा, तो आप packed रूप संघ निशान नहीं था। अनपॅक किए गए यूनियन में थोड़ा पैडिंग (चार बाइट्स) है ताकि इसका आकार uint64_t के आकार का एक बहु हो।

पैक किए गए संघ में यह पैडिंग नहीं है, इसलिए यह छोटा है।

एक साइड अवलोकन के रूप में, संघ के अंदर अज्ञात संरचना packed चिह्नित नहीं है। ऐसा नहीं होता है कि इस मामले में कोई फर्क नहीं पड़ता, क्योंकि सब कुछ अच्छी तरह से गठबंधन है - लेकिन यह कुछ पता होना चाहिए।