C中的字符串參數是否動態分配？

Question

比方說，我有以下規格的函數：

void example(char* str) 

如果我傳遞一個字符串參數，如：

example("testing"); 

是「測試」的值動態地分配在堆上，所以我可以在調用「example」的函數調用的作用域被銷燬（並且稍後需要釋放它）之後使用它，或者它是堆棧中的局部變量，所以我需要使一個使用malloc的新字符串，並將值存儲在那裏，如果我希望它保存在一個hashmap中？

謝謝。

Answer 1

當您在程序中編寫"testing"時，它將被編譯爲字符串文字，並且會在編譯期間爲其分配空間。當你得到一個指向它的指針時，它是指向內存中的那個地方的指針。你不需要用malloc()來分配它，你也不應該把它分配給free()它。但是嘗試修改其內容也不是一個好主意，因爲編譯器可能會將其置於只讀區域（即它被編譯爲常量） - 例如，以下程序在我的Linux桌面上崩潰：

#include <stdio.h> 
int main() { 
    char *a = "abc\n"; 
    a[0]='X'; 
    printf(a); 
    return(0); 
} 

Answer 2

最常見的情況是，它將作爲字符串文字存儲在可執行文件的只讀部分。實際上，您可以通過用-S標誌編譯程序來手動驗證。

它將生成一個名爲name_of_your_app.s的程序集可執行文件，其中可以找到字符串文字（它將位於所謂的data segment中）。

有時編譯器可以放入代碼段或取決於優化級別，它將簡單地優化它（最容易通過創建一個字符串文字來檢查，該文本不會在任何地方使用，然後使用GCC上的-O3標誌進行編譯）。

這裏的（人爲）例如：

int main() 
{ 
    char *a = "Hai!"; 

    return 0; 
} 

如果我沒有特殊標誌的字符串文字編譯它仍然存在：

$ gcc -S main.c 
main.c: In function ‘main’: 
main.c:9:11: warning: unused variable ‘a’ [-Wunused-variable] 
$ cat main.s | grep Hai 
    .string "Hai!" 

但是，一旦我殺青的優化級別，它不再是這種情況：

$ gcc -S -O3 main.c 
main.c: In function ‘main’: 
main.c:9:11: warning: unused variable ‘a’ [-Wunused-variable] 
$ cat main.s | grep Hai 
$ 

它看起來像this answer解決相同的問題。

Answer 3

在C中，引號之間的字符串「such as this」被稱爲字符串文字。

字符串文字（如上面給出的內容）不會動態分配。通常，它們在編譯和/或鏈接時被分配，並且可以被分配在只讀存儲器中。 （這就是爲什麼，在C++，字符串是const char而非char。）

引擎蓋下，一些編譯器藏匿在一個字符串表「測試」，產生一個特殊的指針。這大致相當於這個：

char *const compiler_generated_pointer_to_testing = (char *) (compiler_generated_string_table + 12345); 

... 

const char compiler_generated_string_table[] = { 
    ... 
    't', 'e', 's', 't', 'i', 'n', 'g', 0, 
    ... 
}; 

... 

example(compiler_generated_pointer_to_testing); 

這是它可以發揮出來的一種方式。許多其他實現是合法的。在任何情況下，實現細節可能都是重點。要記住真正的要點是：

• 編譯時字符串文字應被視爲const，即使編譯器不要求你指針作爲const char *宣佈他們。
• 它們在編譯和/或鏈接時分配，而不是在堆或堆棧上分配。
• 相同字符串的兩個實例（即程序不同部分中的foo("testing")和bar("testing")）不保證是不同的指針，也不保證它們是相同的指針值。
• 您絕對不能使用free()字符串。
• 您絕不能寫入字符串文字。
• 字符串文字在程序的整個生命週期中保持可用，所以它可以正常工作，例如散列鍵。

明白了嗎？任何問題？