From: http://www.2cto.com/kf/201309/240740.html
1. 以字符串形式出現的，編譯器都會爲該字符串自動添加一個0作爲結束符。
如在代碼中寫"abc",那麼編譯器幫你存儲的是"abc\0"。
2. "abc"是常量嗎？
答案是有時是、有時不是。
不是常量的情況："abc"作爲字符數組初始值的時候就不是，如:
char str[] = "abc";
因爲定義的是一個字符數組，所以就相當於定義了一些空間來存放"abc",又因爲字符數組就是把字符一個一個地存放的，所以編譯器把這個語句解析爲
char str[3] = {'a','b','c'};
又根據上面的總結1，所以char str[] = "abc";的最終結果是:
char str[4] = {'a','b','c','\0'};
做一下擴展，如果char str[] = "abc";是在函數內部寫的話，那麼這裏的"abc\0"因爲不是常量，所以應該被放在棧上。
是常量的情況： 把"abc"賦給一個字符指針變量時，如：
char* ptr = "abc";
因爲定義的是一個普通指針，並沒有定義空間來存放"abc"，所以編譯器得幫我們找地方來放"abc"，顯然，把這裏的"abc"當成常量並把它放到程序的常量區是編譯器最合適的選擇。所以儘管ptr的類型不是const char*，並且ptr[0] = 'x';也能編譯通過，但是執行ptr[0] = 'x';就會發生運行時異常，因爲這個語句試圖去修改程序常量區中的東西。
記得哪本書中曾經說過char* ptr = "abc";這種寫法原來在c++標準中是不允許的，但是因爲這種寫法在c中實在是太多了，爲了兼容c，不允許也得允許。雖然允許，但是建議的寫法應該是const char* ptr = "abc";這樣如果後面寫ptr[0] = 'x'的話編譯器就不會讓它編譯通過，也就避免了上面說的運行時異常。又擴展一下，如果char* ptr = "abc";寫在函數體內，那麼雖然這裏的"abc\0"被放在常量區中，但是ptr本身只是一個普通的指針變量，所以ptr是被放在棧上的，只不過是它所指向的東西被放在常量區罷了。
3. 數組的類型是由該數組所存放的東西的類型以及數組本身的大小決定的。
如char s1[3]和char s2[4]，s1的類型就是char[3]，s2的類型就是char[4]，
也就是說盡管s1和s2都是字符數組，但兩者的類型卻是不同的。
4. 字符串常量的類型可以理解爲相應字符常量數組的類型。
如"abcdef"的類型就可以看成是const char[7]。
5. sizeof是用來求類型的字節數的。
如int a;那麼無論sizeof(int)或者是sizeof(a)都是等於4，因爲sizeof(a)其實就是sizeof(type of a)。
6. 對於函數參數列表中的以數組類型書寫的形式參數，編譯器把其解釋爲普通的指針類型。
如對於void func(char sa[100],int ia[20],char *p)
則sa的類型爲char*，ia的類型爲int*，p的類型爲char*
7. 根據上面的總結，來實戰一下。
對於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*。