Các loại được sắp xếp và đối số truyền theo giá trị

Question

Truyền các loại hoặc cấu trúc được căn chỉnh với các loại căn chỉnh theo giá trị không hoạt động với một số triển khai. Điều này phá vỡ các container STL, bởi vì một số phương thức (chẳng hạn như thay đổi kích thước) lấy đối số của chúng theo giá trị.

Tôi chạy một số thử nghiệm với Visual Studio 2008 và không hoàn toàn chắc chắn khi nào và cách vượt qua bởi giá trị không thành công. Mối quan tâm chính của tôi là chức năng foo. Nó có vẻ hoạt động tốt, nhưng nó có thể là kết quả của nội tuyến hoặc một số trùng hợp ngẫu nhiên khác không? Nếu tôi đổi chữ ký thành void foo (const __m128 &)?

Thông tin đầu vào của bạn được đánh giá cao. Cảm ơn bạn.

struct A 
{ 
    __m128 x; 
    int n; 
}; 

void foo(__m128); 
void bar(A); 

void f1() 
{ 
    // won't compile 
    // std::vector<A> vec1(3); 

    // compiles, but fails at runtime when elements are accessed 
    std::vector<__m128> vec2(3); 

    // this seems to work. WHY??? 
    std::vector<__m128, some_16_byte_aligned_allocator<__m128> > vec3(3); 

    __m128 x; 
    A a; 

    // passed by value, is it OK? 
    foo(x); 

    // won't compile 
    //bar(a); 
} 

EDIT. STL thất bại ngay cả với phân bổ liên kết, bởi vì vượt qua bởi vấn đề giá trị vẫn còn.

Tìm thấy liên kết này pass __m128 by value

Answer 1

Tôi nghĩ rằng cách duy nhất an toàn để thực hiện điều này nói chung là phải vượt qua bằng cách tham khảo. Một số nền tảng (ví dụ: Xbox 360) hỗ trợ truyền các đối số vectơ trong sổ đăng ký, nhưng tôi không nghĩ rằng điều này có thể xảy ra trên x86.

Đối với trường hợp std::vector, bạn sẽ cần đảm bảo rằng bộ nhớ được phân bổ được căn chỉnh đến 16 byte; nếu không bạn sẽ gặp sự cố khi bạn cố gắng thực hiện hầu hết các hoạt động trên các vectơ không thẳng hàng.

Nếu bạn đang hỗ trợ nhiều nền tảng, một kế hoạch an toàn là sử dụng typedef ví dụ:

typedef const MyVector& MyVectorParameter; 

Sau đó, bạn có thể thay đổi typedef trên nền tảng hỗ trợ véc-tơ theo từng giá trị.

Answer 2

thường được sử dụng thay đổi kích thước() chức năng là gây ra tất cả các liên kết và có lẽ bạn có thể cố gắng chuyên mẫu vector cho __m128?