结构体场景下未使用printf时出现段错误的原因排查

你的代码触发段错误的核心原因是**new_vec2函数中对未初始化野指针的非法内存访问**，这属于C语言中的未定义行为（Undefined Behavior）——这类问题的表现完全不可预测，printf的存在只是碰巧“掩盖”了错误，并非真正解决问题。

具体问题分析 #

看你的new_vec2函数：

t_vec2 *new_vec2() {
    t_vec2 *buf;
    buf->size = 2;  // 这里！buf是未初始化的野指针，指向随机内存
    if(!(buf = (t_vec2*)malloc(sizeof(t_vec2)))) return (0);
    // ... 后续代码
}

你声明了buf但没有给它赋值，此时它是一个野指针（指向内存中随机的、未授权的地址）。这时候直接给buf->size赋值，本质是在向一段随机内存写入数据，已经触发了未定义行为。

为什么保留printf时没崩溃？
这是未定义行为的典型特征：它可能因为编译器优化、栈内存布局、后续代码的内存操作等巧合，暂时没有破坏程序的关键数据（比如函数返回地址、栈帧结构）。但当你移除printf后，程序的内存布局或执行流程发生变化，之前的非法写操作刚好破坏了程序正常运行的必要数据，最终触发段错误。

修正后的代码 #

我们需要先通过malloc为buf分配合法内存，再去操作它的成员。另外建议在new_vec2中直接初始化函数指针，避免在main中重复赋值：

#include <stdlib.h>
#include <stdio.h>

typedef struct s_vec2 t_vec2;
struct s_vec2 {
    float *data;
    size_t size;
    void (*set_x)(t_vec2*, float);
    void (*set_y)(t_vec2*, float);
    float (*get_x)(t_vec2*);
    float (*get_y)(t_vec2*);
};

// 工具函数实现
void func_set_x(t_vec2 *v, float x) {
    v->data[0] = x;
}
void func_set_y(t_vec2 *v, float y) {
    v->data[1] = y;
}
float func_get_x(t_vec2 *v) {
    return v->data[0];
}
float func_get_y(t_vec2 *v) {
    return v->data[1];
}

t_vec2 *new_vec2() {
    t_vec2 *buf;
    // 第一步：先分配结构体本身的内存
    if(!(buf = malloc(sizeof(t_vec2)))) return NULL;
    // 现在buf指向合法内存，可以操作成员了
    buf->size = 2;
    // 分配data数组的内存
    if(!(buf->data = malloc(sizeof(float) * buf->size))) {
        free(buf);
        return NULL;
    }
    // 初始化函数指针
    buf->set_x = func_set_x;
    buf->set_y = func_set_y;
    buf->get_x = func_get_x;
    buf->get_y = func_get_y;
    return buf;
}

int main() {
    t_vec2 *a = new_vec2();
    if (!a) { // 别忘了检查内存分配是否成功
        fprintf(stderr, "Memory allocation failed\n");
        return 1;
    }
    float val = 5;
    a->set_x(a, val);
    a->set_y(a, 6);
    // 无论是否保留printf，程序都能正常运行
    // printf("vec %f %f\n",a->get_x(a), a->get_y(a));
    
    // 别忘了释放内存，避免泄漏
    free(a->data);
    free(a);
    return 0;
}

额外注意事项 #

• 始终在使用指针前确保它指向合法内存，避免野指针操作。
• 内存分配后一定要检查是否成功（malloc返回NULL表示分配失败）。
• 不再使用动态分配的内存时，要逐层释放（先释放data，再释放结构体本身），避免内存泄漏。

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