c语言的尴尬：取常量地址

ballball2

1. 
   
2. main()
   
3. {int *p,i;
   
4. i=100;
   
5. p=&
   
6. printf("%d\n",i); /*想第一次输出100*/
   
7. printf("%d\n",*p);
   
8. getch(); /*执行程序2,再按任意键*/
   
9. printf("%d\n",i); /*通过程序2输出50*/
   
10. }
    

复制代码

win_hate

原帖由 "ljttlf" 发表：
另外>;>;但从概念上看，c 与汇编没有直接关系
怎么说呢？c语言是最符合现在使用的计算机体系结构的语言，从最初的c语言实现可以看出来，c代码都是首先翻译成汇编的阿，然后再用as,ld。

原帖由 "The C Programming Language" 发表：

In 1983, the American National Standards Institute (ANSI) established a committee whose  goal was to produce "an unambiguous and machine-independant definition of the language C," while still retaining its spirit.

So C is "machine-independant" and assembly is "machine-dependant". It's all right to use assembly as illustration. But keep in mind that there is a subtile logical problem here. An implementaion should follow the standard, not in reverse. I would ask that is the assembler put an literal 5 on a machine instruction so that the 5 without an address or, because the standard says literal 5 can't own an address so the assembler put it in an machine instruction?

胡青牛

solaris 下编译的~

1. 
   
2. 
   
3.         .section        ".text",#alloc,#execinstr
   
4.         .align  8
   
5.         .skip   16
   
6. 
   
7.         ! block 0
   
8. 
   
9.         .global main
   
10.         .type   main,2
    
11. main:
    
12.         save    %sp,-136,%sp
    
13. 
    
14.         ! block 1
    
15. .L175:
    
16. .L176:
    
17. 
    
18. ! File a.c:
    
19. !    1  #include <stdio.h>;
    
20. !    2  #include <stdlib.h>;
    
21. !    3
    
