“写出printf的输出结果”——你能看到什么？

<!-- @page { margin: 2cm } P { margin-bottom: 0.21cm } PRE.western { font-family: "DejaVu Sans Mono", monospace } PRE.cjk { font-family: "DejaVu Sans", monospace } PRE.ctl { font-family: "DejaVu Sans Mono", monospace } A:link { so-language: zxx } -->

  刚才在 CSDN -CSDN 社区 -C/C++ -C 语言 里面发现了网友们在讨论一个 printf 函数 输出结果的问题。因为自己最近在看一个和 scanf 函数 相关的问题，也就进去看了看（原帖链接：http://topic.csdn.net/u/20100801/07/9775eb1c-d6da- 4cb1-a968-c16bc72cc958.html?77377 ）。

-------------------------------------------------------------

下面就网友们的观点进行描述：

楼主： winematrix

  写出（以下程序中）printf 的输出结果。假设这些代码运行在intel cpu, 32bit. integer 四个bytes.

//code starts ：

#include <stdio.h>



int
 main()


{



int
 a[
5
]={
10
, 
20
, 
30
, 
40
, 
50
};


int
 b[
5
]={
100
, 
200
, 
300
, 
400
, 
500
};


int
 *ptr = (
int
 *)(&a+
1
);


int
 *t = (
int
 *)(&a -
1
);



printf(
"%d  %d  %d /n"
, *(a+
1
), *(ptr-
1
), *(t+
1
));



}

//code ends.







1#:

bluejays
:




*(a+1) 
输出 a[1]
，也就是20




*(ptr-1) 
输出a[4]
，也就是50
。

ptr
指向a[5]
的位置，所以ptr-1
就是a[4]




*(t+1)
这个就不一定了。t
指向a[-5]
，*(t+1)
就是a[-4]
，这个位置是什么值，我觉得依赖于编译器。



2#
bluejays
:




我的编译器a
的地址是0x22ccc0
，b
的地址是0x22cca0
，也就是说编译器给b
分配了8
个int
的空间，b[0]
在a[-8]
的位置上，所以a[-4]


的位置是b[4]
，*(t+1)
输出500,


ptr
和t
分别是0x22ccd4
、0x22ccac




5#
wibnmo
:


b
地址为:12ff58


a
地址为:12ff6c


&a+1
的地址为：12ff80
（这里的1

是指a

整个数组）


10
：12ff6c


20
：12ff70


30
：12ff74


40
：12ff78


50
：12ff7c


同样&a-1
为：12ff58
这正是b
数组的起始地址。

int *ptr = (int *)(&a+1);




ptr
为指向12ff80
的指针,ptr-1
为12ff7c,
即元素50.




int *t = (int *)(&a -1);




t
为指向12ff58
这块区域的指针,
这里正是数组b
的区域,t+1
即是元素200
的地址。

【以上内容在编辑格式上与原帖略有不同，望原作者见谅。】

--------------------------------------------------




以下网友们的问答，我学习总结如下：

[1]:


关于编译后 两个数组 的地址

（b
地址为:12ff58----a
地址为:12ff6c
，这里引用 wibnmo
网友的分析，没有自己的分析着实不该，这里暂且用以说明问题。）

解释如下：

由于 a[5]   b[5] 


同为局部变量，编译器在进行内存分配时，把他们放在了数据栈之上。 而栈的生长方式为向下增长，即在源代码中

出现较晚的变量将会在较低地址上获得自己的存储区域。

[2]:


有关地址运算
int
 *ptr = (int
 *)(&a+1
);

int
 *t = (int
 *)(&a -1
);

的问题:




根据网友们的分析，我得出以下结论，

int *ptr=(int *)(&a+1)


所做的是 在以a[]
为“格式单元”（0x12ff6c--0x12ff7c
）的内存地址之上，加上一个 int *
类型长度的内存空间（这里是4


个字节长度），所得的地址(0x12ff80)
放入ptr
中。

int
 *t = (int
 *)(&a -1
);





所做的工作同以上分析类似，在此不再说明。




[
补—1]


：以上分析不妥，再行分析。

int *ptr=(int *)(&a+1)
；这里 (&a + 1)
经过测试，等价于(0x12FF7F + 
１)
。

而我的测试： int *t1 = &a
，则有0x12FF6C
。这是可以理解的。至于上面一行的情况，目前我的解释和原来的讨论大体一致，采用

“格式单元”的说法（有待学习纠正）。不同之处在于所加的内存空间长度为1
个字节长度，而不是 int * 
类型的长度。

[3]: 

int
 *t = (
int
 *)(&a + 
1
);

与 int t= &a + 1;
的区别。

经过测试，在实现的结果上没有区别。至于更多的讨论，这里先不去考虑。

[4]:
贴出我的一些测试及其结果：

#include <stdio.h>




int main()




{




        int a[5] = {1,2,3,4,5};




        int b[5] = {6,7,8,9,a};




        int *t1 = &a + 1;




        int *t2 = (int *)(&a + 1);




        //printf("a==%X;/nb==%X;/nt1==%X;/nt2==%X;/n",&a,&b,&t1,&t2);




        //printf("a[0]==%X;/nb[0]==%X;/nt1==%X;/nt2==%X;/n",&a[0],&b[0],&t1,&t2);




        //printf("int * ==%d;/na[5]==%X;/nb[5]==%X;/nt1==%X;/nt2==%X;/n",sizeof(int *),&a[4],&b[4],&t1,&t2);




        printf("int * ==%d;/na[5]==%X;/nb[5]==%X;/nt1==%X;/nt2==%X;/n",sizeof(int *),&a[4],&b[4],t1,t2);




        return 0;




}




// [Conclusions]:




/*------------




<1>     




printf("a==%X;/nb==%X;/nt1==%X;/nt2==%X;/n",&a,&b,&t1,&t2);




a==13FF6C;




b==13FF58;




t1==13FF54;




t2==13FF50;




Press any key to continue




<2>




printf("a[0]==%X;/nb[0]==%X;/nt1==%X;/nt2==%X;/n",&a[0],&b[0],&t1,&t2);




a[0]==13FF6C;




b[0]==13FF58;




t1==13FF54;




t2==13FF50;




Press any key to continue




<3>




printf("a[5]==%X;/nb[5]==%X;/nt1==%X;/nt2==%X;/n",&a[4],&b[4],&t1,&t2);




a[5]==13FF7C;




b[5]==13FF68;




t1==13FF54;




t2==13FF50;




Press any key to continue




<4>




printf("int * ==%d;/na[5]==%X;/nb[5]==%X;/nt1==%X;/nt2==%X;/n",sizeof(int *),&a[4],&b[4],&t1,&t2);




int * ==4;




a[5]==13FF7C;




b[5]==13FF68;




t1==13FF54;




t2==13FF50;




Press any key to continue




<5>




printf("int * ==%d;/na[5]==%X;/nb[5]==%X;/nt1==%X;/nt2==%X;/n",sizeof(int *),&a[4],&b[4],t1,t2);




int * ==4;




a[5]==13FF7C;




b[5]==13FF68;




t1==13FF80;




t2==13FF80;




Press any key to continue




-------------*/




[5]:


关键的问题没有解决，看来得在 指针方面 再做加强了。