我正在使用现有的包进行一些复杂的数值计算。我需要做的是自定义一个名为“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],但是将[2]注释到[4],这相当于我的应用程序中的[4]。也就是说,我希望数组“map”中没有重复的元素。这并没有导致正确的最终计算结果,这很奇怪,因为[1]<=>[4],并且我已经测试了[4],最终计算是正确的。
我想通过添加 [2] 和 [3](当然并删除 [1])来仔细检查 [1] 和 [4] 是否等效。程序运行到最后,这意味着[3]永远不会被执行,因此它确保[1]和[4]是等价的。然而,尽管我没有通过添加 [2] 和 [3] 来更改 c1 和 c2 的值,但最终的计算结果并不符合预期。在[3]中使用 printf 也有类似的问题。但对于某些语句来说,它不会引起问题,比如在“if”主体中,我只使用“int a = c1 + c2;”,结果是正确的。
更奇怪的是,如果我注释 [3](即 if 主体不执行任何操作),并同时使用 [2] 和 [4],最终的计算将符合预期!
你能帮我解决这些奇怪的问题吗?
谢谢, 杰夫
最佳答案
我认为您假设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] 等效的输出。这都是一致的。
关于c - C 中的奇怪错误(ubuntu): unexpected behavior change due to adding debugging statements,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/15216110/