返回 char 指针的 C 函数在 "Debug"模式下给出垃圾，但在 "Release"模式下没有

Question

只需编写一个简单的 C 程序来读取一个长二进制文件，将其分成 12 位 block 并附加 4 位 CRC，然后输出到另一个文件。当我在 Debug模式 (Visual Studio 2012) 下运行代码时，它会返回垃圾，但只要我切换到 Release模式，它就可以正常工作。

切换回 Debug模式似乎也没有解决问题……只是想了解这里发生了什么。无论 VS 使用“ Release模式”做什么，代码都能在那里工作，但当我使用 Dev-C++ 编译时，我总是得到与 Debug模式相同的垃圾。

编辑:我已经建议更改在 calc 函数中使用 malloc，并在我的 main 中使用 free，但我仍然得到垃圾输出。 VS 现在实际上在运行时崩溃了。

---

char * calc(char bit12[])
{
    int r0,r1,r2,r3;
    int i,tmp;
    //char * bit16;
    char * bit16 = malloc(sizeof(char)*(17));
    char bits[16];
    bit16 = &bits[0];
    /* Set registers to zero */
    r0 = r1 = r2 = r3 = 0;
    /* Insert info bits, most significative first */
    for(i=0; i<12; i++) {
        /* shift registers and make mod2 (^) sums */
        tmp = r3;
        r3 = r2;
        r2 = r1 ^ tmp;
        r1 = r0 ^ tmp;
        r0 = (bit12[i] == '0') ? 0 ^ tmp : 1 ^ tmp;
    }
    /* Insert 4 zeros to finish CRC calculation */
    for(i=0; i<4; i++) {
        /* shift registers and make mod2 (^) sums */
        tmp = r3;
        r3 = r2;
        r2 = r1 ^ tmp;
        r1 = r0 ^ tmp;
        r0 = tmp;
    }
    for (i=0;i<12;i++) 
        bit16[i]=bit12[i];
    if (r3 == 1)
        bit16[12]='1';
    else
        bit16[12]='0';
    if (r2 == 1)
        bit16[13]='1';
    else
        bit16[13]='0';
    if (r1 == 1)
        bit16[14]='1';
    else
        bit16[14]='0';
    if (r0 == 1)
        bit16[15]='1';
    else
        bit16[15]='0';

    printf("Internal Function input: %s\nInternal Function output: %s\n", bit12, bit16);

    return bit16;

}


int main(){
    char str[999];
    char *os,outstr[16];
    FILE *dataIn, *dataOut;
    os = &outstr[0];

    dataIn = fopen("data.txt", "r");
    dataOut = fopen("out.txt", "w");

    if(dataIn){
        //printf("test point 1.\n");
        while(fscanf(dataIn, "%s", str)!= EOF){
            os = calc(str);
            fprintf(dataOut,"%0.16s\n", os);
            free(os);
            //printf("input: %s\n", str);
            //printf("output1: %s\n", outstr);
            //printf("output2: %s\n", os);
            system("PAUSE");
        }
        fclose(dataIn);
        fclose(dataOut);
    }else{
        printf("Error opening data!\n");
    }

    printf("end of prog.\n");
    return 0;
}

---

Answer 1

在“Debug”模式下有垃圾，但在“Release”模式下没有垃圾

相信我，这与那无关。

char bits[16]; 是一个具有自动存储持续时间的本地(数组)变量，一旦它离开其声明范围，对它的引用将变得无效，即当您的 calc 函数返回。当函数结束时，数组不复存在，当您稍后访问该指针/地址时，它的 Undefined behavior .

malloc 不是将本地数组放在堆栈上，而是:

char * bit16 = malloc(sizeof(char)*(17)); //+1 for NUL char 
//do something
return bit16;

并在不需要时使用free清除内存。

os = calc(str);
fprintf(dataOut,"%0.16s\n", os);
free(os);