c++oding="utf-8" ?>
笛卡尔平方指对同一数组所有元素两两有序组合（含重复），等价于arr×arr的笛卡尔积；区别在于它明确要求全部(i,j)对，而非仅上/下三角或去重组合。
什么是笛卡尔平方？它和普通二维循环有什么区别
笛卡尔平方不是标准 C++ 术语，而是对「对同一数组中所有元素两两组合（含重复、有序）」的通俗叫法，等价于 arr × arr 的笛卡尔积。它和简单嵌套循环的区别在于：你明确需要生成所有 (i, j) 对（i 和 j 独立遍历全部索引），而不是仅上三角、下三角或去重组合。
用双重 for 循环生成所有 (i,j) 对最直接
这是最常见也最不易出错的方式，尤其适合后续要访问 arr[i] 和 arr[j] 值的场景：
std::vector<int> arr = {1, 2, 3};
for (size_t i = 0; i
<p>输出：<code>(1,1) (1,2) (1,3) (2,1) (2,2) (2,3) (3,1) (3,2) (3,3)</code></p><div class="aritcle_card flexRow artxards">
<div class="artcardd flexRow">
<a class="aritcle_card_img" rel="nofollow" href="/xiazai/skill5502" title="C++ Code Review Master"><img
src="https://img.php.cn/upload/skill/000/000/081/179051228971575.jpg" alt="C++ Code Review Master" onerror="this.onerror='';this.src='/static/lhimages/moren/morentu.png'" ></a>
<div class="aritcle_card_info flexColumn">
<a rel="nofollow" href="/xiazai/skill5502" title="C++ Code Review Master" class="overflowclass">C++ Code Review Master</a>
<p class="overflowclass">组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。</p>
</div>
<a rel="nofollow" href="/xiazai/skill5502" title="C++ Code Review Master" class="aritcle_card_btn flexRow flexcenter"><b></b><span>下载</span>
</a>
</div>
</div>
<ul>
<li>用 <code>size_t</code> 避免与 <code>std::vector::size()</code> 返回类型不匹配导致的隐式转换警告</li>
<li>不要写成 <code>i —— 当 <code>arr</code> 为空时，<code>arr.size()-1</code> 是极大无符号数，循环失控</code>
</li>
<li>若需存储结果，用 <code>std::vector<:pair>></:pair></code> 或 <code>std::vector<:array>></:array></code>，避免动态字符串拼接</li>
</ul>
<h3>用 std::ranges::cartesian_product 在 C++23 中更语义化</h3>
<p>C++23 引入了 <code>std::ranges::cartesian_product</code>，可直接表达“两个视图的笛卡尔积”。对同一数组做平方，只需传两次该数组的视图：</p>
<pre class="brush:php;toolbar:false;">#include <ranges>
#include <vector>
#include <iostream>
std::vector<int> arr = {1, 2, 3};
auto cp = std::views::cartesian_product(arr, arr);
for (const auto& [a, b] : cp) {
std::cout
<p>注意点：</p>
<ul>
<li>必须启用 C++23（如 <code>g++ -std=c++23</code>），且 libstdc++ ≥ 13 或 libc++ ≥ 17</li>
<li>
<code>cartesian_product</code> 返回的是懒求值视图，不分配内存；但不能用于修改原数组元素（因为是 const 引用）</li>
<li>如果数组是临时对象（如 <code>std::vector{1,2,3}</code>），需先绑定到变量，否则视图会悬垂</li>
</ul>
<h3>性能和边界容易被忽略的细节</h3>
<p>笛卡尔平方的时间复杂度固定为 <code>O(n²)</code>，但实际开销差异明显：</p>
<ul>
<li>嵌套循环在 cache 局部性上表现更好（连续读 <code>arr[j]</code>），而 <code>cartesian_product</code> 视图可能引入额外间接跳转</li>
<li>空数组时，双重循环自动不执行；但若误把 <code>cartesian_product</code> 结果转成 <code>std::vector</code> 再取 <code>.size()</code>，需确认底层是否支持空范围（当前主流实现支持，但非强制）</li>
<li>若元素类型很大（如 <code>std::string</code>），避免在内层循环中重复调用 <code>arr[i]</code> —— 提前存入局部引用或 const 引用</li>
</ul>
<p>真正麻烦的从来不是“怎么写出两层循环”，而是当数组指针来自外部、生命周期模糊，或需要并行化时，<code>i</code> 和 <code>j</code> 的索引空间是否仍保持正交——这时候手动展开反而比依赖视图更可控。</p></int></iostream></vector></ranges>C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
