Компилятор не может векторизовать, если боится, что указатели пересекаются.
// ❌ Компилятор не знает, пересекаются ли a и b
void add(float* a, float* b, size_t n) {
for (size_t i = 0; i < n; ++i) {
a[i] += b[i]; // Что если a и b — один массив?
}
}
// ✅ Подсказываем компилятору (C++20)
void add(float* __restrict a, float* __restrict b, size_t n) {
for (size_t i = 0; i < n; ++i) {
a[i] += b[i]; // Теперь векторизуется!
}
}
// ✅ Или используйте std::span (C++20)
void add(std::span<float> a, std::span<float> b) {
std::transform(a.begin(), a.end(), b.begin(), a.begin(),
std::plus<>{}); // Векторизуется автоматически
}
❗️
restrict — это ключевое слово из C99 (стандарта языка C), которое не является частью стандарта C++.📍Навигация: Вакансии • Задачи • Собесы
Библиотека C/C++ разработчика
#под_капотом