Đây có phải là sử dụng std :: mảng undefined hành vi?

Question

thể trùng lặp:
Aliasing `T*` with `char*` is allowed. Is it also allowed the other way around?

Tôi đang sử dụng một std::array của char s để giữ một giá trị kiểu nguyên thủy chưa biết, đó là dài không quá 10 byte, như vậy:

std::array<char, 10> val; 
*reinterpret_cast<double*>(val.data()) = 6.3; 
//blah blah blah... 
double stuff = *reinterpret_cast<double*>(val.data()); 

Tôi đã đọc rằng truyền qua lại qua char * không phải là u xác định, bởi vì trình biên dịch giả định char * có thể bí danh một giá trị của bất kỳ loại nào. Điều này vẫn làm việc khi giá trị được đặt trong (những gì tôi giả định là) một mảng của char s bên trong đối tượng? Lưu ý: Tôi biết rằng tôi có thể sử dụng một liên minh ở đây, nhưng điều đó sẽ dẫn đến một số lượng lớn mã soạn sẵn cho những gì tôi đang làm và tôi muốn tránh nó nếu cần thiết, do đó, câu hỏi này là cần thiết.

Answer 1

Có, std::array< char, 10 > không đáp ứng các yêu cầu căn chỉnh của double để reinterpret_cast kích động UB.

Hãy thử std::aligned_storage để thay thế.

Answer 2

Nó không có vấn đề gì mảng được chứa trong.

Tiêu chuẩn thậm chí không xem xét những gì bao quanh một cái gì đó (nó là cơ bản), nhưng không hỗ trợ chuyển đổi sang/từ char chuỗi.

Để thực hiện việc này trực tiếp qua reinterpret_cast và bài tập, bạn cần có bộ đệm được căn chỉnh chính xác.

Cách khác là sử dụng memcpy, không quan tâm đến căn chỉnh.

Trên một vấn đề có liên quan, thường không phải là một ý tưởng hay để chuyển xuống cấp độ nhị phân. Ví dụ, một sự thay đổi phiên bản đơn giản của trình biên dịch có thể làm cho một tệp dữ liệu nhị phân được tuần tự hóa không thể truy cập được. Một trình điều khiển chính để làm điều này anyway là cân nhắc hiệu suất thô.