C++23 std::views::cartesian_product怎么求多个范围的笛卡尔乘积-C++-PHP中文网

c++23 标准未提供 std::views::cartesian_product；需借助 range-v3 库的 ranges::views::cartesian_product 实现笛卡尔积，支持 c++20 以上编译器。

c++23 std::views::cartesian_product怎么求多个范围的笛卡尔乘积

std::views::cartesian_product 在 C++23 中不直接存在

别折腾了——std::views::cartesian_product 并未被纳入 C++23 标准。你查文档、编译报错、或者发现 std::ranges::views::cartesian_product 找不到，都是因为这个东西目前（截至 C++23 正式发布）根本不存在。

标准库只提供了 std::views::zip 和 std::views::zip_transform，用于并行遍历多个范围，但它们不是笛卡尔积；它们是“拉链式”对齐，长度取最短者，和 itertools.zip_longest 或 Python 的 zip 类似。

真正需要多范围全组合时，得自己搭或借第三方。

用 ranges::views::cartesian_product（来自 range-v3）替代

Eric Niebler 的 range-v3 库早就有稳定可用的 ranges::views::cartesian_product，它被广泛认为是 C++20/23 范围生态的事实标准补充。C++23 标准没收它，但你可以直接用。

使用前需：

克隆或子模块引入 range-v3（头文件为主，无需编译）
#include <range></range>
确保编译器支持 C++20（至少 GCC 10+/Clang 13+/MSVC 19.30+）

示例：求 {1,2} × {'a','b'} × {true,false}

C++ Code Review Master

组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。

下载

#include <range>
#include <range>
#include <iostream>

int main() {
    auto r = ranges::views::cartesian_product(
        ranges::views::iota(1, 3),      // [1, 2]
        ranges::views::iota('a', 'c'),  // ['a', 'b']
        ranges::views::iota(0, 2)       // [0, 1] → bool 语义
    );

    for (auto&& [i, c, b] : r) {
        std::cout (b) 
<p>注意：<code>cartesian_product</code> 返回的是一个嵌套 tuple-like 类型（<code>std::tuple</code> 或 <code>ranges::detail::cartesian_product_view_iter_value</code>），结构深度与输入范围数一致，解构时必须用结构化绑定且数量匹配。</p>

<h3>手动实现双范围笛卡尔积（无依赖，适合简单场景）</h3>
<p>如果只涉及两个范围，且不想引入 range-v3，可以用 <code>std::views::transform</code> 套一层 <code>std::views::repeat</code> + <code>std::views::join</code> 模拟，但要注意效率和生命周期：</p>
<ul>
<li>外层范围每个元素要“广播”到内层全部元素，本质是嵌套循环展开</li>
<li>不能直接保存 <code>views::repeat(r2) | views::join</code> 的结果，因 <code>r2</code> 是临时对象时会悬垂</li>
<li>推荐把内层范围转成 <code>std::vector</code> 或确保其生命周期长于 view</li>
</ul>
<p>简版实现（仅限两个 range，且 <code>r2</code> 可拷贝或持久）：</p>
<pre class="brush:php;toolbar:false;">
#include <ranges>
#include <vector>
#include <algorithm>

template<:ranges::input_range r1 std::ranges::input_range r2>
auto cartesian_product(R1&& r1, R2&& r2) {
    std::vector<:ranges::range_value_t>> r2_vec{r2.begin(), r2.end()};
    return std::views::transform(std::forward<r1>(r1), [=](auto&& x) {
        return std::views::transform(r2_vec, [=](auto&& y) {
            return std::tuple{x, y};
        });
    }) | std::views::join;
}
</r1></:ranges::range_value_t></:ranges::input_range></algorithm></vector></ranges>

调用后得到的是 join_view<transform_view>></transform_view>，可遍历，但不是随机访问，也不支持 size() —— 笛卡尔积大小是乘积关系，无法在常数时间算出（除非原始 range 都是 sized_range）。

为什么标准迟迟不加 cartesian_product？

这不是遗漏，而是有意推迟：

设计难点在于如何统一处理任意数量的 range 输入（参数包展开 vs. 容器传入）、如何定义 value_type（嵌套 tuple 还是 flat tuple？）、如何支持 move-only 类型
性能模型难界定：笛卡尔积视图天然非缓存友好，且懒求值下每次迭代可能触发多次嵌套迭代器递增
已有 range-v3 实现被当作事实参考，标准委员会更倾向观察几年实际使用反馈

所以现阶段，如果你写的是内部工具或原型，range-v3 是最省心的选择；如果项目禁用第三方依赖，又确实需要多维组合，建议封装一个轻量 cartesian_product 函数，限定输入为 std::vector 或 std::array，避免 lifetime 陷阱——毕竟，自动推导的视图类型和隐式转换最容易在迭代器失效或悬垂引用上翻车。

C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！