轉自：http://www.360doc.com/content/12/0511/19/7775902_210379219.shtml

C/C++中的物件指的是一塊儲存區。字串字面量是不需要建立過程就可以使用的物件，所以它既沒有變數那樣的宣告或者定義（字串字面量是無名物件），也不需要向動態分配的物件那樣進行動態分配。由於這個原因，用來限定變數的型別限定符（如const、volatile）以及儲存類別指示符（如extern、static、auto、register）不能用在字串字面量上。

陣列型別

字串字面量是陣列型別的物件，因而具有陣列的一切特點。關於這一點在下面還會進一步說明。

靜態儲存期

C/C++中物件的生存週期按照其儲存性質可分為三類：靜態儲存期（static storage duration）、自動儲存期（automatic storage duration）以及動態儲存期（dynamic storage duration）。相應地，物件可根據儲存期性質分為靜態物件、自動物件和動態物件三種。

字串字面量是靜態物件，所以在程式執行期間會一直存在。字串字面量是左值，而且是不可被更改的左值。

例如，char s[] = "hello"中的"hello"是陣列型別的左值（lvalue），用於初始化s陣列；

sizeof("hello")

以及

&"hello"

中的“hello”也是左值。在這些情況下，“hello”處於左值語義上下文環境中，所以不會產生下面將要提到的陣列轉換為指標的現象。

另外，有些運算不但要求其運算元是左值，還要求可變。例如，對物件進行賦值、自加、自減等運算。因為陣列是不可被更改的左值，所以不能對陣列進行這些操作，也就說不存在陣列型別的賦值、自加、自減等運算。

字串字面量可以轉換為指向其第一個字元的指標。

處於右值語義環境中的字串字面量將被預設轉換為指向第一個字元的指標。例如，

char* p = "hello"

中的“hello”在轉換為字元指標後用於初始化指標變數p；表示式

“hello”[0]

（相當於

*("hello"+0)

或者

*"hello"

）中的“hello”也是同樣轉換為指標後參與下標運算，等等。

這種性質也是陣列型別的特點。在右值語義環境下，一般型別的物件表示的值是由其儲存內容決定的；而陣列型別的物件與此不同，它代表的值不是來源於陣列物件首元素所在的地址。這是陣列最為特殊的地方，也是人們容易產生誤解的地方。

取址運算

字串字面量是一個可取址的物件。例如：&"hello"是合法的表示式。

地址常量

靜態物件的地址在編譯期間即可被確定，所以其地址（如

&"hello"

）是常量；而字串字面量又可以從陣列型別自動轉換為指標（如

“hello”

轉換為指標後等同於

&"hello"[0]

）,所以字串字面量可以直接作為地址常量表達式來使用。

修改字串字面量的行為是無意義的

下面的操作都試圖修改字串字面量中的第一個字元從而修改字串字面量，所以其結果是無定義的（Undefined）的：

"hello"[0] = 'A' //報錯 Undefined
char * p = "hello";
*p = ‘A’; //報錯 Undefined

使用了無定義行為的程式是錯誤的；避免在程式中出現無定義行為是程式設計師的責任。

區別點：在型別限定上的不同

C中的字串字面量"hello"是陣列型別char[6]（相應地，每個字元元素是無const限定的char型）；作為右值使用的時候轉換為指標型別char*。

在C++中“hello”是char const[6]型（相應地，每個元素的型別是char const）;轉換為指標使用的時候是char const*，在特殊情況下也可以是char*。

之所以在C中字串字面量不是const陣列（也就是說每個字元元素的型別不是char const）,是因為C要照顧或者考慮到標準制定之前已經存在的大量程式碼--那時的c語言還沒有const關鍵字，如果硬性規定為const陣列，則char *p = "hello"這樣的初始化或者char *q; q="hello"這樣的賦值就是非法的了（因為右邊的型別char const*不能預設轉換為左邊的型別char*）。

同樣，為了使上述程式碼能順利通過編譯過程，C++採取了另外一種策略：它規定了字串字面量的型別是const陣列，同時有特別規定了字串字面量也可以有限制地轉換為指向非常量的指標（對於"hello"來說就是char*），從而解決了上述程式碼中存在的問題。不過，轉換到char*主要是為了相容以前的程式碼，這種轉換被C++標準標記為“Deprecated”，所以在寫程式時不應該依賴於這種轉換。

C++中的字串字面量是常量，而在C中不是常量。

正是由於標準在型別上的不同規定造成了在C和C++中字串字面量常量性質上的差別。

在C中，除了string literals和compound literals（C99）之外，其他的字面量都是常量；而在C++中，包括string literals在內的所有literals都是常量（注意：C++中不存在compound literals）。

在現實中，經常可以看到用“字串常量”來指代“字串字面量”的情況，其實對於C來說這是不正確的，因為在C中字串字面量不屬於常量；而對於C++來說，“字串常量”和“字串字面量”實際上是一回事，只不過看問題的角度不同罷了。

順便提一下：C++中的常量可以有物件的常量（如字串字面量、const限定的物件）和非物件的常量之分，而C中的常量不包括物件，它們最明顯的特徵就是不能進行取值運算，因此常量只能作為右值來使用。

語法及語義上的區別

C中的字串字面量不是常量，它的每個字元元素也不是常量，所以字元元素的不可變性僅僅表現在語義層面，但在語法和約束條件上沒有要求。而C++中的字串字面量是常量，每個字元元素也是常量，因此在語義和約束條件兩方面都要求不能改變其中的每個字元元素；另外，處於相容性考慮C++還存在著特殊情況下的向非const指標的轉換。

下面用具體的嗲嗎來對以上內容進行說明。

*"hello" = 'A';
表示式*"hello"代表字串字面量的第一個字元元素物件。上述語句試圖通過賦值操作改變第一個元素，當然這樣的行為在C和C++中都是無定義的。除了這個相同點外，還有如下的一些細微的區別：

在C++中，*“hello”是一個const物件（其型別是const char。注意：這裡的"hello"不會轉換為char*指標，所以*"hello"不會是char型別），所以上述賦值違反了賦值號做運算元必須是一個可被改變

的左值的約束條件。在此情況下，標準要求會給出診斷資訊。

在C中，*"hello"是一個非const物件（其型別是char），是一個可被改變的左值，所以不違反賦值的約束條件。在此情況下，儘管這個賦值操作是未定義的，標準對診斷資訊沒有要求。

char* p = "hello";
char* q;
q = "hello";
void foo(char*s);
foo ("hello");

上面的初始化和賦值語句中的"hello"都能轉換為char*指標型別，所以都是合法的。在C++中，儘管"hello"作為指標使用時是char const*型別，在此情況下(如果不是char*型別則初始化或者賦值不能成立)基於對字串字面量的特殊規定使它可以轉換為char*使用。

要注意C++中字串字面量轉換為指向非常量的指標是有限制的，僅僅在有明確的名錶型別要求的情況下才能進行這樣的轉換，否則是非法的。比如下面的情況：

char *p = “hello” + 1;
char *q;
q = "hello"+1;
void foor(char*s);
foo("hello" + 1);

上述是合法的C程式碼，但是作為C++程式碼是非法的。非法的原因在於：”hello“轉換為char const*指標型別，而不能轉換為char*，因為+運算子對於其運算元的型別沒有轉換為char*這樣的直接的要求（因為無論是char const*還是char*都能進行指標加法運算），所以孩子真假挨罰表示式的結果仍然是char const*型別。這樣，上面指標的初始化或賦值操作就違反了在型別上的約束條件，需要給出診斷資訊。