C++递归填充2D数组：时而正常时而抛出异常问题求助

首先，你遇到的问题大概率是递归过程中进入了「无解分支」，又没有足够的回溯机制来退回到上一步重新选择。咱们来拆解下为什么这个场景下容易出问题：

你的需求是12行×6列的数组，元素是1-12的随机数，要求每行、每列的数字都不重复。这里有个关键约束：每一列有12个位置，而数字刚好是1-12，所以每一列其实必须是1-12的一个排列；同时每行要选6个不同的数字，且不能和同列的其他行重复。

当你用递归逐个填充位置时，如果一开始随机选的数字“堵死”了后续的可能性（比如某一行剩下的位置，所有可用数字都已经在对应列被占满了），而你的递归逻辑没有处理这种“走不通就回头换选择”的情况，就会直接抛出异常。尤其是12×6这个规模，刚好处于一个容易出现局部无解的临界状态——数字池（12个）和列数（6）的比例，加上行数（12）的要求，很容易在随机选择时走进死胡同。

给你几个具体的优化方向：

• 增加回溯的容错机制：在递归尝试填充某个位置时，如果遍历所有可用数字都无法继续，就返回“失败”，让上一层递归尝试换一个数字，而不是直接抛出异常。
• 不要完全随机选数字：可以优先选择「可选范围更小」的位置来填充（比如某一行剩下的可用数字很少，或者某一列剩下的空位很少），这样能减少走进死胡同的概率，这就是约束满足问题里常用的「最少剩余值启发式」。
• 提前做列的排列初始化：既然每一列必须是1-12的排列，你可以先随机生成6个互不冲突的1-12排列（保证每行的6个数字都不重复），而不是逐个位置递归填充。

举个简单的回溯逻辑伪代码示例：

import random

def fill_grid(grid, row, col):
    if row == 12:
        return True  # 填充完成
    next_row = row if col < 5 else row + 1
    next_col = col + 1 if col < 5 else 0
    
    # 收集当前位置可用的数字：不在当前行，不在当前列
    used_in_row = set(grid[row][:col])
    used_in_col = set(grid[r][col] for r in range(row))
    available = [num for num in range(1,13) if num not in used_in_row and num not in used_in_col]
    
    # 随机打乱可用数字，增加随机性
    random.shuffle(available)
    
    for num in available:
        grid[row][col] = num
        if fill_grid(grid, next_row, next_col):
            return True
        # 回溯：如果当前数字走不通，清空当前位置
        grid[row][col] = 0
    
    # 所有数字都尝试过，走不通，返回False
    return False

# 初始化空网格
grid = [[0 for _ in range(6)] for _ in range(12)]
fill_grid(grid, 0, 0)

这个逻辑里，如果当前位置没有可用数字，或者尝试了所有可用数字都无法完成填充，就返回False，让上一层递归换一个数字。这样就不会轻易抛出异常，而是会自动回溯到上一步重新选择。

另外，你之前说“数字池更大或数组规模更小时运行正常”，这也符合逻辑：数字池更大时，可用选择更多，不容易走进死胡同；数组规模更小时，约束更少，更容易找到解。而12×6这个规模，约束刚好卡得比较紧，纯随机的递归很容易撞墙。

内容的提问来源于stack exchange，提问作者jmas