如何安全实现线性数组到vec3数组的数据转换？

首先得说清楚你这段代码触发越界的核心原因：你没有先确认原始数组vertex_array的长度是否足够容纳vertex_count个vec3元素。如果vertex_array的元素总数小于3 * vertex_count，那循环到后面必然会访问超出数组范围的内存，直接触发异常。

另外原代码里的stride变量其实有点多余——它的值每次加3，本质上就等于i * 3，完全可以直接用这个表达式来计算索引，代码会更简洁易懂。

改进后的安全实现 #

这里给你两种思路，从简单到严谨：

1. 基础安全版（先做边界检查）

// 先检查原始数组的长度是否足够，假设你能获取到vertex_array的总长度
if (vertex_array_length < 3 * vertex_count) {
    // 这里可以加错误处理：比如打印日志、返回错误码、或者只转换能容纳的元素
    printf("Error: vertex_array is too short to convert %d vec3 elements\n", vertex_count);
    return; // 或者做其他错误处理
}

// 转换逻辑，去掉多余的stride变量
for (int i = 0; i < vertex_count; i++) {
    s_vertex[i].active = false;
    int start_idx = i * 3;
    s_vertex[i].x = vertex_array[start_idx];
    s_vertex[i].y = vertex_array[start_idx + 1];
    s_vertex[i].z = vertex_array[start_idx + 2];
}

2. 更严谨的容错版（处理数组长度不足的情况）

如果不想直接报错返回，而是希望尽可能转换能处理的元素，可以这么写：

int max_convert_count = vertex_array_length / 3;
int actual_count = min(vertex_count, max_convert_count);

for (int i = 0; i < actual_count; i++) {
    s_vertex[i].active = false;
    int start_idx = i * 3;
    s_vertex[i].x = vertex_array[start_idx];
    s_vertex[i].y = vertex_array[start_idx + 1];
    s_vertex[i].z = vertex_array[start_idx + 2];
}

// 剩下的元素可以标记为未激活或者做其他处理
for (int i = actual_count; i < vertex_count; i++) {
    s_vertex[i].active = false;
    // 可以给x/y/z设默认值，比如0.0
    s_vertex[i].x = s_vertex[i].y = s_vertex[i].z = 0.0;
}

为啥这么改？ #

• 先做边界检查从根源上避免了越界问题，这是处理数组操作的基本准则；
• 用i * 3替代stride变量，逻辑更直观，减少了人为出错的可能；
• 容错版的写法还能兼容原始数组长度不足的场景，不会直接崩溃。

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