22. !    4  int main(void) {
    
23. !    5          char    tmp[32];
    
24. !    6
    
25. !    7          printf("%p\n",tmp);
    
26. 
    
27.         sethi   %hi(.L178),%o0
    
28.         or      %o0,%lo(.L178),%o0
    
29.         call    printf
    
30.         add     %fp,-36,%o1
    
31. 
    
32. !    8          printf("%p\n",&tmp[0]);
    
33. 
    
34.         sethi   %hi(.L179),%o0
    
35.         or      %o0,%lo(.L179),%o0
    
36.         call    printf
    
37.         add     %fp,-36,%o1
    
38. 
    
39. !    9          printf("%p\n",&tmp);
    
40. 
    
41.         sethi   %hi(.L180),%o0
    
42.         or      %o0,%lo(.L180),%o0
    
43.         call    printf
    
44.         add     %fp,-36,%o1
    
45. 
    
46. !   11          exit(0);
    
47. 
    
48.         call    exit
    
49.         mov     %g0,%o0
    
50.         jmp     %i7+8
    
51.         restore
    
52. 
    
53.         ! block 2
    
54. .L174:
    
55.         jmp     %i7+8
    
56.         restore
    
57.         .size   main,(.-main)
    
58.         .align  8
    
59. 
    
60.         .section        ".rodata1",#alloc
    
61.         .align  4
    
62. .L178:
    
63.         .ascii  "%p\n\000"
    
64.         .type   .L178,#object
    
65.         .size   .L178,4
    
66.         .align  4
    
67. .L179:
    
68.         .ascii  "%p\n\000"
    
69.         .type   .L179,#object
    
70.         .size   .L179,4
    
71.         .align  4
    
72. .L180:
    
73.         .ascii  "%p\n\000"
    
74.         .type   .L180,#object
    
75.         .size   .L180,4
    
76. 
    
77.         .section        ".bss",#alloc,#write
    
78. Bbss.bss:
    
79.         .skip   0
    
80.         .type   Bbss.bss,#object
    
81.         .size   Bbss.bss,0
    
82. 
    
83.         .section        ".data",#alloc,#write
    
84. Ddata.data:
    
85.         .skip   0
    
86.         .type   Ddata.data,#object
    
87.         .size   Ddata.data,0
    
88. 
    
89.         .section        ".rodata",#alloc
    
90. Drodata.rodata:
    
91.         .skip   0
    
92.         .type   Drodata.rodata,#object
    
93.         .size   Drodata.rodata,0
    
94. 
    
95.         .file   "a.c"
    
96.         .xstabs ".stab.index","V=8.0;DBG_GEN=4.0.145;Xa;R=Forte Developer 7 C 5.
    
97. 4 Patch 111708-09 2004/02/19",60,0,0,1094993767
    
98.         .xstabs ".stab.index","/disks/claudius/home/student/23/s4014623; /opt/SU
    
99. NWspro/bin/../prod/bin/cc -S  a.c",52,0,0,0
    
100.         .xstabs ".stab.index","main",42,0,0,0
     
101.         .ident  "@(#)stdio.h    1.79    01/04/16 SMI"
     
102.         .ident  "@(#)stdio_iso.h        1.2     99/10/25 SMI"
     
103.         .ident  "@(#)feature_tests.h    1.18    99/07/26 SMI"
     
104.         .ident  "@(#)isa_defs.h 1.20    99/05/04 SMI"
     
105.         .ident  "@(#)va_list.h  1.13    01/02/08 SMI"
     
106.         .ident  "@(#)stdio_tag.h        1.3     98/04/20 SMI"
     
107.         .ident  "@(#)stdio_impl.h       1.13    01/11/16 SMI"
     
108.         .ident  "@(#)stdlib.h   1.48    00/04/13 SMI"
     
109.         .ident  "@(#)stdlib_iso.h       1.3     01/03/09 SMI"
     
110.         .ident  "acomp: Forte Developer 7 C 5.4 Patch 111708-09 2004/02/19"
     
111. 
     
112.         .global __fsr_init_value
     
113. __fsr_init_value = 0x0
     

复制代码

ljttlf

>;>; So C is "machine-independant" and assembly is "machine-dependant".

谢谢，学到。

>;>; I would ask that is the assembler put an literal 5 on a machine instruction so that the 5 without an address or, because the standard says literal 5 can't own an address so the assembler put it in an machine instruction?

你可以看看x86的硬件手册，基本上如果是立即数寻址方式，都是有直接的机器码相对应。这样可以节约从内存取得操作数的时间，也可以节约空间和指令（没有使用语句读取操作数）。
我看得是比较早的资料了，呵呵，是内部资料，因为国防军工的

dadaball

至此，我认为最初我问的问题已经完全解释清楚，敬佩各位对真理的不懈追求，同时特别感谢THEBEST， JohnBull，yichun，lixuzhang，ljttlf，他们的见解都很正确。

朱熹之

编译下列代码：
const char global[10]="123456789\0";
const int globalint=5;

int main(void)
{
        const char local[10]="123456789\0";
        const int localint=5;
        printf("global: %x\n", global);
        printf("&global: %x\n", &global);
        printf("&globalint: %x\n", &globalint);
        printf("local: %x\n", local);
        printf("&local: %x\n", &local);
        printf("&localint: %x\n", &localint);
        return 0;
}

运行结果为：
global: 80484e0
&global: 80484e0
&globalint: 80484ec
local: bfcbbb3a
&local: bfcbbb3a
&localint: bfcbbb34

不知道lz说的不能取常量的地址是什么意思

langue

1. --- independant
   
2. +++ independent

复制代码

技术无关，呵呵

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

我猜楼主说的是类似这样的行为：

&(2)
&(3)
&(1.7320508 )

...

====

[ 本帖最后由 langue 于 2007-1-19 19:50 编辑 ]

朱熹之

原帖由 langue 于 2007-1-19 19:49 发表

1. --- independant
   
2. +++ independent

复制代码

技术无关，呵呵

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

我猜楼主说的是类似这样的行为：

&(2)
&(3)
&(1.7320508 )

...

====

那就知道了，从头看到尾，我都没看懂这个贴在讨论什么，晕了！

langue

====

另外，我认为 13 楼已经给出了正确答案。

====

朱熹之

原帖由 langue 于 2007-1-19 19:58 发表
====

另外，我认为 13 楼已经给出了正确答案。

====

同意，13楼的解释很正确
只是到后面越扯越远，都不知道在说些什么了