gpt4 book ai didi

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

转载 作者:行者123 更新时间:2023-11-30 17:54:03 26 4
gpt4 key购买 nike

我正在使用现有的包进行一些复杂的数值计算。我需要做的是自定义一个名为“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],最终的计算将符合预期!

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

谢谢,杰夫

最佳答案

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

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

关于c - C 中的奇怪错误(ubuntu): unexpected behavior change due to adding debugging statements,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/15216110/

26 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com