OpenCV Mat为何未触发数组越界报错？

1. OpenCV默认以性能优先，关闭边界检查 #

OpenCV为了保证实时场景下的运行效率，默认不会对Mat.at<float>()这类元素访问做边界校验。不管是编译阶段还是常规调试模式，只要没开启额外检查机制，越界操作都不会触发报错——这种设计是为了避免频繁的边界判断拖慢程序速度。

2. 越界写入的是Mat管理范围外的内存 #

你创建的model_Input是Size(5,1)（1行5列）的CV_32FC1类型Mat，有效列索引范围是0~4。执行model_Input.at<float>(0,5) = 6.0;时，实际是往Mat内存块之外的区域写入数据，这块内存不属于Mat的有效管理范围。因此输出Mat时，OpenCV只会遍历它自身记录的1行5列有效数据，自然看不到越界写入的6.0。

3. 编译和调试不报错的底层原因 #

• 编译阶段：C++语言本身不强制容器/数组的边界检查，编译器不会主动识别这类越界代码（除非开启极端严格的编译选项，比如GCC的-Warray-bounds，但也无法覆盖所有场景）。
• 调试阶段：只有使用OpenCV的Debug版本，或者手动定义CV_ENABLE_ASSERTS宏时，Mat.at<T>()才会触发断言检查，此时越界访问会直接抛出错误终止程序。默认的Release版本没有这个断言逻辑。

避免踩坑的小技巧 #

• 开发阶段优先使用OpenCV的Debug版本，自动触发边界断言检查。
• 手动添加索引判断：访问元素前确认行/列索引满足0 <= row < mat.rows和0 <= col < mat.cols。
• 用mat.checkVector()等方法提前验证Mat的尺寸是否符合预期。

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