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中的字符串，只是引用它们。