Gắn mảng tĩnh nhờ sủ dụng std :: aligned_storage

Question

Tôi đang cố gắng để thực hiện sự liên kết 16-byte của mảng tĩnh đơn giản sử dụng std :: aligned_storage mẫu:

#include <type_traits> 
int main() 
{ 
    const size_t SIZE = 8; 
    using float_16 = std::aligned_storage<sizeof(float) * SIZE, 16>::type; 
    float_16 mas; 
    new(&mas) float[SIZE];//Placement new. Is this necessary? 

    mas[0]=1.f;//Compile error while attempting to set elements of aligned array 
} 

tôi nhận được biên dịch báo lỗi sau:

no match for «operator[]» in «mas[0]»

Sau đó, tôi đã cố gắng để sử dụng rõ ràng đúc con trỏ:

float* mas_ = reinterpret_cast<float*>(mas); 

nhưng điều này cũng mang lại biên dịch báo lỗi:

invalid cast from type «float_16 {aka std::aligned_storage<32u, 16u>::type}» to type «float*»

Ai có thể gợi ý cho tôi cách sắp xếp mảng tĩnh nhờ sủ dụng std :: aligned_storage chính xác?

Answer 1

Bạn có thể sử dụng:

float* floats = new (&mas) float[SIZE]; 

và sau đó bạn có thể sử dụng:

floats[0] = 1.f; 

không reinterpret_cast ở tất cả :)

Answer 2

mas không phải là con trỏ. reinterpret_cast phải liên quan đến con trỏ, tham chiếu hoặc các kiểu tích phân và chỉ trong một số kết hợp: con trỏ đến và từ các loại tích phân, con trỏ đến con trỏ, tham chiếu đến tham chiếu hoặc loại tích phân cho chính nó. Trong trường hợp này, bạn đang cố gắng để trường hợp một số std::aligned_storage<32u, 16u>::type cho một con trỏ. Tốt nhất bạn có thể nhận được từ điều này sẽ là một tham chiếu đến con trỏ đúc, nhưng đó là không được phép & dagger ;.

Hãy thử truyền địa chỉ của nó sang loại con trỏ khác thay thế: reinterpret_cast<float*>(&mas);.

---

& dagger; cho vui: tồi tệ nhất bạn có thể nhận được sẽ là nếu std::aligned_storage<32u, 16u>::type là một loại con trỏ. Đó là nghi ngờ, kể từ khi con trỏ 32-byte không phổ biến, nhưng nó có thể xảy ra cho std::aligned_storage<8u, 8u>::type, ví dụ, trong một thư viện chuẩn rất khó chịu. Hãy gọi nó là Hell ++. Vì vậy, trong Hell ++ nó sẽ biên dịch tốt, và bạn sẽ kết thúc việc đúc kiểu con trỏ đến một kiểu con trỏ khác, và sau đó làm tất cả các lỗi trên nó như dereferencing nó. Điều này sẽ là thảm họa, bởi vì nếu std::aligned_storage<32u, 16u>::type là một loại con trỏ, các đối tượng sẽ không có địa chỉ cho bộ nhớ, nhưng chúng sẽ là bộ nhớ thay thế.

Answer 3

Chỉ cần

alignas(16) float mas[SIZE]; 

std::aligned_storage là một C++ 03 di tích đến từ boost.