可写的 zip 范围是不可能的?

writable zip ranges are not possible?

以下失败:

#include <range/v3/view.hpp>
#include <range/v3/view/zip.hpp>
#include <range/v3/utility/iterator.hpp>

// ...

std::vector< std::tuple<int, std::string> > const data{
   {1,"a"},
   {2,"b"},
   {3,"c"}
};
std::vector<int> vi(data.size());
std::vector<std::string> vs(data.size());

using namespace ranges;
copy(data,  view::zip(vi,vs) ); // error

clang 说

No matching function for call to object of type 'const 
ranges::v3::with_braced_init_args<ranges::v3::copy_fn>'

假设这是设计使然,为什么?

而且,我怎样才能用范围来做这个显而易见的事情?

  1. copy 接受输出 iterator,而不是输出 range。因此,您需要在 zip 视图上调用 begin 并将其转换为迭代器。
  2. 解决了这个问题后,您 运行 变成了一个单独的问题。 zipping 两个范围产生一个 pair(好吧,一个 common_pair),但是当两个元素的元组可以从对中分配时,对不能从两个元素的元组中分配。结果,我们不能做 *zip_iterator = *data.begin() 的等效操作,概念检查失败。如果你使 data 成为 pair 的向量,那么它就可以工作。