【請(qǐng)問(wèn)】關(guān)于字符串指針和字符數(shù)組的問(wèn)題

lqseu

今天在編程時(shí)發(fā)現(xiàn)這樣一個(gè)現(xiàn)象
char str1[]="abcd";
char str2[]="efgh";
*str1=*str2;
這個(gè)操作是合法的，結(jié)果也是正確的；

但是如果用字符串指針聲明：
char *str1="abcd";
char *str2="efgh";
*str1=*str2;
運(yùn)行時(shí)會(huì)出現(xiàn)內(nèi)存錯(cuò)誤

編譯的平臺(tái)：gcc 3.2.2 以及dev-c++都試驗(yàn)過(guò)

比較疑惑，感謝大家的指教^^

Fixend

簡(jiǎn)單一點(diǎn)說(shuō)， “abc”是const char *型的，數(shù)據(jù)放在只讀的內(nèi)存區(qū)。
而char[]在棧，可寫。

aobai

這個(gè)在《c專家編程》上面好像是說(shuō)的未定義呀~

Godbach

今天在編程時(shí)發(fā)現(xiàn)這樣一個(gè)現(xiàn)象
char str1[]="abcd";
char str2[]="efgh";
*str1=*str2;
這個(gè)操作是合法的，結(jié)果也是正確的；

這兩個(gè)字符串都是保存在棧上，可以修改其中的內(nèi)容。其中，*str1=*str2相當(dāng)于把str2字符串的第一個(gè)字符'e'賦給了str1的第一個(gè)字符，因此，str1就變成了"ebcd"

但是如果用字符串指針聲明：
char *str1="abcd";
char *str2="efgh";
*str1=*str2;
運(yùn)行時(shí)會(huì)出現(xiàn)內(nèi)存錯(cuò)誤

編譯的平臺(tái)：gcc 3.2.2 以及dev-c++都試驗(yàn)過(guò)

以上兩個(gè)字符串都是存在于靜態(tài)內(nèi)存區(qū)域。對(duì)于該區(qū)域可以進(jìn)行讀操作，但是賦值的行為是不確定的。也就是成功與否未定義，不同的編譯器可能結(jié)果不一樣。
所以，不要進(jìn)行這樣的操作，因?yàn)槟悴恢�道這樣操作的確定性結(jié)果。

gobbin

高人的見(jiàn)解！

BLZer

原帖由 Fixend 于 2008-12-13 19:10 發(fā)表
簡(jiǎn)單一點(diǎn)說(shuō)， “abc”是const char *型的，數(shù)據(jù)放在只讀的內(nèi)存區(qū)。
而char[]在棧，可寫。

大哥，你搞笑呢

BLZer

原帖由 Fixend 于 2008-12-13 19:10 發(fā)表
簡(jiǎn)單一點(diǎn)說(shuō)， “abc”是const char *型的，數(shù)據(jù)放在只讀的內(nèi)存區(qū)。
而char[]在棧，可寫。

我為剛才的發(fā)帖感到臉紅~~，你是對(duì)的，

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

聲明為指針的時(shí)候，在棧上保存的是str的存儲(chǔ)地址，而str是聲明在.rodata區(qū)的，

所以最后
                movl    -12(%ebp), %eax
                movb    %dl, (%eax)
相當(dāng)于嘗試把str2的首字符寫入 .rodata區(qū)，所以就SIGSEGV了，

而聲明為char []的時(shí)候，其實(shí)就是把字符在棧上操作，因此能正常執(zhí)行，
雖然這種操作沒(méi)啥意義~~

liu2g

原帖由 Godbach 于 2008-12-13 20:18 發(fā)表

這兩個(gè)字符串都是保存在棧上，可以修改其中的內(nèi)容。其中，*str1=*str2相當(dāng)于把str2字符串的第一個(gè)字符'e'賦給了str1的第一個(gè)字符，因此，str1就變成了"ebcd"

以上兩個(gè)字符串都是存在于靜態(tài)內(nèi)存區(qū)域。對(duì)于該 ...

贊成!!

lqseu

非常感謝大家^^
懂了