C语言问题一则

qing

[PHP] 首先，来看如下一段程序
char* xyzstring = "hello,world!";
int main(void)
{
xyzstring[0] = 'a';
printf("%s\n",xyzstring);
return 0;
}

这段程序有问题吗？有，xyzstring的数据应该是静态数据，不能被修改。对，C语言的标准上也是这样说的。

果然是这样吗，我们做一个测试，使用四种编译器来看看实际运行的情况。

Codewarrior 8.0、Visual C++ 6.0、Borland C++ 5.6编译后运行都没有问题，都打出了"aello,world!"，GCC 3.2编译后运行程序死掉。

为什么会出现这种情况，答案很简单，GCC将"hello,world!"放到了.text段中，而其它三种编译器则是将"hello,world!"到了.data段中。程序中，.text段是用来存放代码的，因此不能被修改，所以，当我们用xyzstring[0]来修改其中内容的时候，程序当然会当掉了。而.data段因为是数据段，是可以被修改的，因此程序不会当掉。

下面为了验证以上说法，我们使用GCC将源代码汇编成test.s

运行如下命令gcc -S test.c
.file "test.c"
.globl _xyzstring
.text
LC0:
.ascii "hello,world!\0"
.data
.align 4
_xyzstring:
.long LC0
.def ___main; .scl 2; .type 32; .endef
.text
LC1:
.ascii "%s\12\0"
.align 2
.globl _main
.def _main; .scl 2; .type 32; .endef
_main:
pushl %ebp
movl %esp, %ebp
subl $8, %esp
andl $-16, %esp
movl $0, %eax
movl %eax, -4(%ebp)
movl -4(%ebp), %eax
call __alloca
call ___main
movl _xyzstring, %eax
movb $97, (%eax)
subl $8, %esp
pushl _xyzstring
pushl $LC1
call _printf
addl $16, %esp
movl $0, %eax
leave
ret
.def _printf; .scl 2; .type 32; .endef

以上是输出结果，我们看到test.s的头两行是
.globl _xyzstring
.text
说明_xyzstring是定义在了.text段中，现在，我们将其改称如下
.globl _xyzstring
.data
然后编译gcc -o test.exe test.s，接着执行test.exe，出现了什么，哈哈"aello,world!"，执行没有问题了。

以上就是不同编译器对这种类型代码的解决方法，但是为了兼容，我们绝对不应该写出上面的代码
[/PHP]

http://blog.ifthen.net/archives/2003_10.html

kj501

OK，看了之后长见识。

Linux_Lyb

谢谢

zhangqiang

有见地,顶一个
但是我用gcc编了一下
结果是
        .file   "xyz.c"
        .section        .rodata
.LC0:
        .string "hello,world!"
.globl xyzstring
        .data
        .align 4
        .type   xyzstring,@object
        .size   xyzstring,4
xyzstring:
        .long   .LC0
        .section        .rodata
.LC1:
        .string "%s\n"
        .text
.globl main
        .type   main,@function
main:
        pushl   %ebp
        movl    %esp, %ebp
        subl    $8, %esp
        andl    $-16, %esp
        movl    $0, %eax
        subl    %eax, %esp
        movl    xyzstring, %eax
        movb    $97, (%eax)
        subl    $8, %esp
        pushl   xyzstring
        pushl   $.LC1
        call    printf
        addl    $16, %esp
        movl    $0, %eax
        leave
        ret
.Lfe1:
        .size   main,.Lfe1-main
        .ident  "GCC: (GNU) 3.2.2 20030222 (Red Hat Linux 3.2.2-5)"
.s文件中本来就是.text啊
我编了之后运行是段错误

UnWindows

char* xyzstring = "hello,world!";
int main(void)
{
xyzstring[0] = 'a';
printf("%s\n",xyzstring);
return 0;
}
为什么我在vc6中编译通过，但是一执行就出错啊……根本不能向你说的能过显示“xello world“

wuhu

问题的关键是让大家知道char *xyzstring里的内容被放到哪里了,.text里,并且不能被随意的修改!

kj501

Post by zhangqiang
有见地,顶一个
但是我用gcc编了一下
结果是

1. 
   
2.         .file   "xyz.c"
   
3.         .section        .rodata
   
4. .LC0:
   
5.         .string "hello,world!"
   
6. .globl xyzstring
   
7.         .data
   
8.         .align 4
   
9.         .type   xyzstring,@object
   
10.         .size   xyzstring,4
    
11. xyzstring:
    
12.         .long   .LC0
    
13.         .section        .rodata
    
14. .LC1:
    
15.         .string "%s\n"
    

复制代码

.s文件中本来就是.text啊
我编了之后运行是段错误

汇编代码不是很清楚吗？字符串已经是rodata了，修改它肯定是得到段错误了。

kj501

Post by UnWindows
char* xyzstring = "hello,world!";
int main(void)
{
xyzstring[0] = 'a';
printf("%s\n",xyzstring);
return 0;
}
为什么我在vc6中编译通过，但是一执行就出错啊……根本不能向你说的能过显示“xello world“

你好象没有理解原文的意思。再好好看一遍。

kyanite

我碰到的是段错误!

kj501

Post by kyanite
我碰到的是段错误!

你要是真有兴趣研究这个，先把linux汇编学好，再研究一下编译原理，想怎么玩都行。