Выравнивание типов и передача аргументов по значению

Question

Передача выровненных типов или структур с выровненными типами по значению не работает с некоторыми реализациями. Это разбивает контейнеры STL, потому что некоторые из методов (например, изменение размера) принимают свои аргументы по значению.

Я запускаю некоторые тесты с Visual Studio 2008 и не совсем уверен, когда и как проходит пропуск по значению. Моей главной задачей является функция foo. Кажется, он работает нормально, но может ли это быть результатом инкрустации или какого-то другого совпадения? Что, если я изменю свою подпись на void foo (const __m128 &)?

Ваш ввод очень приветствуется. Спасибо.

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 не работает даже с выровненным распределителем, поскольку проблема с передачей по значению остается.

Найден эта ссылка pass __m128 by value

Answer 1

Я думаю, единственный безопасный способ сделать это вообще пройти по ссылке. Некоторые платформы (например, Xbox 360) поддерживают передачу векторных аргументов в регистрах, но я не думаю, что это возможно на x86.

Для корпуса std::vector вам необходимо убедиться, что выделенная память выровнена до 16 байт; в противном случае вы столкнетесь с сбоями при попытке выполнить большинство операций с невыровненными векторами.

Если вы поддерживаете несколько платформ, безопасный план заключается в использовании typedef, например.

typedef const MyVector& MyVectorParameter; 

Затем вы можете изменить typedef на платформах, поддерживающих векторный проход по значению.

Answer 2

Часто используемая функция resize() вызывает все выравнивание и, возможно, вы можете попробовать специализировать векторный шаблон для __m128?