Làm cách nào để triển khai thực hiện lưu trữ ngăn xếp phù hợp trong C++ 03?

Question

Trong mã C++ 03, làm cách nào để tôi portably thực hiện một bộ đệm unsigned char[sizeof(T)] có cùng kích thước và căn chỉnh giống như của một loại nhất định T?

Ví dụ:

template<class T> 
void test() 
{ 
    unsigned char buffer[sizeof(T)]; // <----- how do I ensure this is aligned? 
    if (some_condition()) 
    { 
     T *const obj = new(buffer) T(); 
     // ... 
     obj->~T(); 
    } 
    else { /* use 'buffer' for something else */ } 
} 

Đây có phải là thậm chí có thể, hoặc bạn đang buộc phải sử dụng phần mở rộng trình biên dịch để thực hiện điều này?

Answer 1

Trong cột Guru Of The Week #28, Herb Sutter sử dụng một liên minh nhưng nó ít mạnh mẽ hơn nỗ lực của Boost.

Boost's aligned_storage giải quyết các chi tiết đẫm máu cho bạn. Nếu bạn nhìn vào triển khai của nó, bạn sẽ thấy nó sử dụng __alignof của MSCV hoặc __alignof__ của GCC cũng như một mẫu khác: type_with_alignment.

Từ codebase của riêng tôi, Tôi đã từng sử dụng (có nguồn gốc từ liên kết GOTW trên):

#if defined(_MSC_FULL_VER) && (_MSC_FULL_VER >= 150020706) 
# pragma warning(push) 
# pragma warning(disable: 4371) 
#endif // #if (defined(_MSC_FULL_VER) && (_MSC_FULL_VER >= 150020706) 
     union AlignedStorage 
     { 
     char  storage[sizeof(T)]; 
     int16  dummy0; 
     int32  dummy1; 
     int64  dummy2; 
     float  dummy3; 
     double  dummy4; 
     long double dummy5; 
     void  (*dummy6)(); 
     struct  dummy7; 
     int   dummy7::*dummy8; 
#if defined(_MSC_FULL_VER) && (_MSC_FULL_VER >= 140050215) 
# pragma warning(push) 
# pragma warning(disable: 4121) 
#endif // #if (defined(_MSC_FULL_VER) && (_MSC_FULL_VER >= 140050215) 
     int   (dummy7::*dummy9)(int); 
#if defined(_MSC_FULL_VER) && (_MSC_FULL_VER >= 140050215) 
# pragma warning(pop) 
#endif // #if (defined(_MSC_FULL_VER) && (_MSC_FULL_VER >= 140050215) 

     }; // AlignedStorage 
#if defined(_MSC_FULL_VER) && (_MSC_FULL_VER >= 150020706) 
# pragma warning(pop) 
#endif // #if (defined(_MSC_FULL_VER) && (_MSC_FULL_VER >= 150020706) 

Những ngày này tôi sẽ chỉ dựa vào Boost vì nó có khả năng bao trùm nhiều hơn nữa các trường hợp góc và độ đặc hiệu trình biên dịch

Answer 2

Lý do mở rộng trình biên dịch như __alignof và __attribute__((aligned(n)) tồn tại là việc xác định và thực thi căn chỉnh không thể được triển khai một cách hợp lý trong C và C++. I E. tiêu chuẩn không yêu cầu phải làm điều đó.