c - C 中的奇怪错误(ubuntu): unexpected behavior change due to adding debugging statements

Question

我正在使用现有的包进行一些复杂的数值计算。我需要做的是自定义一个名为“loss”的函数。 “损失”函数的默认行为会导致预期的最终计算结果。但我的定制并没有产生预期的结果。所以我正在尝试调试它。

(1) 我正在自定义一个被其他函数调用的函数 int loss(int c1, int c2) 。首先请注意，默认行为只是 return c1==c2 ？ 0:4；我想把它改成:

double loss(int c1, int c2) {
    int v1 = map[c1];  // map is an int array
    int v2 = map[c2];

    return doSomething(v1, v2); 
}

程序会使用“loss”函数进行一些连续的复杂数值计算，最终的计算结果并不符合预期。所以我想调试“loss”函数，以确保它正常工作。

(2) 我把它简化为:

 double loss(int c1, int c2) {
     int v1 = map[c1];
     int v2 = map[c2];

   [1].  return v1==v2 ? 0: 4; // this should be equivalent to [4] in my application

         // double check that different position of the array have different values
   [2].  if( (c1==c2 && v1!=v2) || (c1!=c2 && v1==v2)) {
   [3].         exit(0);  // printf("%d %d %d %d", v1, v2, c1, c2);
         }


   [4].  return c1==c2 ? 0: 4;
 }

请注意，如果我仅使用 [4] 而没有任何其他语句，则这是默认行为，经过测试会产生预期的计算结果。

1. 现在我首先使用[1]，但是将[2]注释到[4]，这相当于我的应用程序中的[4]。也就是说，我希望数组“map”中没有重复的元素。这并没有导致正确的最终计算结果，这很奇怪，因为[1]<=>[4]，并且我已经测试了[4]，最终计算是正确的。

2. 我想通过添加 [2] 和 [3](当然并删除 [1])来仔细检查 [1] 和 [4] 是否等效。程序运行到最后，这意味着[3]永远不会被执行，因此它确保[1]和[4]是等价的。然而，尽管我没有通过添加 [2] 和 [3] 来更改 c1 和 c2 的值，但最终的计算结果并不符合预期。在[3]中使用 printf 也有类似的问题。但对于某些语句来说，它不会引起问题，比如在“if”主体中，我只使用“int a = c1 + c2;”，结果是正确的。

3. 更奇怪的是，如果我注释 [3](即 if 主体不执行任何操作)，并同时使用 [2] 和 [4]，最终的计算将符合预期!

你能帮我解决这些奇怪的问题吗？

谢谢，杰夫

Answer 1

我认为您假设map是bijective但实际上是surjective ;也就是说，有不同的值 c1 和 c2，使得 map[c1] == map[c2]。这是对您所看到的内容的最佳解释:

• 您声明使用 [1]，即 v1==v2 不会导致“正确的最终计算结果”，但使用 [4]，即 c1==c2 是的。
• [2] 正在按照您的预期执行正确的检查，但您可能没有正确检测 [3] 的效果。您确定程序运行到[3] 存在的末尾，而不是在接近末尾处终止吗？你如何判断[3]是否运行？即使使用 [2][3][4] 运行，结果也与单独使用 [4] 不同，这表明实际上运行了 [3]。
• 如果您注释掉 [3] 但保留 [2]，则程序将进入 if 括号，然后退出并运行 [4]，正如您所确认的，单独给出与 [4] 等效的输出。这都是一致的。