所以我在假期里一直在努力学习C语言.现在我遇到了const个，所以我一直在玩弄它.过了一会儿，我发现了这一点
#include <stdio.h>
typedef struct StructA {
int* ptr;
} struct_a;
void modify(const struct_a value)
{
*value.ptr = 0;
}
int main()
{
int x = 5;
const struct_a y = { .ptr = &x };
printf("%d\n", x);
modify(y);
printf("%d", x);
return 0;
}
// Output:
// 5
// 0
我的一般 idea 是，虽然 struct 是常量，但指针所指向的值不是常量，因此可以修改它.有人能解释一下这里到底是怎么回事吗？
编辑:稍加修改
该函数通过值接受其参数
void modify(const struct_a value)
{
*value.ptr = 0;
}
您可以通过以下方式想象该函数及其调用
const struct_a y = { .ptr = &x };
//...
modify(y);
//...
void modify( /*const struct_a value*/)
{
const struct_a value = y;
*value.ptr = 0;
}
这意味着对象值的数据成员PTR是恒定的.
也就是说，函数中的 struct 实际上具有以下定义
typedef struct StructA {
int * const ptr;
} struct_a;
因此，您不能更改数据成员PTR本身(存储在数据成员PTR中的值).但您可以更改数据成员PTR所指向的对象
*value.ptr = 0;
由于函数参数和实参中的指针ptr指向同一对象，因此可以更改main中声明的 struct 的指针所指向的对象
考虑一下这些声明
const int *ptr = &x;
这意味着指针PTR所指向的对象被视为常量.
在这份声明中
int * const ptr = &x;
指针本身就是一个常量.
最后，在这份宣言中
const int * const ptr = &x;
指针本身和指针指向的对象都是常量.