OpenCV使用地址操作符修改像素时程序崩溃问题排查

DevOps 小满

2026-8-29

问题成因

崩溃的核心原因是OpenCV cv::Mat 像素存储类型和at<>()访问方法指定的类型不匹配，触发堆内存越界写入，和你用不用引用、要不要中间变量没有关系：

常规接口读取的灰度图默认是CV_8UC1格式，每个像素仅占1字节，存储类型是无符号字符uchar；你代码里用.at<double>()访问像素时，会按8字节的double长度读写内存，遍历过程中很快就会超出Mat对象申请的合法内存范围，触发堆损坏（错误码-1073740940对应Windows平台堆损坏异常0xC0000374）。
去掉&之后不崩溃是假修复：此时你拿到的是从非法内存读取的double类型临时拷贝，修改这个临时变量根本不会写回原Mat的内存空间，整个循环没有任何实际像素修改操作，自然不会触发内存写越界，但功能完全不符合预期。
代码里还存在一处手滑的语法错误：double& pixel = processed.at<double>(y, x));行尾多了一个右括号，正常编译阶段就会报错。

另外你当前的线性映射逻辑也存在边界问题：没有做结果截断，计算出的像素值很容易超出目标存储类型的合法范围，即使类型匹配也会出现值溢出的异常。

修复方案

访问像素时必须保证at<>()的模板类型和Mat的实际存储类型完全一致：如果是CV_8UC1灰度图，单像素访问要用.at<uchar>()。
如果要做浮点精度的像素计算，不要直接在8位整型Mat上硬转double访问，先把Mat整体转换为浮点类型（CV_64FC1对应double类型）再做遍历计算，处理完如果需要输出常规8位灰度图，再把结果映射回合法范围转回CV_8UC1即可。
修正语法错误，给计算结果加上范围校验，避免值溢出。

修复后的参考代码：

Mat someCalc(Mat img) {
  // 校验输入必须是单通道灰度图
  CV_Assert(img.type() == CV_8UC1);
  double min, max;
  minMaxLoc(img, &min, &max);
  
  const double conRangeMin = 100;
  const double conRangeMax = 150;
  const double scale = (max - min) / (conRangeMax - conRangeMin);

  // 转换为double类型Mat做计算，彻底避免类型不匹配问题
  Mat processed;
  img.convertTo(processed, CV_64FC1);

  for (int y = 0; y < processed.rows; y++) {
    for (int x = 0; x < processed.cols; x++) {
      double& pixel = processed.at<double>(y, x);
      pixel = (pixel - conRangeMin) * scale;
    }
  }

  // 如需返回常规8位灰度图，截断值范围后转回CV_8UC1即可
  Mat output;
  processed.convertTo(output, CV_8UC1);
  return output;
}

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