c - "const int *ptr=&i"到底是什么意思？为什么它接受非常量地址？

Question

非常需要您的回答来清除我今天意识到的关于 const 的理解中的这个主要缺陷。

在我的程序中，我使用了语句 const int *ptr=&i; 但没有对变量 i 使用任何 const 限定符。有两件事让我感到困惑:

1) 当我尝试使用 ptr 修改 i 的值时，我使用了 const int *ptr=&i; ，我得到错误 assignment of read-only location '*ptr'| ，即使我没有声明具有 const 限定符的变量 i。那么声明 const int *ptr=&i; 的确切 是什么意思，它与 int * const ptr=&i; 有何不同？

我脑子里一直在想 const int *ptr=&i; 意味着指针存储一个常量的地址，而 int * const ptr=&i; 意味着指针本身是常量并且不能改变。但是今天一位用户在讨论中告诉我(LINK)const int *ptr means the memory pointed to must be treated as nonmodifiable _through this pointer_ .我发现这是新的东西，因为这有点意味着“一些选择指针不能改变值(value)(而其他人可以)”。我不知道这样的选择性声明!!但是一位 180k 的老手证明该用户是正确的!!.所以你能用更清晰、更详细和更严格的方式来说明这一点吗？``const int *ptr=&i; 到底是什么意思？ 是什么意思？

2) 我还被告知，我们可以通过将非常量的地址分配给指针来欺骗语句 const int *ptr=&i; 中的程序。它是做什么的是什么意思？为什么我们被允许这样做？如果我们将非常量的地址分配给需要常量地址的指针 ptr，为什么我们不会收到警告？如果它对分配的地址如此宽容非常量，为什么当我们尝试更改该非常量的值时会抛出错误，这是合理的做法，指向的变量是非常量？

#include <stdio.h>

int main ()
{
 int i=8;
 const int *ptr=&i;
 *ptr=9;
 printf("%d",*ptr);
}

错误: assignment of read-only location '*ptr'|

Answer 1

定义 const int *ptr = &i; 本质上是说“我不会通过 ptr 修改 i。”不是说ptr指向的int是const，而是说ptr不应该被使用修改它。

这种转换是允许的，因为它是有意义的:由于 i 不是 const，我允许修改它，但我也可以选择不修改。当我选择不修改 i 时，没有违反任何规则。而且，如果我创建一个指向 i 的指针并说“我不会使用这个指针来修改 i”，那也很好。

您想要这样做的原因是您可以将对象的地址传递给一个例程，该例程采用指向 const 对象的指针。例如，考虑 strlen 例程。 strlen 例程不修改其输入，因此其参数是指向 const char 的指针。现在，我有一个指向 char 的指针，我想知道它的长度。所以我调用 strlen。现在我传递一个指向 char 的指针作为指向 const char 的指针的参数的参数。我们希望这种转换起作用。这是完全有道理的:I 可以根据需要修改我的 char，但是 strlen 例程不会这样做，因此它将它们视为 常量字符。

1) *ptr = something; 出现错误，因为你将 ptr 声明为指向 const int 的指针，但随后你违反了您不使用 ptr 修改 int 的 promise 。 ptr 指向一个不是 const 的对象这一事实并不否定您不使用 ptr 修改它的 promise 。

2) 将非const 对象的地址分配给指向const 的指针不是谎言。赋值并没有说对象是const，它说的是指针不应该被用来修改对象。

另外，虽然你没有问过这个，但 C 中的 const 属性并不是完全绑定(bind)的。如果将对象定义为 const，则不应修改它。但是，在其他情况下，指向 const 的指针被传递给例程，该例程将其转换为指向非 const 的指针。这实际上是语言中的一个缺陷，无法保留以我们可能更喜欢的方式处理 const 所需的所有信息。 strchr 例程就是一个例子。它的声明是 char *strchr(const char *s, int c)。参数 s 是 const char * 因为 strchr 不会改变它的输入。但是，strchr 例程的指针是从s 派生的(它指向字符串中的一个字符)。因此，在内部，strchr 已将 const char * 转换为 char *。

这允许您编写将 char * 传递给 strchr 并使用返回的指针修改字符串的代码，这很好。但这意味着编译器无法完全保护您免受错误，例如将 const char * 传递给 strchr 并使用返回的指针尝试修改字符串，这可能是一个错误。这是 C 的缺点。