结构体内部使用指针的代码问题排查及优化方案咨询

兄弟，你眼光真准！这段代码确实藏着致命问题，哪怕它偶尔“侥幸”能运行，本质上也是完全不安全的，咱们一步步拆解来看。

首先贴出你提供的代码：

#include <stdio.h>
typedef struct {
    int num;
} myObj;
typedef struct {
    myObj *obj_ptr;
} myStruct;
void populate(myStruct *m1) {
    m1->obj_ptr->num = 123;
}
int main() {
    printf("Hello World");
    myStruct m1;
    populate(&m1);
    printf("%d", m1.obj_ptr->num);
    return 0;
}

核心问题：未初始化的野指针 #

你存疑的m1.obj_ptr->num这行，恰恰是整个代码的命门：

• 在main函数里，你只声明了myStruct m1，但**m1.obj_ptr这个指针根本没被初始化**——它指向的是内存里的随机地址（也就是所谓的“野指针”）。
• 当populate函数去给m1->obj_ptr->num赋值时，你其实是在往一块完全未知的内存区域写数据：这可能直接导致程序崩溃，也可能偷偷篡改其他变量的数据，引发莫名其妙的bug，甚至触发安全漏洞。
• 偶尔能运行纯粹是运气好，刚好那块随机内存暂时没被系统或其他程序占用，但这种情况完全不可靠，绝对不能依赖。

更优的实现方案 #

根据你的需求（通过populate填充m1而非返回结果），这里有几种靠谱的写法，你可以根据场景选择：

方案1：在main里提前分配内存（栈/堆可选） #

如果myObj不需要长期存在，用栈分配最简洁安全：

#include <stdio.h>
typedef struct {
    int num;
} myObj;
typedef struct {
    myObj *obj_ptr;
} myStruct;
void populate(myStruct *m1) {
    m1->obj_ptr->num = 123;
}
int main() {
    printf("Hello World\n");
    myObj obj; // 在栈上创建myObj实例
    myStruct m1 = {.obj_ptr = &obj}; // 初始化指针，明确指向栈上的obj
    populate(&m1);
    printf("%d\n", m1.obj_ptr->num); // 安全输出123
    return 0;
}

如果需要myObj在main函数结束后仍能存在，就用堆分配（记得要释放内存避免泄漏）：

#include <stdio.h>
#include <stdlib.h> // 引入malloc/free
typedef struct {
    int num;
} myObj;
typedef struct {
    myObj *obj_ptr;
} myStruct;
void populate(myStruct *m1) {
    // 先做空指针检查，避免非法访问
    if (m1 == NULL || m1->obj_ptr == NULL) {
        return;
    }
    m1->obj_ptr->num = 123;
}
int main() {
    printf("Hello World\n");
    myStruct m1;
    m1.obj_ptr = (myObj*)malloc(sizeof(myObj)); // 堆上分配内存
    if (m1.obj_ptr == NULL) { // 必须检查malloc是否成功
        printf("内存分配失败\n");
        return 1;
    }
    populate(&m1);
    printf("%d\n", m1.obj_ptr->num);
    free(m1.obj_ptr); // 用完释放堆内存
    return 0;
}

方案2：让populate函数负责内存分配 #

如果想把内存分配的逻辑也封装到populate里，让main更简洁：

#include <stdio.h>
#include <stdlib.h>
typedef struct {
    int num;
} myObj;
typedef struct {
    myObj *obj_ptr;
} myStruct;
void populate(myStruct *m1) {
    if (m1 == NULL) {
        return;
    }
    // 分配内存并直接初始化值
    m1->obj_ptr = (myObj*)malloc(sizeof(myObj));
    if (m1.obj_ptr != NULL) {
        m1->obj_ptr->num = 123;
    }
}
int main() {
    printf("Hello World\n");
    myStruct m1 = {.obj_ptr = NULL}; // 初始化为空指针，避免野指针
    populate(&m1);
    if (m1.obj_ptr != NULL) { // 检查是否分配成功
        printf("%d\n", m1.obj_ptr->num);
        free(m1.obj_ptr); // 记得释放内存
    }
    return 0;
}

方案3：直接嵌入myObj（彻底避免指针） #

如果myObj和myStruct总是绑定在一起，完全可以去掉指针，直接把myObj作为myStruct的成员——这是最安全、最易维护的写法，没有任何指针相关的风险：

#include <stdio.h>
typedef struct {
    int num;
} myObj;
typedef struct {
    myObj obj; // 直接嵌入，不用指针
} myStruct;
void populate(myStruct *m1) {
    if (m1 == NULL) {
        return;
    }
    m1->obj.num = 123;
}
int main() {
    printf("Hello World\n");
    myStruct m1;
    populate(&m1);
    printf("%d\n", m1.obj.num);
    return 0;
}

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