Cách hành vi không xác định không xác định một đối tượng từ một mảng byte trong C++ 11 (hoặc sau này) là gì?

Question

Để khắc phục sự cố liên kết, tôi cần ghi nhớ tạm thời. Loại tạm thời nên là loại nào? gcc than phiền rằng reinterpret_cast sau sẽ phá vỡ các quy tắc bí danh nghiêm ngặt:

template <typename T> 
T deserialize(char *ptr) { 
    static_assert(std::is_trivially_copyable<T>::value, "must be trivially copyable"); 
    alignas(T) char raw[sizeof(T)]; 
    memcpy(raw, ptr, sizeof(T)); 
    return *reinterpret_cast<T *>(raw); 
} 

(ví dụ: khi T là "dài").

Tôi không muốn xác định T vì tôi không muốn tạo T trước khi ghi đè lên.

Trong liên minh, không viết một thành viên, sau đó đọc một số khác là hành vi không xác định?

T result; 
char * p = reinterpret_cast<char *>(&result); // or std::addressof(result) ! 

std::memcpy(p, ptr, sizeof(T));     // or std::copy!! 

return result; 

Không răng cưa vi phạm:

template<typename T> 
T deserialize(char *ptr) { 
    union { 
     char arr[sizeof(T)]; 
     T obj; 
    } u; 

    memcpy(u.arr, ptr, sizeof(T)); // Write to u.arr 
    return u.obj; // Read from u.obj, even though arr is the active member. 
} 

Answer 1

gì bạn muốn điều này là. Nếu bạn muốn có số T, bạn cần có số T. Nếu loại của bạn là có thể sao chép một cách trivially, sau đó hy vọng nó cũng là trivially constructible và không có chi phí. Trong mọi trường hợp, bạn phải sao chép toán hạng trả về vào giá trị trả về hàm, và bản sao đó được ưu tiên, vì vậy thực sự không có thêm chi phí nào ở đây.

Answer 2

Bạn muốn sử dụng mẫu std::aligned_storage lớp học. Nó được thiết kế để xử lý vấn đề chính xác này. Đây là một giải pháp mẫu với một số SFINAE dựa trên kiểm tra của bạn trong câu hỏi của bạn.

template<class T> 
typename std::enable_if<std::is_trivially_copyable<T>::value, T>::type deserialize(const char *data) { 
    typename std::aligned_storage<sizeof(T), alignof(T)>::type destination; 
    std::memcpy(&destination, data, sizeof(T)); 
    return reinterpret_cast<T &>(destination); 
}