具有自动和结构化绑定的 Ranges V3 zip

Question

我希望能够使用 C++ 范围通过压缩容器来帮助简化代码逻辑，而不是显式索引到它们中。我可以让它与一个冗长的 lambda 参数一起工作，但我宁愿尝试使用更多 auto 使其更简单/可概括。

const int n = ...;
std::vector<float> a(n), b(n), c(n);

...initialize a and b...

// This works
ranges::for_each(
    ranges::views::zip(a, b, c),
    [](const std::tuple<float&, float&, float&>& v)
    {
        const auto& [a, b, c] = v;
        c = a + b; 
        std::cout << typeid(v).name(); // NSt3__15tupleIJRfS1_S1_EEE
    }
);

// This fails
ranges::for_each(
    ranges::views::zip(a, b, c),
    [](const auto& v)
    {
        const auto& [a, b, c] = v;
        // c = a + b; 
        std::cout << typeid(v).name(); // N6ranges12common_tupleIJRfS1_S1_EEE
    }
);

Ranges-v3 文档说明如下：

views::zip

给定 N 个范围，返回一个新范围，其中 Mth 元素是在所有 Mth 元素上调用 make_tuple 的结果N 个范围。

这让我觉得应该可以把ranges::common_tuple转换成std::tuple，看了看公众号发现：

std::tuple< Ts... > const & base() const noexcept

但是这也不能编译：

const auto& [a, b, c] = v.base();
// error: no member named 'base' in 'std::__1::tuple<float, float, float>'

但是当我打印typeid(v) 时，它不是std::tuple；它是ranges::common_tuple。我在这里尝试使用auto 类型扣除可能吗？ （clang 编译器，如果这很重要）

Answer 1

简短的回答是：如果您实际上不需要const，请不要使用const。你想修改一些东西，为什么const？这工作正常：

ranges::for_each(
    ranges::views::zip(a, b, c),
    [](auto&& v)
    {
        auto&& [a, b, c] = v;
        c = a + b; 
    }
);

较短的也是如此：

for (auto&& [a, b, c] : ranges::views::zip(a, b, c)) {
    c = a + b;
}

---

你休息的原因有点微妙。基本上，ranges::for_each 受限于indirectly_unary_invocable，这需要所有：

        invocable<F &, iter_value_t<I> &> &&
        invocable<F &, iter_reference_t<I>> &&
        invocable<F &, iter_common_reference_t<I>> &&

因此，您的 lambda 会使用所有这三种类型进行实例化。其中一种类型 (iter_value_t<I>&) 是 tuple<float, float, float>&。因此，当您使用const auto& 进行结构化绑定时，每个绑定的类型都是const float。这就是它不可分配的原因——但这仅适用于特定的实例化（无论如何，它不是在运行时被调用的实例化）。