c 和 c++ 字符串字面量（string literal）既有相同之處，又有一些區(qū)別。了解這些內(nèi)容對(duì)于加深字符串字面量以及相關(guān)一些概念的理解、澄清一些常見(jiàn)的概念誤區(qū)不無(wú)助益。本文以普通字符串字面量 "hello" 為例總結(jié)說(shuō)明如下。

　　如果你發(fā)現(xiàn)了本文中的錯(cuò)誤，或者對(duì)本文有什么感想或建議，可通過(guò) whyglinux at gmail dot com 郵箱和作者聯(lián)系。

　　相同點(diǎn)：

　　[list][*]字符串字面量是對(duì)象

　　c/c++ 中的對(duì)象（object）指的是一塊存儲(chǔ)區(qū)。字符串字面量是不需要?jiǎng)?chuàng)建過(guò)程就可使用的對(duì)象，所以它既沒(méi)有變量那樣的聲明或者定義（字符串字面量是無(wú)名對(duì)象），也不需要象動(dòng)態(tài)分配的對(duì)象那樣進(jìn)行動(dòng)態(tài)分配。由于這個(gè)原因，用來(lái)限定變量的類型限定符（如 const、volatile）以及存儲(chǔ)類別指示符（如 extern、static、auto、register）不能用在修飾字符串字面量上。

　　[*] 數(shù)組類型
　　
　　字符串字面量是數(shù)組類型的對(duì)象，因而具有數(shù)組的一切特點(diǎn)。關(guān)于這一點(diǎn)在下面還會(huì)進(jìn)一步說(shuō)明。

　　[*] 靜態(tài)存儲(chǔ)期

　　c/c++ 中對(duì)象的生存期按照其存儲(chǔ)性質(zhì)可分為三類：靜態(tài)存儲(chǔ)期（static storage duration）、自動(dòng)存儲(chǔ)期（automatic storage duration）以及動(dòng)態(tài)存儲(chǔ)期（dynamic storage duration）。相應(yīng)地，對(duì)象可根據(jù)存儲(chǔ)期性質(zhì)分為靜態(tài)對(duì)象、自動(dòng)對(duì)象和動(dòng)態(tài)對(duì)象三種。

　　字符串字面量是靜態(tài)對(duì)象，所以在程序運(yùn)行期間會(huì)一直存在。

　　[*] 字符串字面量是左值，而且是不可被更改的左值

　　例如，char s[] = "hello"; 中的 “hello” 是數(shù)組類型的左值（lvalue），用于初始化 s 數(shù)組；sizeof( "hello" ) 以及 &"hello" 中的 "hello" 也都是左值。在這些情況下，"hello" 處于左值語(yǔ)義上下文環(huán)境中，所以不會(huì)產(chǎn)生下面將要提到的數(shù)組轉(zhuǎn)換為指針的現(xiàn)象。

　　另外，有些運(yùn)算不但要求其操作數(shù)是左值，還要求可變。例如，對(duì)對(duì)象進(jìn)行賦值、自加、自減等運(yùn)算。因?yàn)閿?shù)組是不可被更改的左值，所以不能對(duì)數(shù)組進(jìn)行這些操作，也就是說(shuō)不存在數(shù)組類型的賦值、自加、自減等運(yùn)算。

　　[*]字符串字面量可以轉(zhuǎn)換為指向其首第一個(gè)字符的指針

　　處于右值語(yǔ)義環(huán)境中的字符串字面量將被默認(rèn)轉(zhuǎn)換為指向第一個(gè)字符的指針。例如，char* p = "hello"; 中的 “hello” 在轉(zhuǎn)換為字符指針后用于初始化指針變量 p；表達(dá)式 "hello"[0]（相當(dāng)于 *("hello" + 0) 或者 *"hello"）中的 “hello” 也是同樣轉(zhuǎn)換為指針后參與下標(biāo)運(yùn)算，等等。

　　這種性質(zhì)也是數(shù)組類型的特點(diǎn)。在右值語(yǔ)義環(huán)境下，一般類型的對(duì)象表示的值是由其存儲(chǔ)內(nèi)容決定的；而數(shù)組類型的對(duì)象與此不同，它代表的值不是來(lái)源于其內(nèi)容，而是來(lái)源于數(shù)組對(duì)象首元素所在的地址。這是數(shù)組最為特殊的地方，也是人們?nèi)菀桩a(chǎn)生誤解的地方。

　　[*] 取址運(yùn)算

　　字符串字面量是一個(gè)可取址的對(duì)象。例如：&"hello" 是合法的表達(dá)式。

　　[*] 地址常量

　　靜態(tài)對(duì)象的地址在編譯期間即可被確定，所以其地址（如 &"hello"）是常量；而字符串字面量又可以從數(shù)組類型自動(dòng)轉(zhuǎn)換為指針（如 "hello" 轉(zhuǎn)換為指針后等同于 &"hello"[0]），所以字符串字面量可以直接作為地址常量表達(dá)式來(lái)使用。

　　[*] 修改字符串字面量的行為是無(wú)定義的

　　下面的操作都試圖修改字符串字面量中的第一個(gè)字符從而改變字符串字面量，所以其結(jié)果是無(wú)定義（undefined）的：

　　”hello”[0] = ‘a(chǎn)’; /* undefined */
　　char* p = “hello”; *p = ‘a(chǎn)’; /* undefined */

　　使用了無(wú)定義行為的程序是錯(cuò)誤的；避免在程序中出現(xiàn)無(wú)定義行為是程序員的責(zé)任。

　　[/list]
　　區(qū)別點(diǎn)：
　　[list][*]在類型限定上的不同

　　c 中的字符串字面量 "hello" 是數(shù)組類型 char[6]（相應(yīng)地，每個(gè)字符元素是無(wú) const 限定的 char 型）；作為右值使用的時(shí)候轉(zhuǎn)換為指針類型 char*。

　　在 c++ 中 "hello" 是 char const [6] 類型（相應(yīng)地，每個(gè)字符元素的類型是 char const）；轉(zhuǎn)換為指針使用的時(shí)候是 char const*、在特殊情況下也可以是 char*。

　　之所以在 c 中字符串字面量不是 const 數(shù)組（也就是說(shuō)每個(gè)字符元素的類型不是 char const），是因?yàn)?c 要照顧或者考慮到標(biāo)準(zhǔn)制定之前已經(jīng)存在的大量代碼——那時(shí)的 c 語(yǔ)言還沒(méi)有 const 關(guān)鍵字，如果硬性規(guī)定為 const 數(shù)組，則 char* p = "hello"; 這樣的初始化或者 char* q; q = "hello"; 這樣的賦值就是非法的了（因?yàn)橛疫叺念愋?char const* 不能默認(rèn)轉(zhuǎn)換為左邊的類型 char* ）。

　　同樣，為了使上述代碼能順利通過(guò)編譯過(guò)程，c++ 采取了另外一種策略：它規(guī)定了字符串字面量的類型是 const 數(shù)組，同時(shí)又特別規(guī)定了字符串字面量也可以有限制地轉(zhuǎn)換為指向非常量的指針（對(duì)于 "hello" 來(lái)說(shuō)就是 char*），從而解決了上述代碼中存在的問(wèn)題