C類優化

Question

剛剛被檢查在gdb以下幾點：

char *a[] = {"one","two","three","four"}; 
char *b[] = {"one","two","three","four"}; 
char *c[] = {"two","three","four","five"}; 
char *d[] = {"one","three","four","six"}; 

，我得到以下幾點：

(gdb) p a 
$17 = {0x80961a4 "one", 0x80961a8 "two", 0x80961ac "three", 0x80961b2 "four"} 
(gdb) p b 
$18 = {0x80961a4 "one", 0x80961a8 "two", 0x80961ac "three", 0x80961b2 "four"} 
(gdb) p c 
$19 = {0x80961a8 "two", 0x80961ac "three", 0x80961b2 "four", 0x80961b7 "five"} 
(gdb) p d 
$20 = {0x80961a4 "one", 0x80961ac "three", 0x80961b2 "four", 0x80961bc "six"} 

我真的很驚訝，字符串指針等效相同話。我原以爲每個字符串都會被分配到自己的內存中，而不管它是否與另一個數組中的字符串相同。

這是某種編譯器優化的例子，還是這種類型的字符串聲明的標準行爲？

Answer 1

它被稱爲「字符串池」。它在Microsoft Compilers中是可選的，但不在GCC中。如果關閉MSVC中的字符串池，那麼不同陣列中的「相同」字符串將被複制，並具有不同的內存地址，因此會佔用額外（不必要的）50個左右的靜態數據字節。

編輯：gcc 確實實際上有一個選項，-fwritable-strings禁用字符串池。這個選項的作用是雙重的：它允許字符串文字被覆蓋，並禁用字符串池。因此，在你的代碼中，設置這個標誌可以允許有些危險的代碼

/* Overwrite the first string in a, so that it reads 'xne'. Does not */ 
/* affect the instances of the string "one" in b or d */ 
*a[0] = 'x'; 

Answer 2

（我假設你a，b，c和d聲明爲局部變量，這是你的籌碼相關預期的原因。）用C

字符串文字具有靜態存儲持續時間。他們從來沒有被分配到「堆棧」上。它們總是分配在全局/靜態存儲器中，並且只要程序運行就「永遠」生活。

您的a,b,c和d陣列被分配在堆棧上。存儲在這些數組中的指針指向靜態內存。在這種情況下，對於相同的單詞是相同的指針是沒有什麼不尋常的。

編譯器是否會將相同的文字合併爲一個取決於編譯器。一些編譯器甚至有一個控制這種行爲的選項。字符串文字總是隻讀的（這就是爲什麼在數組中使用const char *類型更好），因此，直到您開始依賴實際的指針值，它們是否合併或不合並。

P.S.出於好奇：即使這些字符串文字分配在堆棧上，爲什麼你會期望相同的文字被多次「實例化」呢？