對字符數(shù)組，字符指針，字符串常量以及其sizeof的一些總結(jié)

在網(wǎng)上經(jīng)?？吹揭恍╊愃谱址蛘遱izeof等的公司筆試題，鄙人不才，但也作了一些總結(jié)，
這些總結(jié)都是在vc2003下測試得到的結(jié)果，如果不對，請指出。

1.以字符串形式出現(xiàn)的，編譯器都會為該字符串自動添加一個0作為結(jié)束符，如在代碼中寫
? "abc",那么編譯器幫你存儲的是"abc/0"

2."abc"是常量嗎？答案是有時是，有時不是。

? 不是常量的情況："abc"作為字符數(shù)組初始值的時候就不是，如
????????????????? char str[] = "abc";
??? 因為定義的是一個字符數(shù)組，所以就相當于定義了一些空間來存放"abc"，而又因為
??? 字符數(shù)組就是把字符一個一個地存放的，所以編譯器把這個語句解析為
??? char str[3] = {'a','b','c'};
????????????????? 又根據(jù)上面的總結(jié)1，所以char str[] = "abc";的最終結(jié)果是
??? char str[4] = {'a','b','c','/0'};
??? 做一下擴展，如果char str[] = "abc";是在函數(shù)內(nèi)部寫的話，那么這里
??? 的"abc/0"因為不是常量，所以應該被放在棧上。
?
? 是常量的情況：? 把"abc"賦給一個字符指針變量時，如
????????????????? char* ptr = "abc";
??? 因為定義的是一個普通指針，并沒有定義空間來存放"abc"，所以編譯器得幫我們
??? 找地方來放"abc"，顯然，把這里的"abc"當成常量并把它放到程序的常量區(qū)是編譯器
??? 最合適的選擇。所以盡管ptr的類型不是const char*，并且ptr[0] = 'x';也能編譯
??? 通過，但是執(zhí)行ptr[0] = 'x';就會發(fā)生運行時異常，因為這個語句試圖去修改程序
??? 常量區(qū)中的東西。
??? 記得哪本書中曾經(jīng)說過char* ptr = "abc";這種寫法原來在c++標準中是不允許的，
??? 但是因為這種寫法在c中實在是太多了，為了兼容c，不允許也得允許。雖然允許，
??? 但是建議的寫法應該是const char* ptr = "abc";這樣如果后面寫ptr[0] = 'x'的
??? 話編譯器就不會讓它編譯通過，也就避免了上面說的運行時異常。
??? 又擴展一下，如果char* ptr = "abc";寫在函數(shù)體內(nèi)，那么雖然這里的"abc/0"被
??? 放在常量區(qū)中，但是ptr本身只是一個普通的指針變量，所以ptr是被放在棧上的，
??? 只不過是它所指向的東西被放在常量區(qū)罷了。

3.數(shù)組的類型是由該數(shù)組所存放的東西的類型以及數(shù)組本身的大小決定的。
? 如char s1[3]和char s2[4]，s1的類型就是char[3]，s2的類型就是char[4]，
? 也就是說盡管s1和s2都是字符數(shù)組，但兩者的類型卻是不同的。

4.字符串常量的類型可以理解為相應字符常量數(shù)組的類型，
? 如"abcdef"的類型就可以看成是const char[7]

5.sizeof是用來求類型的字節(jié)數(shù)的。如int a;那么無論sizeof(int)或者是sizeof(a)都
? 是等于4，因為sizeof(a)其實就是sizeof(type of a)

6.對于函數(shù)參數(shù)列表中的以數(shù)組類型書寫的形式參數(shù)，編譯器把其解釋為普通
? 的指針類型，如對于void func(char sa[100],int ia[20],char *p)
? 則sa的類型為char*，ia的類型為int*，p的類型為char*

7.根據(jù)上面的總結(jié)，來實戰(zhàn)一下：
? 對于char str[] = "abcdef";就有sizeof(str) == 7,因為str的類型是char[7]，
? 也有sizeof("abcdef") == 7，因為"abcdef"的類型是const char[7]。
? 對于char *ptr = "abcdef";就有sizeof(ptr) == 4，因為ptr的類型是char*。
? 對于char str2[10] = "abcdef";就有sizeof(str2) == 10，因為str2的類型是char[10]。
? 對于void func(char sa[100],int ia[20],char *p);
? 就有sizeof(sa) == sizeof(ia) == sizeof(p) == 4，
? 因為sa的類型是char*，ia的類型是int*，p的類型是char*。