[文章] 有關char指針的文章一篇（轉自:http://www.moon-soft.com/doc/9040.htm)
先看以下代碼:
char *p;
p="abc";
你認為是對的嗎?
答案：語法上是對的，但不提倡這種寫法。
誤區1：沒有給p分配內存空間就賦值，怎么會是對的呢？
正解：不少人第一眼將這里的p="abc"看成了*p="abc"，然后就做出了以上的論斷。這是比較笨笨的錯誤咯：）
看清楚就好啦，其實賦給p的是"abc"的地址。再說，*p="abc"也不對呀，字符串可不能這么賦值。
誤區2：這"abcd"哪來的地址,怎么能直接賦給p呢?
正解：先自己試試吧。在2K/XP + VC下運行這段代碼，是不會出錯的，說明這段代碼并無問題。暈吧？猜想的話呢，就是"abcd"不知道被放在了什么地方，然后弄來了一個地址，給了p。
這到底是怎么回事呢？
要知道，這兩個語句和char *p="abc"是完全一樣的，所以其中的道理也一樣。
char *p="abc"曾經迷惑了不少人呀。問問你：p到底是什么類型的？char *？錯，是const char *！
也就是說，它所指向的內容是不可改變的。不過要補充的是，a的指向是可以改變的。
所以為了不再引起誤會，char *p="abc這種寫法是不提倡的。
既然char *p="abcd"被建議寫成const char *p="abcd"，那么char *p; p="abcd";也應該寫成const char *p; p="abcd";
講來講去，最后來得看看匯編代碼。看完就明白是怎么回事了。（我才發現匯編代碼原來這么爽看！VC下，沒開編譯器優化）：
我們重點先看const char *p="abc"和char p[]="abc"有什么不同（都放在main()中聲明）：
PHP源碼:
void main()
{
const char *p="abc";
}
3: const char *p="abc";
00401028 mov dword ptr [ebp-4],offset string "abc" (0041f01c)
void main()
{
char p[]="abc";
}
3: char p[]="abc";
00401028 mov eax,[string "abc" (0041f01c)]
0040102D mov dword ptr [ebp-4],eax
看出差別了嗎？上一段ASM用offset取"abc"的地址，然后賦給[ebp-4]，也就是p（下同）。
而下一段ASM卻轉了一個彎，先把"abc"的地址轉到寄存器eax，然后再轉賦給p。
有疑問了：為什么不和上面的一樣，直接用offset？VC是很聰明的（廢話，M$的東西呀），不用offset，恐怕就是用不了了。
offset是一條偽指令，在編譯的時候就已經把偏移量算好了。offset是無法執行間接尋址的計算的。
說明了什么？
const char *p="abc"中的"abc"，在編譯期間就已經處理好，要了一塊內存，存起來了！在把地址賦給p的時候，就可以直接用offset計算。
而char p[]="abc"中的"abc"，是在運行期間動態分配內存給"abc"，然后再算出地址，賦給p。hehe，這同時也說明了數組和指針的等價性。
我們再做一次實驗，這一次我們把char p[]="abc"放在main()外，并在main()內用一個指針再指向p看看。
PHP源碼:
char p[]="abc";
void main()
{
char *t=p;
}
5: char *t=p;
00401028 mov dword ptr [ebp-4],offset p (00421adc)
這回p[]的聲明放在main()外，變成了全局變量。結果main()內的t取p的指針的時候，直接用offset可以計算出來。
據小石頭所說，字面值，const，static，inline，全局變量都是放在靜態數據區的。（但我感覺似乎不是如此，只是全局變量和字符串在編譯時就處理好放在一起）
不難發現，p[]被聲明成全局變量后，就可以直接用offset計算地址，說明靜態數據區是編譯時就已經處理好的。
再對照const char *p="abc"的ASM，我們馬上想到："abc"就是被C/C++存在靜態數據區中的！它的地址就是"abc"在靜態數據區的地址！
弄清了這個，有些問題也就可以想得通了。下面這種用法，看來不能說是錯誤的了，因為"abc"是在靜態數據區的，生存期可以說是整個程序：
PHP源碼:
#include "stdio.h"
const char *fun()
{
const char *p="abc";
return p;
}
void main()
{
const char *t=fun();
printf ("%s",t);
}
看ASM：
PHP源碼:
5: const char *p="abc";
00401038 mov dword ptr [ebp-4],offset string "%d" (0042001c)
一樣也是使用offset計算地址。
C/C++給字符串的待遇真是太好了。為了一個字符串，幾乎可以打破所有的指針規則。暈～～～～（完）
附：第一次寫這么長的文章，寫得挺暈的。本來我的C/C++也不是很純熟的，ASM也是一知半解，今天在CSDN上為這個問題郁悶了半天，和幾個人討論了一下，最后就寫了這么一篇文章。希望大家賞臉看看～～～有錯一定要指正啊！最后特別感謝小石頭（想飛的菜鳥，驕傲的石頭，菜菜，都是他咯），還有小阿哥（就是Kingzeus咯）的幫忙～～～～～～謝謝咯～～～～～～
__________________
小菜虎 -> 菜菜的老虎
驕傲的石頭回復：
堆幾盤積木，心情好些了，所以再重新寫一遍。
關于字符串的這個問題，我一直在心里困惑著。所以呢，昨天就看了一下。
以前回答別人的時候，總是很簡單的回答，字符串就是const char *指針，指向它的入口地址。現在想來真是慚愧，雖然這個事實好象已經為大家所接受，甚至沒有人探討過這個問題！所以我相信我的發現對大家大多數是有好處的。
首先請看以下代碼
PHP源碼:
#include <iostream>
#include <iomanip>
using namespace std;
int main()
{
const char *p = 0;
char *p2 = p;
return 0;
}
以上代碼有問題嗎？ 如果你說沒有，請你試一下。很明顯，這是有問題的。const是為了保證不變性，而你把他變成non const，肯定有錯誤或者警告，要么就要用const_cast轉換。
所以上面的代碼不能通過編譯。
那么這就很明顯的在lee的post里出現了問題，當然我以前也一直是這么認為，甚至很多人都是這么認為。難道這是編譯器對字符串的特殊處理嗎？ 還是其他的原因？
于是我想看看究竟。就動用了RTTI，我飛快的鍵入了以下代碼。
PHP源碼:
#include <iostream>
#include <iomanip>
using namespace std;
int main()
{
cout << typeid("abc").name() << endl;
return 0;
}
你說結果是什么？
是char [4]！而不是const char *;
好，這個結果解決了我心中的疑點，原來是這樣！這可以很簡單的解釋char *p = "abc"這個問題。 數組是一個char *const 指針，當然可以賦給char *指針而不會影響其常量性。所以這是完全正確的賦值。
其實這想起來也很平常，指針是沒有分配空間的地址而已，而數組是一種容器，占用連續的儲存空間。想想字符串就該知道它是一個數組！而不是指針！真正意義上的指針只能是地址，而它在分配了連續的空間后可以作為數組來使用，這是由于他們的共性而決定的。
哈哈！心情愉快，所以也接著看了下lee上面所做的探討。字符串是放在靜態儲存區沒錯，毫無疑問。至于位置~ 偶不想多說，lee在上面分析了很多。所以我只對它進行了一下簡單的測試。
我手頭上只有dev c++ 和 vc70編譯器，所以就只用他們進行了測試。（打開了全部優化）
PHP源碼:
#include <iostream>
#include <iomanip>
using namespace std;
int main()
{
char *p = "abc"
char *p2 = "abc";
p[1] = 'k';
p2[1] = 'j'
cout << p1 << endl;
cout << p2 << endl;
return 0;
}
結果呢？在dev c++下報錯， 原因我想可能是因為在dev c++在對靜態儲存區進行了保護。而vc70下，通過，并且兩個輸出是不同的。所以偶去看vc70產生的msil碼，原來vc70每次處理字符串都在靜態區分配了空間，而且這兩個"abc"是連續分配的！這里就沒有出現Solmyr說的那種情況。我想一般比較好的編譯器也應該這么說。至于vc60,偶沒有測試，但是可能Solmyr說的情況會出現吧。但這樣是不好的，相信這樣會出現很多微妙的情況。
所以，引用字符串的最佳格式是const char *指針，但char *指針是完全沒錯的。于情于理，也說的過去吧 。
如果你還要問，那用指針接受數組呢？ 呵呵，你該仔細看看前面了。相信這會給你幫助。
__________________
不可一日無酒無肉無女人
 |