静态二维动态对象数组初始化正确性排查及EXC_BAD_ACCESS问题咨询

我在初始化存储动态对象的静态二维数组时频繁触发EXC_BAD_ACCESS错误，怀疑是数组初始化方式有问题。数组类型为抽象类Creature*，元素是其派生类对象指针或nullptr。

数组声明 #

Creature* grid[SIZE_X][SIZE_Y];

填充代码 #

void populateGrid(Creature* grid[SIZE_X][SIZE_Y], string fileName)
{
    ifstream file;
    file.open(fileName);

    string line = "";
    int i = 0;
    int j = 0;
    while(getline(file, line))
    {
        for(char x : line)
        {
            switch (x)
            {
            case 'B':
                grid[i][j] = new Beetle();
                break;
            case 'a':
                grid[i][j] = new Ant();
                break;
            default:
                grid[i][j] = nullptr;
                break;
            }
            i++;
        }
        j++;
        i = 0;
    }
}

读取的文件内容 #

aaa    
 B  aa    
 B   a    
 B    aaa 
      aaa 
a     aaa 
a         
a   aaaa  
    aaaa  
          

问题分析与修复方案 #

1. 核心问题：数组下标越界 #

你的代码存在下标顺序颠倒的致命问题：二维数组grid[SIZE_X][SIZE_Y]的第一维是行（对应循环变量j），第二维是列（对应循环变量i），但你错误地使用了grid[i][j]。当文件中某行的字符数超过SIZE_X，或者总行数超过SIZE_Y时，直接触发数组越界，导致EXC_BAD_ACCESS错误。

此外，文件每行长度不一致，若未做边界检查，i或j很容易超出数组定义的范围。

2. 具体修复步骤 #

• 修正下标顺序：将grid[i][j]改为grid[j][i]，匹配二维数组的行-列存储逻辑。
• 添加边界检查：在循环中限制i和j的范围，避免越界：

  while(getline(file, line) && j < SIZE_Y) // 限制行数不超过数组行上限
  {
      for(char x : line)
      {
          if(i >= SIZE_X) break; // 列数超过上限时停止处理当前行
          switch (x)
          {
          case 'B':
              grid[j][i] = new Beetle();
              break;
          case 'a':
              grid[j][i] = new Ant();
              break;
          default:
              grid[j][i] = nullptr;
              break;
          }
          i++;
      }
      j++;
      i = 0;
  }
  

• 初始化数组默认值：静态数组声明后元素为未初始化的垃圾值，建议在填充前统一设为nullptr：

  // 可在调用populateGrid前或函数开头执行
  for(int row = 0; row < SIZE_Y; row++) {
      for(int col = 0; col < SIZE_X; col++) {
          grid[row][col] = nullptr;
      }
  }
  

• 增加文件打开校验：避免读取不存在的文件导致后续逻辑异常：

  ifstream file(fileName);
  if(!file.is_open()) {
      cerr << "无法打开文件: " << fileName << endl;
      return;
  }
  

3. 初始化逻辑正确性确认 #

修正下标后，你的动态对象初始化逻辑是正确的：通过new创建派生类对象，将指针存入数组，默认设为nullptr，符合抽象类指针存储派生类对象的语法规范。

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