VS2010 C代碼 - 字符串池

Question

當您使用以下標誌進行編譯時，如果添加/ GF-或刪除opimization標誌，它們不會崩潰，下面的代碼在VS 2010中崩潰。崩潰發生在彙編代碼翻譯'if（path [i] =='/'）'。我喜歡理解編譯器在這裏做的優化，並導致崩潰。期待一些提示。

-Karthik

cl.exe /MD /O2 test.c

// TEST.C

#include <stdio.h> 

#include <string.h> 

void testpath(char* path, int bufsiz) 
{ 

    int i; 

    printf("%p\n", path); 
    for(i=0; i < strlen(path); i++) { 
     if(path[i] == '/') { 
     path[i] = '\\'; 
    } 
    } 
} 

int main() 
{ 

    const char* path = "testexport.prj"; 
    char *path1 = "testexport.prj"; 
    printf("%p\n", path); 
    printf("%p\n", path1); 
    testpath(path, 1024); 
} 

Answer 1

您嘗試修改字符串文字，這是不確定的行爲。

const char* path = "testexport.prj"; 
testpath(path, 1024); 
// then later: 
void testpath(char* path, int bufsiz) 
{ 
    int i; 
    for(i=0; i`<`strlen(path); i++) { 
    if(path[i] == '/') { 
     path[i] = '\\';// <<<<<< UB here 
    } 
} 

字符串字面量通常存儲在只讀存儲器中，這樣您的實施，試圖在訪問衝突崩潰程序修改字符串文字的結果。

Answer 2

試圖修改​​的內容會調用未定義的行爲。

從ISO C99（Section 6.4.5/6）

它是unspeci音響ED這些陣列是否是不同的條件是它們的元素具有適當的值。 如果程序試圖修改這樣的陣列，該行爲是理解過程音響定義

從ISO C++ - 98（Section 2.13.4/2）

是否所有字符串文字是不同的（即，被存儲在非重疊對象）是實現定義的。 嘗試修改字符串文字的效果未定義。

在大多數實現（包括MSVC）上，這會導致應用程序崩潰。

Answer 3

我們有一個應用程序，在VC6.0中似乎有一個字符串池中的錯誤。兩個不同的字符串似乎「彙集」爲一個字符串，導致崩潰。 VS2010中不會發生這種崩潰。或者如果/ VS用於VS6.0而不是/ ZI。只是想知道VS6.0中的默認是使用字符串池而不是VS2010中的默認值。在這種情況下，字符串池錯誤仍然存​​在。如果有許多接近完全相同的字符串，我有（尚未被審查）的工作理論是在字符串池中未檢測到散列衝突，從而消除了兩個字符串中的一個。在查看兩個幾乎相似的字符串的指針時，這將在生成的ASM代碼中可見。 在我們的例子中，我們沒有修改VC6.0中的字符串，只是引用它們。