C++ 'da bir yapının iyi hizalanmış olduğunu veya boşluklar içerdiğini kontrol edin

Question

Bir yapının, iyi hizalanmışsa veya boşluk içeriyorsa, derleme zamanında kontrol edilmesi konusunda bir sorunum var. Kontrol, ek test kodunda yapılabilir, ancak gerçek uygulama kodunda "paketlenmiş" veri istemiyorum.

Bu

korumaları içerir tipik bir örnek, başlık dosyası (MyData.h) aşağıdaki gibidir: Bir olası çözüm bulundu

#ifndef MYDATA_H_ 
#define MYDATA_H_ 

struct uneven 
{ 
    int bla_u32; 
    short bla_u16; 
    char bla_u8; 
    /* <-- this gap will be filled in the unpacked version */ 
}; 

#endif // MYDATA_H 

- aşağıya bakınız.

Sorular:

• yapı uneven zaman derlemek de Açılmamış meslektaşı ile karşılaştırıldığında bayt farklı sayıda olup olmadığını kontrol etme zarif bir yolu var mı?

• C'de (ad alanı kullanmadan) çalışacak bir çözüm bile olabilir mi?

Answer 1

:

Bu çözüm aynı zamanda C çalışır

Başlık Dosya:

typedef struct 
{ 
    int bla_u32; 
    short bla_u16; 
    char bla_u8; 

    /* <-- this gap will be filled in the unpacked version */ 
} uneven; 

Kaynak Dosya:

#include "MyData.h" 

#define StaticAssert(cond, msg) switch(0){case 0:case cond:;} 

void checkSizes() 
{ 
    uneven unpacked_uneven; 
#pragma pack(push, 1) 
    #undef MYDATA_H_ // force re-including "MyData.h" 
    #include "MyData.h" 
#pragma pack(pop) 
    uneven packed_uneven; 
    StaticAssert(sizeof(unpacked_uneven) == sizeof(packed_uneven), "uneven contains gaps"); 
} 

StaticAssert'unuzu bir derneğin işlevine yerleştirebilirsiniz e zaman hatası.

Answer 2

I (nedense kötü ve çok zor) bir tek C++ ile çalışan sorununa çözüm değil, C. bulundu

#define StaticAssert(cond, msg) switch(0){case 0:case cond:;} 

#pragma pack(push, 1) 
namespace packed 
{ 
#include "MyData.h" 
} 
#pragma pack(pop) 

#undef MYDATA_H_ // force re-including "MyData.h" 
#include "MyData.h" 

void checkSizes() 
{ 
    StaticAssert(sizeof(packed::uneven) == sizeof(uneven), "uneven contains gaps"); 
} 

Bu StaticAssert makro verilen düzensiz yapı verileri için başarısız - olarak Paketlenmiş sürümün boyutu 7 bayttır ve paketlenmemiş (normal) sürüm 8 bayttır. Yapının sonunda ek bir char eklenirse, sınama başarılı olur - her iki sürüm de 8 bayta sahiptir.

Answer 3

Hem C hem de C++ için çalışan bir derleyici özel çözümü: GCC, hizalama nedeniyle boyutu değiştiren her tanım için bir uyarı üreten -Wpadded uyarı seçeneğine sahiptir.

Onun yerine bir ad ( on ideone) bir fonksiyonu kullanabilirsiniz