如何将数组值复制到结构体数组？用std::ranges替代循环

我可以用std::ranges::transform便捷地把结构体数组（AoS）的值复制到数组结构体（SoA）中（本例是单个vector），但反过来，要把SoA的值复制到AoS的特定字段时，有没有类似的实现方式？能不能用算法调用（优先用ranges视图）替代代码里的for循环？

#include <algorithm>
#include <iostream>
#include <ranges>
#include <vector>

struct S
{
    float v1;
    float v2;
};

int main() {
    std::vector<S> aos = { { 1.0f, 2.0f } };
    std::vector<float> soa(aos.size());

    std::ranges::transform(aos, soa.begin(), &S::v1);

    std::cout << "soa value:" << soa[0] << std::endl;

    soa[0] = 3.0;

    // 想用类似上面transform的写法替换这个循环
    for (std::size_t i = 0; i < soa.size(); ++i)
    {
        aos[i].v1 = soa[i];
    }

    std::cout << "aos value:" << aos[0].v1 << std::endl;
}

当然可以用标准库算法结合ranges视图替代手动循环，这里推荐两种基于C++20 ranges的实现方式：

方法一：std::ranges::for_each + std::views::zip #

通过zip视图将aos和soa的元素一一配对，再在for_each的回调中完成字段赋值，代码直观且符合ranges语义：

// 用结构化绑定简化代码
std::ranges::for_each(std::views::zip(aos, soa), [](auto&& [s, val]) {
    s.v1 = val;
});

方法二：std::ranges::transform（适配场景写法） #

如果更偏好transform风格的调用，可以将aos和soa作为双输入源，通过修改输入元素的字段实现赋值：

std::ranges::transform(aos, soa.begin(), aos.begin(), [](S& s, float val) {
    s.v1 = val;
    return s; // 返回元素用于写回aos，仅为适配transform的接口要求
});

不过这种写法的语义不如第一种贴合——transform核心是转换输出，而此处是原地修改，因此优先推荐第一种方案。

注意事项 #

• std::views::zip要求两个序列长度一致，和原循环的前提一致，不会出现越界问题
• 两种写法都避免了手动管理索引，代码更简洁安全

内容的提问来源于stack exchange，提问作者Damir Tenishev