C语言：修改const结构体内部指针指向数据的原理探究

你的理解方向是对的，核心要搞清楚const在修饰结构体时的作用范围：const修饰的是结构体实例本身，让结构体的所有成员成为只读，但不会自动把成员指针的指向内容也变成只读。具体拆解如下：

1. const struct_a的本质 #

当你用const修饰结构体类型时，相当于把结构体里的每个成员都加上了const属性，但这个属性只作用于成员本身，不会递归到成员的指向对象。

在你的代码里，结构体struct_a的成员是int* ptr——一个普通的int指针。所以const struct_a意味着：

• 你不能修改ptr这个指针变量本身（比如不能给value.ptr赋值新的地址）；
• 但ptr指向的是普通int类型的内存，这个内存的读写权限不受结构体的const影响，所以*value.ptr = 0是合法的。

2. 结合代码逐段分析 #

• main中的const struct_a y：y是一个const结构体实例，所以y.ptr这个指针变量不能被重新赋值（比如写y.ptr = &other_int会编译报错），但y.ptr指向的是普通int x，所以通过*y.ptr修改x的值完全合法。
• modify函数的参数const struct_a value：这里的value是传入的const结构体副本，同样value.ptr不能被修改，但*value.ptr可以操作指向的内存，所以函数里的赋值会直接改变x的值，最终输出0。

3. 反例：如果要让指针指向内容也只读 #

如果想让结构体的指针成员指向的内容也不能被修改，需要把结构体成员定义为const int* ptr，这时候即使结构体本身不是const，*ptr也无法修改指向的内容。比如：

typedef struct StructA {
    const int* ptr;
} struct_a;

void modify(struct_a value) {
    // *value.ptr = 0; 这行代码会编译报错，因为ptr指向const int
}

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