用索引数组+进位法模拟动态嵌套循环实现笛卡尔积：初始化indices全0，每次生成组合后从末位递增并进位，溢出则终止；边生成边计数，达max_count立即退出，避免预计算和内存膨胀。

用 for 循环实现多维数组的笛卡尔积，核心是模拟嵌套循环的深度和数量可变——即“动态嵌套”。由于维度数不确定，不能写死几层 for，需改用迭代（栈/队列）或索引数组 + 进位模拟。同时控制最大输出规模，关键是在生成过程中实时计数，达到上限立即终止。

用索引数组 + 进位法模拟嵌套循环

把每个维度当前取哪个下标存成一个整数数组 indices（长度 = 维度数），初始全 0；每次递增最后一个索引，溢出时向前进位（类似加法进位），直到某一位溢出最外层边界，即遍历完成。

• 设输入为 arrays = [[a1,a2], [b1,b2,b3], [c1,c2]]，则 lengths = [2,3,2]
• 初始化 indices = [0,0,0]，对应第一个组合 [a1,b1,c1]
• 每次生成后，从末尾开始 indices[i]++；若 indices[i] >= lengths[i]，则置 0 并向前一位进位；若进位到 i == -1，结束

边生成边计数，到达上限立刻退出

不预先计算总组合数（可能溢出或耗时），而是在每生成一个结果时累加计数器，一旦 ≥ 设定的 maxCount 就 break。

• 避免构造完整结果列表，直接处理每个组合（如打印、存入缓冲区、或 yield 返回）
• 例如：只取前 1000 个组合，计数到 1000 后不再继续进位和生成
• 注意：进位逻辑中，每次成功生成一个组合才计数，失败（越界）不计

代码结构示意（Python 风格伪代码，无递归）

（实际可用任何支持数组和循环的语言改写）

def cartesian_iter(arrays, max_count=1000):
    if not arrays or any(len(a) == 0 for a in arrays):
        return
    lengths = [len(a) for a in arrays]
    indices = [0] * len(arrays)
    count = 0
<pre class="brush:php;toolbar:false;">while count < max_count:
    # 生成当前组合
    combo = [arrays[i][indices[i]] for i in range(len(arrays))]
    yield combo
    count += 1

    # 进位：从最后一位开始
    i = len(arrays) - 1
    while i >= 0:
        indices[i] += 1
        if indices[i] < lengths[i]:
            break  # 当前位没溢出，进位结束
        indices[i] = 0  # 归零，继续向前
        i -= 1
    else:
        break  # i < 0，全部进位完毕，遍历结束

注意事项与优化点

• 若某维为空数组（len == 0），整个笛卡尔积为空，直接返回
• 最大规模控制的是“输出个数”，不是内存占用；单个组合若含大对象，仍需注意内存，可考虑流式处理
• 想跳过前 N 个再取 M 个？可加起始偏移参数，但需先跳过（不 yield），效率略低；更优方式是结合数学定位，但 for 循环方案通常不推荐复杂跳转
• JavaScript 中可用 for...of 配合生成器；C++ 可用 vector + while 模拟；Java 可用 ArrayList + 迭代器封装