Android Native全局2D Vector元素读取触发段错误崩溃排查求助

这个段错误问题的核心诱因主要有两个：全局非静态vector的线程安全漏洞，以及数组访问越界的未定义行为，结合你提到的“多数设备正常、大量设备崩溃”的现象，咱们具体拆解：

1. 全局非静态vector的线程安全问题 #

你定义的cells是全局非静态的2D vector，而JNI函数的调用线程完全由Java层决定——如果Java层在多个线程（比如UI线程+后台计算线程）同时调用nativeInit和isCellEmpty，就会出现数据竞争：

• 当nativeInit正在遍历赋值时，isCellEmpty可能同时访问cells的内部数据，破坏vector的内存结构；
• 不同设备的线程调度策略差异很大，Nexus 7的调度可能刚好避开了并发冲突，但其他设备的并发场景更频繁，就触发了崩溃。

2. 潜在的数组访问越界风险 #

虽然你说row和col是uint8_t且逻辑上应该是0-2，但Java层传参的合法性无法完全保证：如果不小心传入了超出0-2的数值，用[]访问vector会触发未定义行为——有些设备可能侥幸不崩溃，有些设备直接触发段错误。而at()方法会在越界时抛出std::out_of_range异常，能帮你明确定位问题，而不是让崩溃原因变得模糊。

3. 初始化时机的不确定性 #

还有一种可能：Java层的调用顺序存在漏洞，isCellEmpty可能在nativeInit初始化完成前就被调用。比如nativeInit在后台线程执行，UI线程提前调用了isCellEmpty，此时cells的元素可能还未被正确赋值，甚至vector的内部状态异常，导致访问崩溃。

针对性解决方案 #

方案一：给全局vector加线程同步锁 #

用std::mutex保护cells的所有读写操作，避免并发冲突：

#include <mutex>

std::vector<std::vector<uint8_t>> cells(3, std::vector<uint8_t>(3));
std::mutex cells_mutex;

Java_package_name_ClassName_nativeInit(JNIEnv *env, jobject /* this */) {
    std::lock_guard<std::mutex> lock(cells_mutex); // 自动加锁、解锁
    for (uint8_t i = 0; i < 3; i++) {
        for (uint8_t j = 0; j < 3; j++) {
            cells[i][j] = 0;
        }
    }
}

jboolean Java_package_name_ClassName_isCellEmpty(JNIEnv *env, jobject /* this */, uint8_t row, uint8_t col) {
    std::lock_guard<std::mutex> lock(cells_mutex);
    // 先做越界检查
    if (row >= cells.size() || col >= cells[row].size()) {
        return JNI_FALSE; // 或者向Java层抛出异常
    }
    return (jboolean)(cells[row][col] == 0);
}

方案二：用at()替换[]访问vector #

at()会在越界时抛出异常，帮你快速定位非法参数问题，同时配合异常处理可以避免崩溃扩散：

#include <mutex>
#include <stdexcept>

std::vector<std::vector<uint8_t>> cells(3, std::vector<uint8_t>(3));
std::mutex cells_mutex;

jboolean Java_package_name_ClassName_isCellEmpty(JNIEnv *env, jobject /* this */, uint8_t row, uint8_t col) {
    std::lock_guard<std::mutex> lock(cells_mutex);
    try {
        return (jboolean)(cells.at(row).at(col) == 0);
    } catch (const std::out_of_range& e) {
        // 向Java层抛出索引越界异常
        jclass exClass = env->FindClass("java/lang/IndexOutOfBoundsException");
        if (exClass != nullptr) {
            env->ThrowNew(exClass, "Row or column index out of range (0-2)");
            env->DeleteLocalRef(exClass);
        }
        return JNI_FALSE;
    }
}

方案三：确保初始化完成后再调用isCellEmpty #

在Java层增加同步逻辑，比如用CountDownLatch或者在nativeInit执行完成后再允许调用isCellEmpty，避免初始化未完成就访问cells。

内容的提问来源于stack exchange，提问作者Nafis Abdullah Khan