Как указать компилятору, что данные выровнены? ⇐ C++

[Anonymous]

Учитывая код, который обертываетshared_ptr и std::span для дополнительной безопасности типов:

Код: Выделить всё

template 
class Vector {
public:
auto begin() { std::begin(data_); }
auto end() { std::end(data_); }
float* data() { return data_.data(); }
float& operator[](size_t index) { return data_[index]; }
size_t size() const { return L; }

private:
// Making sure it does not go away while vector exists
std::shared_ptr store_;
// Range in the Store where the vector data lives,
// Address is 32 byte-aligned
std::span data_;
};

Предположим, есть такие циклы (

Код: Выделить всё

v1

, v2 и v3 — векторы одинаковой длины):

Код: Выделить всё

for (size_t i = 0; i < v1.size(); ++i) {
v3[i] = v1[i] + v2[i];
}

или

Код: Выделить всё

auto it1 = v1.begin();
auto it2 = v2.begin();
auto it3 = v3.begin();
while (it1 != v1.end()) {
*it3 = (*it1++) + (*it2++);
}

Я хотел бы указать компилятору, что векторные данные выровнены для инструкций AVX2, но я не хочу писать код SIMD (поскольку он также будет скомпилирован для ARM и WebAssembly).
Как лучше всего указать выравнивание?

Подробнее здесь: https://stackoverflow.com/questions/783 ... is-aligned