NO.17 EX11.10 非法引用数组元素

我爱橙

Q：若有下列定义和语句，则对a数组元素的非法引用是
int a[2][3],(*pt)[3];pt=a;

A.pt[0][0]         //指针变量 pt 指向 a 数组，*pt 相当于 a [0];

B.*(pt+1)[2]    //*(pt + 1) 相当于 a[ 1];*(pt + 1)[2] 相当于 *（pt + 3）;* (pt + 3) 等价于 a[3];显然 a[3] 不存在!所以选项 B 非法!

C.*(pt[1]+2)    //

D.*(a[0]+2)    //

答案是B，但为什么程序可以运行啊？

1. #include <stdio.h>
   
2. #include <math.h>
   
3. 
   
4. int main()
   
5. {
   
6.       int a[2][3],(*pt)[3];
   
7.           pt=a;
   
8.           
   
9.            printf("a=%d\n",a);                                      //a=648755
   
10.        printf("pt=%d\n",pt);                                    //pt=6487552
    
11.        printf("pt[0][0]=%d\n",pt[0][0]);                  //pt[0][0]=0
    
12.       
    
13.            printf("*(pt)[2]=%d\n",*(pt)[2]);              //*(pt)[2]=6487552
    
14.            printf("*(pt+1)[2]=%d\n",*(pt+1)[2]);     //*(pt+1)[2]=0
    
15.           
    
16.            printf("*(pt[1])=%d\n",*(pt[1]));             //*(pt[1])=0
    
17.            printf("*(pt[1]+2)=%d\n",*(pt[1]+2));    //*(pt[1]+2)=0
    
18.           
    
19.            printf("*(a[0])=%d\n",*(a[0]));              //*(a[0])=0
    
20.        printf("*(a[0]+2)=%d\n",*(a[0]+2));         //*(a[0]+2)=64
    
21. 
    
22.         return 0;
    
23. }

复制代码

傻眼貓咪

视编译器不同结果，如 gcc 或 MSVC 没有报错，Clang 则警告提示（但可运行）：

1. #include <stdio.h>
   
2. 
   
3. int main() {
   
4.         int a[2][3] = { {1, 2, 3}, {4, 5, 6} };
   
5.         int (*pt)[3];
   
6. 
   
7.         pt = a;
   
8. 
   
9.         printf("%d\n", pt[0][0]);
   
10.         printf("%d\n", *(pt + 1)[2]); // 警告提示 clang-analyzer-core.CallAndMessage: 2nd function call argument is an uninitialized value
    
11.         printf("%d\n", *(pt[1] + 2));
    
12.         printf("%d\n", *(a[0] + 2));
    
13. 
    
14.         return 0;
    
15. }

复制代码

运行后结果：LLVM - Clang

1. 1
   
2. 1
   
3. 6
   
4. 3

复制代码

Microsoft MSVC

1. 1
   
2. 5313572
   
3. 6
   
4. 3

复制代码

gcc 9.2

1. 1
   
2. 0
   
3. 6
   
4. 3

复制代码

**从以上结果看来，输出的并不是数组里的元素（如题：对 a 数组元素的非法引用）