C++ chỉnh bộ nhớ câu hỏi

Question

Một dòng mã có giá trị một ngàn chữ :) Dưới đây là vấn đề của tôi:

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

Tôi có thể hy vọng rằng tất cả khẳng định vượt qua trên nền tảng với sự hỗ trợ SSE? Cảm ơn bạn.

EDIT. Câu trả lời một phần. Tôi đã làm một số thử nghiệm với VS2008, GCC và ICC. Trình biên dịch MS đã căn chỉnh cả hai ptr và ptr2, nhưng GCC và ICC không thể căn chỉnh ptr2.

Answer 1

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

Nói cách khác, bạn có thể sử dụng tiêu chuẩn để biện minh cho giả thuyết của mình rằng nó sẽ làm việc, nhưng trong thực tế, nó có thể thổi lên trong khuôn mặt của bạn.

Visual C++ 6 không căn chỉnh doubles được phân bổ qua new đúng cách, vì vậy bạn đã đi.

Answer 2

C++ 0x cung cấp một cấu trúc mới (trong [meta.type.synop]20.7.6.6 biến đổi khác):

std::aligned_storage<Length, Alignment> 

thức bảo đảm đến được luôn đặt đúng cách càng xa càng Tôi gọi lại.

Tham số thứ hai là tùy chọn và mặc định là yêu cầu nghiêm ngặt nhất có thể (để luôn chính xác, nhưng bạn có thể đóng gói gọn nhẹ hơn nếu bạn sẵn sàng thử).

Ngoài bugs, trình biên dịch được ràng buộc để tôn trọng yêu cầu. Nếu bạn không có C++ 0x, điều này có thể được tìm thấy trong không gian tên tr1 hoặc trên Boost.

Bạn là người duy nhất có thể kiểm tra rằng trình biên dịch cụ thể của bạn không tôn trọng yêu cầu này :)

Lưu ý: trên gcc-4.3.2, nó được thực hiện như sau:

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