使用malloc为结构体分配内存后，其中的指针变量是否会被初始化为NULL？

你的结构体定义：

struct Node{
    void *data;
    struct Node *left;
    struct Node *right;
};

对应的测试代码：

int main(int argc, char** argv){
    struct Node *node = malloc(sizeof(struct Node));
    if(node->left == NULL){
        //是否能保证此处为NULL？
    }
    return 0;
}

结论：不能保证node->left是NULL #

malloc()函数仅负责从堆上分配指定大小的内存空间，不会对分配到的内存做任何初始化操作。这块内存里的内容是之前程序运行遗留的“脏数据”，可能是任意值。结构体中的left、right、data等指针成员的值完全不确定，绝对不能默认它们是NULL。

直接访问未初始化的指针属于未定义行为，可能导致程序崩溃、逻辑异常等不可预料的结果。

正确的初始化方式 #

有两种可靠方法确保指针成员被初始化为NULL：

1. 使用calloc()替代malloc()
calloc()在分配内存后会自动将所有字节初始化为0，而C语言中指针的0值等价于NULL，因此能保证所有指针成员都是NULL：

struct Node *node = calloc(1, sizeof(struct Node));

2. 手动初始化成员
   如果坚持使用malloc()，分配成功后手动给每个指针成员赋值为NULL：

struct Node *node = malloc(sizeof(struct Node));
if (node != NULL) { // 必须先检查malloc是否分配成功
    node->data = NULL;
    node->left = NULL;
    node->right = NULL;
}

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