OpenCV Java中负索引取像素返回异常值而非空或异常的问题

使用OpenCV for Java（依赖为org.openpnp:opencv:4.7.0-0）创建了一个2x2的Mat对象（代码为val mat = Mat(2, 2, CvType.CV_8UC3)），出现以下不符合预期的现象：

• 获取mat[0, 0]像素返回[0.0, 0.0, 0.0]，符合预期；
• 获取超出正范围的mat[0, 2]返回null，符合预期；
• 获取负索引位置mat[0, -1000]却返回[114.0, 47.0, 84.0]这类随机数组，而非null或抛出异常。

另外该现象在debug模式下更易复现，run模式下多返回[0.0, 0.0, 0.0]，示例代码如下：

package example;

import nu.pattern.OpenCV;
import org.opencv.core.CvType;
import org.opencv.core.Mat;

import java.util.Arrays;

public class Main {
    public static void main(String[] args){
        OpenCV.loadLocally();
        Mat mat = new Mat(2, 2, CvType.CV_8UC3);
        System.out.println(Arrays.toString(mat.get(0, -1000)));
        mat.release();
    }
}

1. 负索引不返回null或抛出异常的原因 #

OpenCV的Java绑定底层是调用C实现，而C本身不对数组内存做强制边界校验。对于正索引超出矩阵尺寸的情况，Java层做了额外检查，所以返回null；但负索引的边界校验逻辑没覆盖到，直接进行内存地址计算。

当传入负列索引-1000时，代码会算出一个相对于Mat内存起始地址的负偏移量，直接访问了Mat内存块之外的区域。

2. 随机数值的来源 #

返回的数值是对应内存地址的原始数据：

• 如果该地址属于当前进程的内存空间，就读取到该位置的残留数据（可能是其他变量的旧值、JVM内部数据等）；
• 如果地址不属于进程空间，OpenCV的Java绑定可能做了容错处理，避免程序崩溃，转而返回随机数据。

3. Debug和Run模式的差异 #

• Debug模式下，JVM不会立即覆盖未使用的内存，进程内存布局更松散，更容易读取到非零的随机残留数据；
• Run模式下，JVM会做内存清零、紧凑布局等优化，负索引访问的区域更可能是被清零的内存，所以多返回[0.0, 0.0, 0.0]。

总结 #

OpenCV Java绑定对负索引的边界校验存在缺失，导致非法内存访问。实际开发中要严格控制索引范围，避免使用负索引或超出矩阵尺寸的索引。

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