C++ allineamento memoria questione

Question

una riga di codice vale più di mille parole :) Ecco il mio problema:

/* Platform specific 16-byte alignment macro switch. 
    On Visual C++ it would substitute __declspec(align(16)). 
    On GCC it substitutes __attribute__((aligned (16))). 
*/ 
#define ALIGN_16 ... 

struct ALIGN_16 A {...}; 

A* ptr = new A; 
A* ptr2 = new A[20]; 

assert(size_t(ptr) % 16 == 0); 

for (int i=0; i<20; ++i) 
    assert(size_t(ptr2+i) % 16 == 0); 

assert(sizeof(A) % 16 == 0); 

Posso aspettare che tutte le asserzioni passano su piattaforme con supporto SSE? Grazie.

MODIFICA. Risposta parziale Ho fatto qualche test con VS2008, GCC e ICC. Il compilatore MS ha allineato sia ptr e ptr2, ma GCC e ICC non sono riusciti ad allineare ptr2.

Answer 1

Is there any guarantee of alignment of address return by C++'s new operation?

In altre parole, è possibile utilizzare lo standard per giustificare il vostro presupposto che dovrebbe funzionare, ma in pratica, può esplodere in faccia.

Visual C++ 6 non ha allineato doubles allocati tramite new correttamente, quindi ci si va.

Answer 2

C++ 0x fornisce un nuovo costrutto (in [meta.type.synop]20.7.6.6 altre trasformazioni):

std::aligned_storage<Length, Alignment> 

che è garantita sempre correttamente allineata il più Richiamo.

Il secondo parametro è facoltativo e il valore predefinito è il requisito più severo possibile (in modo che sia sempre sicuro non specificarlo, ma è possibile comprimere i tipi in modo più compatto se si è disposti a provare).

Oltre al bugs, il compilatore è tenuto a rispettare il requisito. Se non si dispone di C++ 0x, questo può essere trovato nel namespace tr1 o su Boost.

Sei l'unico che può provare che il compilatore particolare fa onore a questa richiesta :)

Nota: su gcc-4.3.2, esso è implementato come:

template<std::size_t _Len, std::size_t _Align = /**/> 
struct aligned_storage 
{ 
    union type 
    { 
    unsigned char __data[_Len]; 
    struct __attribute__((__aligned__((_Align)))) { } __align; 
    }; 
};