为什么指向 const 的指针指向的位置可以由其他变量分配？

Question

这段代码我已经写好了

#include <stdio.h>
int main() {
     int b = 15;
     const int *foo = &b;
     //b = 20;
     *foo = 20;
     printf("%d", *foo);
     return 0;
}

这意味着foo 指向的位置不能改变。这意味着 b 无法更改。但是当我取消注释b = 20 时。它没有显示任何错误，我得到了输出 20 。在这段代码中，我收到此错误

main.c: In function 'main':
main.c:15:10: error: assignment of read-only location '*foo'
      *foo = 20;

如果*foo即b是只读位置，为什么我可以更改它的值b = 20？

Answer 1

这个问题的答案是在声明指针为之后

const int *foo = &b;

您不能使用 *foo 作为 L 值，因为此代码也会给出相同的错误

#include <stdio.h>
int main() {
     int a=10,b = 15;
     const int *foo = &b;
     foo=&a; //assigning foo the address of a
     *foo=30; // Again here you cant use *foo
     printf("%d", *foo);
     return 0;
}

Answer 2

是什么

 int b=15;
 const int* foo=&b;   

是什么意思？

意思是，

• b 是一个可修改的 int 对象。
• &b 的类型为 int *。 foo 的声明将 &b 转换为类型 const int *。这是一个有效的资格转换。
• foo 指向的 int 对象不得使用 foo 修改。

上述资格转换不会使b的声明无效，即它仍然是可修改的。 b 仍可用于更新其值，但 *foo 无法使用。

将const 视为一种承诺。您向编译器承诺您不会更改foo 指向的位置的值，但没有人会阻止您通过其他方式更改该位置的值来破坏该承诺。

Answer 3

我认为 chqrlie 说的错误消息“只读位置 '*foo' 的分配”具有误导性是正确的。实际上，const int *foo（即定义为指向const int 的指针）并不意味着指针所寻址的内存本身是不可变的；它只是意味着指针所寻址的内存不能通过这个指针改变；但是，它可能会以其他方式进行更改。例如，您可以定义第二个指针int *foo2 = &b，通过它您可以更改foo2 寻址的值。

因此，您可能会将指针视为特定内存地址上的值的单独视图，并且可以将视图声明为只读或非只读。但是，这不会影响特定内存地址本身的值是否不可变：

int main()
{
    int b=15;  // b is mutable
    const int* foo=&b; // *foo is immutable; b remains mutable
    int *foo2=&b; // *foo2 is mutable
    b=20;  // allowed, since b is mutable
    *foo=20; // not allowed, since "*foo" is immutable, even if the value to which it points (i.e. b) would be mutable
    *foo2=20; // allowed, since "*foo2" is mutable

    return 0;
}

虽然没有被问到，但反过来说，您实际上可以将 值 定义为不可变的，并且该值不得以任何方式更改；如果您以某种方式通过写入其内存地址来操纵该值，则行为未定义：

const int c = 15; // c is immutable
int* bar = &c; // warning: discards const qualifier
printf("%d\n", c);
*bar = 20;  // undefined behaviour from here on; modifying a const value is not allowed.
printf("%d\n", c); // undefined behaviour; good chance that it still prints 15, because a compiler might have relied on the fact that c is 15 and immutable
printf("%d\n", *bar); // undefined behaviour; probably printing 20?

希望对你有帮助。

Answer 4

不，const int* foo = &b; 并不意味着你不能改变b，这意味着你不能像这样取消引用这个指针并改变被取消引用的指针的值

*foo = 20;

---

你不能用const 说某些内存对所有人都是不可修改的。你可以说只有const这个变量不能改变这块内存，所以这个操作（如果b没有const修饰符）是完全有效的，即使你有指向b的const指针。

 b=20;

Answer 5

如果你想要一个指向非常量对象的常量指针声明它：

 T * const ptr = &t

T 是对象的类型，t 是对象本身