C语言结构体指针能否直接为成员赋值？附段错误代码排查

指向合法有效内存空间的结构体指针，完全可以通过->运算符直接为结构体成员赋值。运行触发段错误，是给出的示例代码存在多处语法、逻辑错误导致的，和指针为结构体成员赋值的语法特性本身无关。

• 野指针非法访问：代码中定义_BUF *pbuf;后未给该指针分配或指向合法的_BUF类型内存空间，pbuf是指向随机地址的野指针，此时执行pbuf->p = p、pbuf->num = size属于对非法内存地址的写入操作，是触发段错误的直接原因。
• 柔性数组成员使用错误：结构体中定义的_u32 p[]是C99标准的柔性数组成员，这类成员有严格的使用规则：必须作为结构体的最后一个成员存在、内存需要和结构体本体连续分配、不能被直接赋值为外部指针、sizeof计算结构体大小时不会包含柔性数组的存储空间。代码中pbuf->p = p的写法完全违反柔性数组的使用规则，本身就是语法错误。
• 函数返回值类型不匹配：函数声明的返回值类型是_BUF（结构体值类型），但实际要返回的是_BUF*（结构体指针类型），二者类型不兼容，会触发编译错误。
• 语法笔误：malloc(size + sizeof(_BUF)))末尾多写了一个右括号，编译阶段会直接抛出语法错误。
• 依赖缺失：使用malloc函数需要提前引入<stdlib.h>头文件，代码中用到的_I、_u32自定义类型也未提前声明，会触发类型未定义的编译错误。

#include <stdlib.h>
// 按常规语义预定义用到的自定义类型
typedef int _I;
typedef unsigned int _u32;

typedef struct{
    _I num;
    _u32 p[]; // 柔性数组成员必须放在结构体末尾
}_BUF;

// 修正返回值类型为结构体指针
_BUF* create_buf(_I size){
    // 一次性分配结构体本体+柔性数组所需的连续内存，柔性数组元素个数为size
    _BUF *pbuf = malloc(sizeof(_BUF) + size * sizeof(_u32));
    if (pbuf == NULL) { // 必须校验内存分配是否成功
        return NULL;
    }
    pbuf->num = size;
    // 柔性数组不需要单独赋值指针，分配完连续内存后可直接访问p[i]操作元素
    return pbuf;
}

// 内存使用完后需要手动释放，避免内存泄漏
void destroy_buf(_BUF* pbuf){
    free(pbuf);
}

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