Allineamento memoria predefinita MSVC di 8

Question

In base a MSDN, il comando /Zp assume come valore predefinito 8, il che significa che vengono utilizzati i limiti di allineamento a 64 bit. Ho sempre pensato che per le applicazioni a 32 bit, il compilatore MSVC utilizzerà i limiti a 32 bit. Per esempio:

struct Test 
{ 
    char foo; 
    int bar; 
}; 

il compilatore pad in questo modo:

struct Test 
{ 
    char foo; 
    char padding[3]; 
    int bar; 
}; 

Quindi, dal momento che /Zp8 viene utilizzato per default, significa che il mio imbottitura diventa 7 + 4 byte utilizzando lo stesso esempio di cui sopra:

struct Test 
{ 
    char foo; 
    char padding1[7]; 
    int bar; 
    char padding2[4]; 
}; // Structure has 16 bytes, ending on an 8-byte boundary 

Questo è un po 'ridicolo, non è vero? Sto fraintendendo? Perché è utilizzata una così grande imbottitura, sembra uno spreco di spazio. La maggior parte dei tipi su un sistema a 32 bit non utilizzerà nemmeno i 64 bit, quindi la maggior parte delle variabili avrebbe il padding (probabilmente oltre l'80%).

Answer 1

Non è così che funziona. I membri sono allineati a un multiplo della loro dimensione. Char a 1 byte, short a 2, int a 4, double a 8. La struttura viene riempita alla fine per garantire che i membri siano ancora allineati correttamente quando la struct viene utilizzata in una matrice.

impacchettatrice di 8 significa che interrompe che tenta di allineare i membri della dimensione superiore 8. Quale è un limite pratico, l'allocatore di memoria non ritorno indirizzi allineati meglio 8. E double è brutalmente costoso se non è allineato correttamente e finisce a cavallo di una linea di cache. In caso contrario, mal di testa se si scrive codice SIMD, richiede un allineamento di 16 byte.

Answer 2

Ciò non significa che ogni membro è allineato su un limite di 8 byte. Leggi un po 'più attentamente:

the smaller member type or n-byte boundaries 

La chiave qui è la prima parte- "tipo di membro più piccolo". Ciò significa che i membri con meno allineamento potrebbero essere allineati di meno, in modo efficace.

struct x { 
    char c; 
    int y; 
}; 
std::cout << sizeof(x); 
std::cout << "offsetof(x, c) = " << offsetof(x, c) << '\n'; 
std::cout << "offsetof(x, c) = " << offsetof(x, y) << '\n'; 

Questo produce 8, 0, 4- senso che, in realtà, il int è imbottita solo per un allineamento 4byte.