指向2D阵列与不相容的行长度

Question

我尝试以下代码

char arr[5] = {'A', 'E', 'I', 'O', 'U'}; 
    char (*p_arr)[1] = &arr; 
    printf("%c\n", p_arr[0][4]); //returns 'U' 

为什么没有任何错误，因为

char (*p_arr)[1] = &arr; 

似乎是从不兼容的类型的初始化（char (*)[5]而不是要求char (*)[1]）？此外，p_arr[0][4]要求阵列的第5个元素应该只有1元素。这不是错的吗？

Answer 1

你的编译器坏了/配置不正确/不合规。

数组指针指向具有1个元素的数组不兼容数组指针指向5个元素的数组。 简单的赋值的C语言中的规则说，一个有效的指针分配必须是（C11 6.5.16.1重点煤矿）：

• 左操作具有原子，合格，不合格的或指针类型，和（考虑两个操作数都是指向合格或不合格 兼容类型的指针，左边指向的类型具有 右边指向的所有类型的限定符;左边操作数在右边指向的所有类型的限定符都具有 。

如果我们删除所有来自引用文字的正式标准方面，我们结束了这个简单的英语：

=运算符的左操作数的指针类型，两个操作数都指向兼容类型的指针。

这是不是在你的代码的情况下，因此它含有一种被称为违反约束，意味着代码违反了什么是C标准允许的。