C中的双指针const正确性警告

Question

指向非常量数据的指针可以隐式转换为指向相同类型的常量数据的指针：

int       *x = NULL;
int const *y = x;

从逻辑上讲，添加其他const限定符以匹配其他间接寻址应以相同的方式进行：

int       *      *x = NULL;
int       *const *y = x; /* okay */
int const *const *z = y; /* warning */

但是，使用带有-Wall标志的GCC或Clang进行编译会导致以下警告：

test.c:4:23: warning: initializing 'int const *const *' with an expression of type
      'int *const *' discards qualifiers in nested pointer types
    int const *const *z = y; /* warning */
                      ^   ~

为什么要添加额外的const限定词“在嵌套指针类型中丢弃限定词”？

Answer 1

const只能被const添加的原因是微妙的，由comp.lang.c FAQ中的问题11.10进行了解释。

简要地，请考虑与您的示例紧密相关的示例：

const int i;
int *p;
int const **z = &p;
*z = &i;
/* Now p points to i */

C通过仅允许分配在第一个指向级别上丢弃限定符来避免此问题（因此，此处不允许分配给z ）。

您的确切示例不会遇到此问题，因为const第二级意味着无论如何都不允许分配给*z 。 C ++ 允许它在这个确切情况，但是C的简单规则，不会将您的情况和上面的例子加以区分。

Answer 2

由其他答案链接的FAQ条目解释了为什么不允许以下代码：

int **x = whatever;
const int **z = x;

但是，您的代码const int *const *z = x; 完全不同，并且不会遇到FAQ提出的相同缺陷。

实际上，后一种代码在概念上没有错。 不允许这样做只是C规范中的一个缺陷，它迫使C程序员在其代码中包含丑陋的强制类型转换。

C可能会使用与C ++相同的规则。 但是C标准委员会没有决定这样做。