在 C 和 C++ 中使用 const 限定符指向数组的指针

Question

考虑以下程序：

int main()
{
    int array[9];
    const int (*p2)[9] = &array;
}

它在 C++ 中编译良好（参见现场演示 here），但在 C 中编译失败。默认情况下，GCC 会给出以下警告。 （见现场演示here）。

prog.c: In function 'main':
prog.c:4:26: warning: initialization from incompatible pointer type [enabled by default]
     const int (*p2)[9] = &array;

但如果我使用-pedantic-errors 选项：

gcc -Os -s -Wall -std=c11 -pedantic-errors -o constptr constptr.c

它给了我以下编译器错误

constptr.c:4:26: error: pointers to arrays with different qualifiers are incompatible in ISO C [-Wpedantic]

为什么它在 C 中编译失败，而在 C++ 中却没有？ C & C++ 标准对此有何规定？

如果我在数组声明语句中使用 const 限定符，它在 C 中也可以正常编译。那么，在上面的程序中发生了什么？

Answer 1

GCC-gnu

在 GNU C 中，指向带有限定符的数组的指针与指向其他限定类型的指针类似。例如，int (*)[5] 类型的值可用于初始化const int (*)[5] 类型的变量。 这些类型在 ISO C 中是不兼容的，因为 const 限定符正式附加到数组的元素类型而不是数组本身。

C 标准说（部分：§6.7.3/9）：

如果数组类型的规范包括任何类型限定符，则元素类型是这样限定的，不是数组类型。[...]

现在看看 C++ 标准（第 3.9.3/5 节）：

[...] 应用于数组类型的 Cv 限定符附加到底层元素类型，因此符号“cv T”，其中T 是一个数组类型，指的是一个数组，其元素是-合格的。 元素经过 cv 限定的数组类型也被认为具有与其元素相同的 cv 限定。 [例子：

 typedef char CA[5];
 typedef const char CC;
 CC arr1[5] = { 0 };
 const CA arr2 = { 0 };

arr1 和 arr2 的类型都是“5 个 const char 的数组”，数组类型被认为是 const 限定的。 ——结束示例]

因此，初始化

const int (*p2)[9] = &array;  

将类型指向int的数组[9]的指针分配给指向常量int的数组[9]的指针。这与将int * 分配给const int * 不同，其中const 直接应用于指针指向的对象类型。 const int(*)[9] 不是这种情况，在 C 中，const 应用于数组对象的元素，而不是指针指向的对象。这使得上述初始化不兼容。

此规则在 C++ 中已更改。由于 const 应用于数组对象本身，因此赋值是在相同类型 pointer to const array[9] of int 而不是类型 pointer to array[9] of @987654342 @ 和 指向 const int 的数组[9] 的指针。