【请问】关于字符串指针和字符数组的问题

lqseu

今天在编程时发现这样一个现象
char str1[]="abcd";
char str2[]="efgh";
*str1=*str2;
这个操作是合法的，结果也是正确的；

但是如果用字符串指针声明：
char *str1="abcd";
char *str2="efgh";
*str1=*str2;
运行时会出现内存错误

编译的平台：gcc 3.2.2 以及dev-c++都试验过

比较疑惑，感谢大家的指教^^

Fixend

简单一点说， “abc”是const char *型的，数据放在只读的内存区。
而char[]在栈，可写。

aobai

这个在《c专家编程》上面好像是说的未定义呀~

Godbach

今天在编程时发现这样一个现象
char str1[]="abcd";
char str2[]="efgh";
*str1=*str2;
这个操作是合法的，结果也是正确的；

这两个字符串都是保存在栈上，可以修改其中的内容。其中，*str1=*str2相当于把str2字符串的第一个字符'e'赋给了str1的第一个字符，因此，str1就变成了"ebcd"

但是如果用字符串指针声明：
char *str1="abcd";
char *str2="efgh";
*str1=*str2;
运行时会出现内存错误

编译的平台：gcc 3.2.2 以及dev-c++都试验过

以上两个字符串都是存在于静态内存区域。对于该区域可以进行读操作，但是赋值的行为是不确定的。也就是成功与否未定义，不同的编译器可能结果不一样。
所以，不要进行这样的操作，因为你不知道这样操作的确定性结果。

gobbin

高人的见解！

BLZer

原帖由 Fixend 于 2008-12-13 19:10 发表
简单一点说， “abc”是const char *型的，数据放在只读的内存区。
而char[]在栈，可写。

大哥，你搞笑呢

BLZer

原帖由 Fixend 于 2008-12-13 19:10 发表
简单一点说， “abc”是const char *型的，数据放在只读的内存区。
而char[]在栈，可写。

我为刚才的发帖感到脸红~~，你是对的，

char str1[]="abcd";         char str2[]="efgh";         *str1=*str2;

的汇编代码是:

.file   "2x.c"         .section        .rodata .LC0:         .string "abcd" .LC1:         .string "efgh"         .text .globl main         .type   main, @function main:         leal    4(%esp), %ecx         andl    $-16, %esp         pushl   -4(%ecx)         pushl   %ebp         movl    %esp, %ebp         pushl   %ecx         subl    $16, %esp         #put .LC0 in -9(%ebp) to -5(%ebp)         movl    .LC0, %eax         movl    %eax, -9(%ebp)         movzbl  .LC0+4, %eax         movb    %al, -5(%ebp)         #put .LC1 in -14(%ebp) to -10(%ebp)         movl    .LC1, %eax         movl    %eax, -14(%ebp)         movzbl  .LC1+4, %eax         movb    %al, -10(%ebp)         #*str1 = *str2         #not arrange address ,but arrange the first char;         movzbl  -14(%ebp), %eax         movb    %al, -9(%ebp)         # all done         addl    $16, %esp         popl    %ecx         popl    %ebp         leal    -4(%ecx), %esp         ret         .size   main, .-main         .ident  "GCC: (GNU) 4.2.3 (Debian 4.2.3-5)"         .section        .note.GNU-stack,"",@progbits

char *str1="abcd";         char *str2="efgh";         *str1=*str2;

的汇编代码如下:

.file   "3x.c"         .section        .rodata .LC0:         .string "abcd" .LC1:         .string "efgh"         .text .globl main         .type   main, @function main:         leal    4(%esp), %ecx         andl    $-16, %esp         pushl   -4(%ecx)         pushl   %ebp         movl    %esp, %ebp         pushl   %ecx         subl    $16, %esp         movl    $.LC0, -12(%ebp)         movl    $.LC1, -8(%ebp)         movl    -8(%ebp), %eax         movzbl  (%eax), %edx         movl    -12(%ebp), %eax         movb    %dl, (%eax)         addl    $16, %esp         popl    %ecx         popl    %ebp         leal    -4(%ecx), %esp         ret         .size   main, .-main         .ident  "GCC: (GNU) 4.2.3 (Debian 4.2.3-5)"         .section        .note.GNU-stack,"",@progbits

声明为指针的时候，在栈上保存的是str的存储地址，而str是声明在.rodata区的，

所以最后
                movl    -12(%ebp), %eax
                movb    %dl, (%eax)
相当于尝试把str2的首字符写入 .rodata区，所以就SIGSEGV了，

而声明为char []的时候，其实就是把字符在栈上操作，因此能正常执行，
虽然这种操作没啥意义~~

liu2g

原帖由 Godbach 于 2008-12-13 20:18 发表

这两个字符串都是保存在栈上，可以修改其中的内容。其中，*str1=*str2相当于把str2字符串的第一个字符'e'赋给了str1的第一个字符，因此，str1就变成了"ebcd"

以上两个字符串都是存在于静态内存区域。对于该 ...

赞成!!

lqseu

非常感谢大家^^
懂了