为何用Ruby编写的康威生命游戏iterate函数输出混沌结果而非正常演化

核心问题排查 #

你的代码存在三个直接导致运行结果偏离预期的硬伤，共同造成了混沌扩张的效果：

• 浅拷贝导致的状态污染：你做的arr = arr.dup是对二维数组的浅复制，仅复制了外层的行数组引用，每一行内部的布尔数组并没有被真正独立出来。后续new_arr = arr直接把新数组指向了原对象，等于你在迭代计算每个细胞下一轮状态的时候，直接修改了正在被用来计算邻居的原始上一轮状态，违背了康威生命游戏「所有细胞的状态更新必须基于同一帧的全局快照、不能边算边改原棋盘」的核心要求，计算出的邻居数完全错乱。
• 边缘越界的兜底逻辑完全失效：你写的(arr[y_counter-1] || [false, false, false])这类边界判断，完全没有匹配Ruby的数组取值规则：Ruby里数组的负索引是合法值，arr[-1]会直接返回数组最后一个元素，根本不会是nil，也就触发不了后面的兜底分支。也就是说，当你计算棋盘最顶部一行的细胞时，本来应该不存在上方邻居，结果代码错误地把整个棋盘的最底部一行当成了上方邻居；反过来计算最底部一行的时候，虽然会触发兜底拿到长度为3的假数组，但因为x方向的索引经常超过3的范围，取到的也是nil而非准确的边界值。这种错误的边界判断，直接把棋盘上下的状态错误关联，进一步放大了状态错乱的问题。
• 状态更新的规则逻辑完全错位：你写的状态更新表达式(count == 2) || (count == 3 && arr[y_counter][x_counter])完全不符合游戏规则的分支逻辑：

  康威生命游戏的标准规则是：

  1. 活细胞周围邻居数为2或3时，下一轮存活；否则因孤独/拥挤死亡
  2. 死细胞周围邻居数恰好为3时，下一轮复活
     你的表达式里：

  • 把「活细胞有2个邻居存活」的规则，扩大成了「不管当前细胞是死是活，只要有2个邻居就判定为活」，相当于给所有带2个邻居的死细胞无中生有加了活细胞
  • 把「死细胞有3个邻居复活」的规则，错误绑定到了「活细胞有3个邻居才存活」的分支上，导致死细胞永远不会按规则复活。
    这两个错误叠加，加上前面的状态污染、边界判断错误，最终就出现了活细胞不受控爆炸、不断扩张的混沌效果。

修复方案 #

对应上面的问题逐点调整即可：

1. 生成完全独立的新棋盘作为状态更新的载体，保证计算邻居的时候用的始终是上一轮的全局快照，不会被中途修改的状态污染
2. 用显式索引范围判断替代依赖布尔值兜底的越界处理逻辑，避开Ruby负索引的规则坑
3. 把状态更新的逻辑调整为完全匹配游戏规则的正确判断式

修复后的核心iterate函数参考：

def iterate(arr)
  rows = arr.length
  cols = arr[0].length
  # 生成完全独立的新棋盘，从根源避免状态污染
  new_arr = Array.new(rows) { Array.new(cols, false) }

  rows.times do |y|
    cols.times do |x|
      neighbor_count = 0
      # 遍历8个相邻方向
      [-1, 0, 1].each do |dy|
        [-1, 0, 1].each do |dx|
          next if dy == 0 && dx == 0 # 跳过细胞自身的位置
          ny = y + dy
          nx = x + dx
          # 显式判断索引是否超出棋盘范围，避免负索引陷阱
          next if ny < 0 || ny >= rows || nx < 0 || nx >= cols
          neighbor_count += 1 if arr[ny][nx]
        end
      end

      current_state = arr[y][x]
      # 严格匹配规则的状态判断
      new_arr[y][x] = if current_state
                        neighbor_count == 2 || neighbor_count == 3
                      else
                        neighbor_count == 3
                      end
    end
  end

  new_arr
end

验证效果 #

用你给出的滑翔机初始数组运行修复后的函数，就可以看到标准的滑翔机以每4代向右、向下各移动1格的节奏稳定演化，不会出现无序扩张的混沌效果。

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