为什么 C 中禁止将指针到指针到非常量转换为指针到指针到常量？

指针解引用：为什么禁止转换为“指向 const 的指针”

在 C 中，允许转换指针-to-non-const 到指向 const 的指针。但是，不允许从指针到指针到非常量到指针到指针到常量的转换。这就提出了一个问题：为什么？

要理解此限制背后的原因，我们必须考虑指针解除引用。当取消引用指针到指针时，它表示访问最内层指针指向的值。例如，考虑以下代码：

int i = 10;
int *ptr = &i;
int **pptr = &ptr;

这里，**pptr 相当于 *ptr，它只是值 i。

但是，如果我们允许转换为指针到指针到常量，类似的取消引用操作将产生一个常量值。这会引入不一致，破坏 const 指针的不变性。例如：

char *s1 = 0;
const char *s2 = s1; // OK...
char *a[MAX]; // aka char **
const char **ps = a;  // Error!

这里，s2 是一个 const 指针，意味着它不能指向其他任何东西。但是，如果允许 ps，我们可能会取消引用它以获取 a，然后修改 a 的值，从而有效地更改 s2 指向的值，这是禁止的。

因此，为了保持 const 的完整性指针，该语言禁止从指针到指针到非常量到指针到指针到常量的转换。这确保了 const 指针的不变性得以保留，从而防止对常量值的无意修改。

以上是为什么 C 中禁止将指针到指针到非常量转换为指针到指针到常量？的详细内容。更多信息请关注PHP中文网其他相关文章！