笛卡尔平方指对同一数组所有元素两两有序组合（含重复），等价于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 < arr.size(); ++i) {
for (size_t j = 0; j < arr.size(); ++j) {
std::cout << "(" << arr[i] << "," << arr[j] << ") ";
}
}
输出：(1,1) (1,2) (1,3) (2,1) (2,2) (2,3) (3,1) (3,2) (3,3)
- 用
size_t避免与std::vector::size()返回类型不匹配导致的隐式转换警告 - 不要写成
i <= arr.size()-1—— 当arr为空时，arr.size()-1是极大无符号数，循环失控 - 若需存储结果，用
std::vector<std::pair<T,T>>或std::vector<std::array<T,2>>，避免动态字符串拼接
用 std::ranges::cartesian_product 在 C++23 中更语义化
C++23 引入了 std::ranges::cartesian_product，可直接表达“两个视图的笛卡尔积”。对同一数组做平方，只需传两次该数组的视图：
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
立即学习“C++免费学习笔记（深入）”；
#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 << "(" << a << "," << b << ") ";
}
注意点：
- 必须启用 C++23（如
g++ -std=c++23），且 libstdc++ ≥ 13 或 libc++ ≥ 17 -
cartesian_product返回的是懒求值视图，不分配内存；但不能用于修改原数组元素（因为是 const 引用） - 如果数组是临时对象（如
std::vector{1,2,3}），需先绑定到变量，否则视图会悬垂
性能和边界容易被忽略的细节
笛卡尔平方的时间复杂度固定为 O(n²)，但实际开销差异明显：
- 嵌套循环在 cache 局部性上表现更好（连续读
arr[j]），而cartesian_product视图可能引入额外间接跳转 - 空数组时，双重循环自动不执行；但若误把
cartesian_product结果转成std::vector再取.size()，需确认底层是否支持空范围（当前主流实现支持，但非强制） - 若元素类型很大（如
std::string），避免在内层循环中重复调用arr[i]—— 提前存入局部引用或 const 引用
真正麻烦的从来不是“怎么写出两层循环”，而是当数组指针来自外部、生命周期模糊，或需要并行化时，i 和 j 的索引空间是否仍保持正交——这时候手动展开反而比依赖视图更可控。
