c - 奇怪的 : printf() affects variable value

Question

这是一段代码:

int somefunc() {
    /* ... */
    while ((pos = KMP_index(array, size, pattern, plen)) > -1) {
        count++;
    }
    return count;
}

somefunc() 在多个子进程中调用，每个 fork 调用一次。

我的代码在 Linux x86_64 和 i386 上按预期编译和工作。但是当我在 Atom 上网本 (Arch Linux i686) 上运行它时，count 变量永远不会超过 2!

while (...) {
    count++;  //succesfully increments 
}
return count; //it's maximum 2!

但是，如果我添加 printf() :

while (...) {
    count++;  //succesfully increments
    printf("%d", anything);
}
return count; //value as expected

打印空字符或 fflushing stdout 在这里不起作用。我必须至少打印一个字符，然后变量才可以。这让我抓狂。

有人可以告诉我，为什么我什至必须使用这种“解决方法”？会不会是我的linux环境有问题？ (没什么特别的，GCC 4.8，库存内核)谢谢。

P.S 整个源在这里http://pastebin.com/4eEHMbKn .是的，这是一项作业 :) 我需要创建一个类似 grep 的实用程序来处理单独进程中的每个文件。

Answer 1

您的KMP_index() 调用KMP_failure() 来初始化failure[] 数组。不幸的是，KMP_failure() 无法初始化数组的第一个元素。

KMP_index() 会检查 failure[] 的第一个元素。由于该值未设置，因此 KMP_index() 的结果是半随机的，具体取决于先前的函数调用如何使用堆栈(局部变量)。这解释了为什么该函数的结果取决于您在 KMP_index() 调用之前碰巧调用了什么。

(我确实注意到您的代码在 GCC 4.6.3 上编译时没有任何警告，因此编译器也没有注意到这一点。)

很可能您的成功测试是在 64 位平台上进行的，与 32 位 Atom 架构相比，在该平台上碰巧为该数组的第一个元素放置了一些不同的东西。特别是 printf() 改变了这种情况，因为它使用了相当多的堆栈:下一次调用 KMP_index() 将得到一个 failure[] 数组，初始元素来自调用 printf() 时留下的垃圾。

实际上，使用-m32 和-m64 以及不同的优化设置(-Os、-O3 进行编译>) 在 failure[] 的第一个元素中产生不同的半随机值。

希望这对您有所帮助。