C++メモリアライメント質問

Question

コードの行はここ:)千個の言葉の価値がある、私の問題は、次のとおりです。

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

は、私はすべてのアサーションがSSEをサポートしているプラ​​ットフォーム上で合格することを期待することはできますか？ありがとうございました。

EDIT。部分的な答え。私はVS2008、GCCとICCでいくつかのテストをしました。 MSコンパイラは、ptrとptr2の両方を整列させましたが、GCCとICCは、アライメントに失敗しました。ptr2。

Answer 1

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

は、言い換えれば、あなたはそれが動作する必要があることを、あなたの仮定を正当化するために、標準を使用することができますが、実際には、それはあなたの顔に爆破します。

doublesはnewで割り当てられていませんでした。

std::aligned_storage<Length, Alignment> 

常に正しく限り整合されることが保証される。

Answer 2

C++ 0Xは（[meta.type.synop]20.7.6.6他の変換に）新しい構築物を提供します私は思い出します。

2番目のパラメータはオプションで、可能な限り厳密な要件が可能です（正確には安全ではありませんが、試してみるとよりコンパクトにパックできます）。

bugsのほかに、コンパイラは要件を満たすためにバインドされています。 C++ 0xがない場合、これはtr1名前空間またはBoostにあります。

あなたはあなたの特定のコンパイラは、この要求:)

注意を尊重しないことをテストすることができる唯一の一つだね：

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