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"因為不是常量,所以應(yīng)該被放在棧上。
是常量的情況: 把"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,不允許也得允許。雖然允許,
但是建議的寫法應(yīng)該是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.字符串常量的類型可以理解為相應(yīng)字符常量數(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*。