VS2010 C 代码 - 字符串池

Question

当您使用以下标志编译并且添加 /GF- 或删除优化标志时，VS 2010 中的以下代码崩溃，它们不会崩溃。崩溃发生在翻译'if（path [i] =='/'）'的汇编代码中。我想了解编译器在这里所​​做的优化并导致崩溃。期待一些指点。

-卡提克

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

尝试修改 string literal 的内容会调用未定义行为。

来自 ISO C99 (Section 6.4.5/6)

如果它们的元素具有适当的值，则未指定这些数组是否不同。 如果程序尝试修改这样的数组，则行为未定义

来自 ISO C++-98 (Section 2.13.4/2)

是否所有字符串文字都是不同的（即存储在非重叠对象中）是实现定义的。 尝试修改字符串文字的效果是不确定的。

在大多数实现（包括 MSVC）上，这会导致您的应用程序崩溃。

Answer 3

我们有一个应用程序，在 VC6.0 中似乎存在字符串池中的错误。两个不同的字符串似乎“汇集”到一个字符串，导致崩溃。在 VS2010 中不会发生这种崩溃。或者，如果在 VS6.0 中使用 /Zi 而不是 /ZI。只是想知道VS6.0中的默认值是否是使用字符串池而不是VS2010中的默认值。在这种情况下，字符串池错误可能仍然存在。如果有许多字符串几乎相同，那么我的工作理论（尚未经过审查）是在字符串池中未检测到哈希冲突，从而消除了两个字符串之一。当查看两个几乎相似的字符串的指针时，这将在生成的 ASM 代码中可见。 在我们的例子中，我们没有修改 VC6.0 中的字符串，只是引用它们。