malloc分配的VBO数组传参后异常，触发段错误

我正在开发一个OpenGL程序，封装部分功能后遇到段错误。问题出在vbo1数组：用malloc分配内存，通过vboGen初始化元素（VBO_t是uint的别名），但调用vaoAddBufferM时触发段错误。

核心代码 #

主程序代码 #

VAO_t vao[2];

// First Polygon
vaoGen(&vao[0]);
vaoBind(&vao[0]);

int len1;
float *polygon1Verts = genPolygonVerts({ .x=0.5f, .y=0.5f, .radius=0.3f }, ids.ID1, &len1);
float *polygon1Colors = genPolygonColors(len1, 1.0f, 0, 0);

VBO_t *vbo1 = (VBO_t *)malloc(sizeof(VBO_t) * 2);
// VBO_t *vbo1 = new VBO_t[3];
vboGen(&vbo1[0], polygon1Verts, sizeof(float) * len1, GL_STATIC_DRAW);
vboGen(&vbo1[1], polygon1Colors, sizeof(float) * len1, GL_STATIC_DRAW);

VBLayout_t vbl1;
vbl_new(&vbl1, 3 * sizeof(float));
vbl_push_float(&vbl1, 3);
vbl_push_float(&vbl1, 3);

vaoAddBufferM(&vao[0], &vbo1, &vbl1);
printf("hello\n");
DBG_GLCHECKERROR();

触发错误的函数vaoAddBufferM #

void vaoAddBufferM(VAO_t *vao, VBO_t *vbo[], VBLayout_t *layout)
{
    vaoBind(vao);
    uint32_t offset = 0;
    for(uint32_t i = 0; i < layout->size; i++) {
        DBG_ASSERT(vbo[i] != NULL);
        vboBind(vbo[i]);
        glEnableVertexAttribArray(i);
        DBG_GLCHECKERROR();
        glVertexAttribPointer(
            i,
            layout->elements[i].count,
            layout->elements[i].type,
            layout->elements[i].normalized,
            layout->stride,
            (const void *)(size_t)offset
            );
        DBG_GLCHECKERROR();
        offset += layout->elements[i].count * layout->elements[i].typeSize;
    }
}

调试信息 #

• GDB调试显示：调用vaoAddBufferM前，vbo1数组元素为1和2（由glGenBuffer初始化）；进入函数后第二个元素丢失，无法访问对应内存，触发vboBind段错误。
• Valgrind检测结果：

==2703110== 1 errors in context 1 of 3:
==2703110== Use of uninitialised value of size 8
==2703110==    at 0x10BF02: vboBind (vbo.c:6)
==2703110==    by 0x10BDC9: vaoAddBufferM (vao.c:44)
==2703110==    by 0x10A675: main (58633_11.cpp:74)
==2703110==  Uninitialised value was created by a stack allocation
==2703110==    at 0x10A3CE: main (58633_11.cpp:36)

问题疑惑 #

明明用malloc做了堆分配，为什么Valgrind提示未初始化值来自栈分配？

问题根源与修复方案 #

根源：参数类型匹配错误导致栈内存越界 #

vaoAddBufferM的第二个参数VBO_t *vbo[]等价于VBO_t **vbo，你调用时传了&vbo1（VBO_t**类型），看似类型匹配，但逻辑完全错误：

• vbo1是指向堆上2个VBO_t（uint）的指针，&vbo1是指向该指针的指针；
• 函数内的vbo[i]实际是在访问栈上的指针数组：vbo[0]取的是栈上的vbo1指针本身，vbo[1]取的是栈上vbo1变量后面的未初始化内存——这就是Valgrind提示“未初始化值来自栈分配”的原因。

修复方案（二选一） #

方案1：修改函数参数与逻辑（推荐）

因为VBO_t是uint的别名，直接传堆上的VBO_t数组指针更合理：

// 修改函数参数
void vaoAddBufferM(VAO_t *vao, VBO_t *vbo, VBLayout_t *layout)
{
    vaoBind(vao);
    uint32_t offset = 0;
    for(uint32_t i = 0; i < layout->size; i++) {
        // 根据vboBind的参数类型调整：如果需要VBO_t*就传&vbo[i]，如果需要VBO_t就传vbo[i]
        vboBind(&vbo[i]);
        glEnableVertexAttribArray(i);
        DBG_GLCHECKERROR();
        glVertexAttribPointer(
            i,
            layout->elements[i].count,
            layout->elements[i].type,
            layout->elements[i].normalized,
            layout->stride,
            (const void *)(size_t)offset
            );
        DBG_GLCHECKERROR();
        offset += layout->elements[i].count * layout->elements[i].typeSize;
    }
}

// 修改调用方式
vaoAddBufferM(&vao[0], vbo1, &vbl1);

方案2：调整调用方式（不修改函数）

创建栈上的指针数组，指向堆上的每个VBO_t元素：

VBO_t *vboPtrs[2] = {&vbo1[0], &vbo1[1]};
vaoAddBufferM(&vao[0], vboPtrs, &vbl1);

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