已有std::ranges::zip与views::transform，为何还需std::ranges::zip_transform？

C23的ranges子库新增了std::ranges::zip，它能将多个范围压缩为一个由std::tuple（或pair）组成的范围。这个特性相当实用，无需我们自行实现，也不用依赖boost::zip_iterator或类似的C11技巧*。

但C++23还提供了std::ranges::zip_transform——既然我们可以先通过zip压缩范围，再对结果应用ranges::views::transform，那为什么还需要这个特性？zip_transform是不是冗余的？

答案：zip_transform并非冗余，它在性能、语法和灵活性上都有独特优势： #

• 避免不必要的tuple构造开销
  zip会先把每个位置的元素打包成std::tuple，再将tuple传给transform的处理函数；而zip_transform会直接把各个范围的对应元素作为独立参数传给自定义逻辑，跳过了tuple的构造、析构和解构步骤。在处理大规模数据时，这种开销的差异会更显著。

• 更简洁直观的语法
  使用zip + transform时，需要额外的lambda来解构tuple，而zip_transform可以直接写出更清晰的逻辑：

  // zip + transform 的写法
  auto result = ranges::views::zip(vec1, vec2, vec3) 
              | ranges::views::transform([](auto&& t) {
                    return std::get<0>(t) + std::get<1>(t) * std::get<2>(t);
                });
  
  // zip_transform 的写法
  auto result = ranges::views::zip_transform(
      [](auto&& a, auto&& b, auto&& c) { return a + b * c; },
      vec1, vec2, vec3
  );
  

  后者无需处理tuple的索引或结构化绑定，代码可读性更高。

• 直接适配多参数函数
  如果已有一个接受多个独立参数的函数（比如int calculate(int, double, float)），zip_transform可以直接传入该函数，不需要额外包装成接受tuple的lambda；而zip + transform必须写一层包装来解构tuple并传递参数。

• 更高效的参数转发
  zip_transform支持对各个范围的元素进行完美转发，减少不必要的拷贝或移动操作；而通过zip生成的tuple在解构时，可能会引入额外的引用转换或拷贝步骤，尤其在处理复杂类型时更明显。

*注：上述提到的C++11技巧表现稳定，且不需要引入包含大量concepts的代码……

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