Mục tiêu phân bổ của tiêu chuẩn :: aligned_storage (stack hoặc đống?)

Question

Tôi đã cố gắng để có được đầu của tôi xung quanh việc bổ sung TR1 được gọi là aligned_storage. Trong khi đọc các tài liệu sau đây N2165, N3190 và N2140 Tôi không thể cho cuộc sống của tôi nhìn thấy một tuyên bố mà nó mô tả rõ ràng ngăn xếp hoặc đống bản chất của bộ nhớ đang được sử dụng.

Tôi đã xem xét triển khai được cung cấp bởi msvc2010, tăng và gcc tất cả đều cung cấp giải pháp dựa trên ngăn xếp tập trung xung quanh việc sử dụng liên minh.

Nói tóm lại:

• là loại bộ nhớ (chồng hoặc đống) được sử dụng bởi aligned_storage thực hiện xác định hoặc là nó luôn luôn có nghĩa là để được ngăn xếp dựa?

• và, Tài liệu cụ thể xác định/xác định điều đó là gì?

Lưu ý: Trong MSVC10, sau đây là định nghĩa của các loại aligned_storage, trong trường hợp này nếu aligned_storage là một biến tự động dữ liệu (_Val, _Pad) được tạo ra trên stack:

template<class _Ty, size_t _Len> 
union _Align_type 
{ 
    // union with size _Len bytes and alignment of _Ty 
    _Ty _Val; 
    char _Pad[_Len]; 
}; 

Lưu ý: Đây là NOT một câu hỏi nhỏ. Hãy thử và hiểu câu hỏi trước khi đăng câu trả lời.

Answer 1

std::aligned_storage<Len, Align> chỉ khai báo thành viên typedef (type).

Thành viên typedef type phải một loại POD phù hợp để sử dụng như lưu trữ chưa được khởi tạo cho bất kỳ đối tượng có kích thước tối đa là Len và có sự liên kết là một ước của Align

(Đây là từ mới nhất C++ 0x draft, N3225, 20.7.6.6 Bảng 53, nhưng ngôn ngữ trong đặc tả TR1, N1836, có hiệu quả giống nhau ngoại trừ trong C++ 0x tham số mẫu Align là đối số mặc định của nó, giá trị căn chỉnh tối đa.)

std::aligned_storage không phân bổ bất kỳ bộ nhớ nào. Bạn có thể tạo đối tượng thuộc loại std::aligned_storage<Len, Align>::type và diễn giải lại đối tượng đó dưới dạng đối tượng thuộc bất kỳ loại nào đáp ứng các yêu cầu đã nêu ở trên.

Answer 2

Bạn thường không cần phải căn chỉnh nội dung trên đống vì bất kỳ phân bổ nào (new/malloc) trả về bộ nhớ tại địa chỉ được liên kết với bất kỳ loại nào.