C语言传递结构体指针时柔性数组出现乱码问题求助

嘿，这个问题其实是柔性数组成员的内存分配错误引发的经典未定义行为，咱们一步步拆解来看：

核心问题分析 #

你定义的结构体里，char thing1[]是C语言的柔性数组成员——它的特殊之处在于：结构体本身不会为它分配内存空间，只是作为一个“占位符”，需要你在分配结构体的时候手动额外预留内存。

但你在main里直接声明了struct structName s;，这时候栈上只会给thing2分配2字节（假设系统中unsigned short是2字节）的空间，thing1根本没有可用的内存。当你在function_1里执行strcpy(s->thing1, "Hello");时，其实是把字符串写到了结构体之后的栈内存区域里，这属于栈内存越界写入。

这种越界行为是未定义的：有时候刚好这片内存暂时没被覆盖，所以function_1和第一次main的printf能正常输出；但当你调用function_2时，函数调用会修改栈上的内容（比如保存返回地址、局部变量），刚好覆盖了之前越界写入的"Hello"，所以后续输出就变成了随机乱码。

修复方案 #

方案1：动态分配带柔性数组的结构体（推荐） #

计算需要的总内存：结构体本身的大小（不含柔性数组） + 字符串长度 + 1（字符串终止符'\0'），用malloc分配内存：

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

struct structName {
    unsigned short thing2;
    char thing1[];
};

void function_1(struct structName *s) {
    strcpy(s->thing1, "Hello");
    printf("Function 1\n%s\n\n", s->thing1);
}

void function_2(struct structName *s) {
    printf("Function 2\n%s\n\n", s->thing1);
}

int main() {
    // 计算总内存：结构体大小 + "Hello"的长度(5) + 1('\0')
    size_t total_size = sizeof(struct structName) + 6;
    struct structName *s = malloc(total_size);
    if (s == NULL) {
        perror("malloc failed");
        return 1;
    }

    function_1(s);
    printf("Main\n%s\n\n", s->thing1);
    function_2(s);
    printf("Main 2\n%s\n\n", s->thing1);

    free(s); // 记得用完释放内存
    return 0;
}

方案2：栈上使用（不推荐，栈空间有限） #

如果一定要在栈上使用，可以嵌套结构体来预留足够的缓冲区：

#include <stdio.h>
#include <string.h>

struct structName {
    unsigned short thing2;
    char thing1[];
};

#define MAX_THING1_BUF 64
struct structName_with_buf {
    struct structName base;
    char buf[MAX_THING1_BUF];
};

void function_1(struct structName *s) {
    strcpy(s->thing1, "Hello");
    printf("Function 1\n%s\n\n", s->thing1);
}

void function_2(struct structName *s) {
    printf("Function 2\n%s\n\n", s->thing1);
}

int main() {
    struct structName_with_buf s;
    // 让柔性数组指向预留的缓冲区
    s.base.thing1 = s.buf;
    
    function_1(&s.base);
    printf("Main\n%s\n\n", s.base.thing1);
    function_2(&s.base);
    printf("Main 2\n%s\n\n", s.base.thing1);

    return 0;
}

复杂程序的排查方向 #

如果你的实际程序更复杂，除了柔性数组的问题，还可以从这几个方向排查：

• 检查所有涉及该结构体的内存操作：有没有其他地方发生越界写入（比如给thing2赋值时超出unsigned short的范围，或者其他函数修改了结构体附近的内存）
• 确认所有操作该结构体的函数都知晓它是带柔性数组的：不能混用栈上直接声明的结构体实例和动态分配的实例
• 排查栈内存破坏：比如其他函数里的局部数组越界、野指针赋值等，都会导致栈上的数据被意外篡改

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