为何const限定下嵌套结构体成员仍被修改？如何禁止该操作？

嘿，我懂你碰到的这个问题——给嵌套结构体的指针加了const限定，结果内部的base_data->value还是能被修改，这确实有点让人困惑对吧？其实这是C语言里const限定符的浅层作用特性导致的，咱们来一步步拆解解决它。

先搞清楚为什么当前的const不起作用 #

你写的函数参数const struct middle_data const *middle_ptr，其实等价于const struct middle_data *const middle_ptr，它的两层const分别限定的是：

• 右侧的const：指针middle_ptr本身不能被修改（比如不能给middle_ptr = NULL赋值）
• 左侧的const：middle_ptr指向的struct middle_data对象不能被修改——也就是说你不能修改middle_ptr->int_data_ptr这个指针本身（比如不能给它重新赋值另一个地址），但这个指针指向的base_data对象是不受任何const限定的，所以你依然能通过它修改value成员。

两种解决方案，按需选择 #

方案1：修改结构体定义，从根源限定指针类型 #

如果你希望所有使用struct middle_data的场景下，int_data_ptr都只能读取base_data而不能修改，那直接在结构体定义里把指针改成指向const类型：

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

struct base_data { int value; };
// 给int_data_ptr加上const，让它只能指向不可修改的base_data
struct middle_data { const struct base_data *int_data_ptr; };

void function(const struct middle_data *const middle_ptr) {
    // 这里尝试修改value会直接触发编译错误！
    // middle_ptr->int_data_ptr->value = 2; // 编译器报错：assignment of read-only member ‘value’
    const struct base_data *ptr = middle_ptr->int_data_ptr;
    printf("ptr->value = %d\n", ptr->value);
}

int main(int argc, char **argv) {
    struct middle_data *middle_data_ptr = malloc(sizeof(*middle_data_ptr));
    middle_data_ptr->int_data_ptr = malloc(sizeof(*middle_data_ptr->int_data_ptr));
    middle_data_ptr->int_data_ptr->value = 3;
    
    function(middle_data_ptr);
    printf("middle_data_ptr->int_data_ptr->value = %d\n", middle_data_ptr->int_data_ptr->value);
    
    // 注意释放顺序：先释放内部指针，再释放外层结构体
    free((void*)middle_data_ptr->int_data_ptr); // 这里需要强制转换，因为int_data_ptr是const指针
    free(middle_data_ptr);
    return 0;
}

这种方法最彻底，编译器会直接阻止任何修改value的尝试，完全符合你的需求。

方案2：不修改结构体，在函数内部手动限定指针 #

如果不想改动原始结构体的定义（比如某些场景下你需要这个指针既能读又能写），那可以在函数内部用const struct base_data*来接收int_data_ptr，强制限定只能读取：

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

struct base_data { int value; };
struct middle_data { struct base_data *int_data_ptr; };

void function(const struct middle_data *const middle_ptr) {
    // 用const指针接收，避免修改
    const struct base_data *ptr = middle_ptr->int_data_ptr;
    // ptr->value = 2; // 这里会触发编译错误
    printf("ptr->value = %d\n", ptr->value);
}

int main(int argc, char **argv) {
    struct middle_data *middle_data_ptr = malloc(sizeof(*middle_data_ptr));
    middle_data_ptr->int_data_ptr = malloc(sizeof(*middle_data_ptr->int_data_ptr));
    middle_data_ptr->int_data_ptr->value = 3;
    
    function(middle_data_ptr);
    printf("middle_data_ptr->int_data_ptr->value = %d\n", middle_data_ptr->int_data_ptr->value);
    
    // 正确释放顺序
    free(middle_data_ptr->int_data_ptr);
    free(middle_data_ptr);
    return 0;
}

这种方法依赖函数内部的代码规范，虽然编译器会阻止直接修改，但如果有人用强制转换绕过const，还是能修改——不过开启-Wall等编译警告的话，编译器会提示这种不安全的转换。

额外提醒：内存释放的顺序 #

你的main函数里有个小问题：先释放middle_data_ptr再释放int_data_ptr会导致野指针，正确的顺序应该是先释放内部的int_data_ptr，再释放外层的middle_data_ptr，不然会造成内存泄漏。

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