C++ wyrównanie pamięć pytanie

Question

Linia kod jest wart tysiąca słów :) Oto mój problem:

/* 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); 

mogę się spodziewać, że wszystkie twierdzenia przejść na platformach z obsługą SSE? Dziękuję Ci.

EDYCJA. Częściowa odpowiedź. Zrobiłem test z VS2008, GCC i ICC. Kompilator MS wyrównał zarówno ptr i ptr2, ale GCC i ICC nie udało się wyrównać ptr2.

Answer 1

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

Innymi słowy, można użyć standardowego, aby uzasadnić swoje założenie, że to powinno działać, ale w praktyce może wysadzić w twarz.

Program Visual C++ 6 nie ustawił odpowiednio doubles za pośrednictwem new, więc możesz już iść.

Answer 2

C++ 0x dostarcza nową konstrukcję (w [meta.type.synop]20.7.6.6 innych przekształceń):

std::aligned_storage<Length, Alignment> 

którym zagwarantowane jest zawsze prawidłowo wyrównane ile Oddzwonię.

Drugi parametr jest opcjonalny, a domyślny jest najostrzejszy możliwy warunek (tak, że zawsze można go bezpiecznie nie sprecyzować, ale możesz spakować swoje typy bardziej zwięźle, jeśli chcesz spróbować).

Oprócz bugs, kompilator jest zobowiązany spełnić to wymaganie. Jeśli nie masz C++ 0x, można go znaleźć w przestrzeni nazw tr1 lub Boost.

Jesteś jedyną osobą, która może sprawdzić, czy szczególności kompilator ma uhonorować tę prośbę :)

Uwaga: na gcc-4.3.2, jest zaimplementowany jako:

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