1

我在这个条件中有一个错误：

while(CurrentObserverPathPointDisplacement > lengthToNextPoint && CurrentObserverPathPointIndex < (PathSize - 1) )
{
     CurrentObserverPathPointIndex = CurrentObserverPathPointIndex + 1;
     CurrentObserverPathPointDisplacement -= lengthToNextPoint;
     lengthToNextPoint = (CurrentObserverPath->pathPoints[min((PathSize - 1),CurrentObserverPathPointIndex + 1)] - CurrentObserverPath->pathPoints[CurrentObserverPathPointIndex]).length();
}

在发布模式下，它似乎陷入了无限循环。在调试模式下工作正常，或者当我在最后一行放置调试打印时更有趣

OutputInDebug("Here");

这是为条件本身生成的程序集：

            while(CurrentObserverPathPointDisplacement > lengthToNextPoint && CurrentObserverPathPointIndex < (PathSize - 1) )
00F074CF  fcom        qword ptr [dist]  
00F074D2  fnstsw      ax  
00F074D4  test        ah,5  
00F074D7  jp          ModelViewData::moveCameraAndCenterOnXYPlaneForwardBackward+27Eh (0F0753Eh)  
00F074D9  mov         eax,dword ptr [dontRotate]  
00F074DC  cmp         eax,ebx  
00F074DE  jge         ModelViewData::moveCameraAndCenterOnXYPlaneForwardBackward+27Eh (0F0753Eh)  
            {

您可以看到，对于第二个条件，它似乎将 'dontRotate' 的值（一个 bool 类型的函数参数）移动到 eax 中，然后与它进行比较，但 dontRotate 的使用远不及那段代码。

我知道这可能是一点点数据，但个人认为这是一个明显的编译器错误。但可悲的是，我不确定如何将其提炼成一个足够独立的问题来实际生成错误报告。

编辑：不是实际的减速，而是类型：

double CurrentObserverPathPointDisplacement;
double lengthToNextPoint;
int CurrentObserverPathPointIndex;
int PathSize;
vector<vector3<double>> CurrentObserverPath::pathPoints;

编辑2：

一旦我将调试打印语句添加到 while 的末尾，这就是生成的程序集，它不再表示错误：

            while(CurrentObserverPathPointDisplacement > lengthToNextPoint && CurrentObserverPathPointIndex < (PathSize - 1) )
00B1751E  fcom        qword ptr [esi+208h]  
00B17524  fnstsw      ax  
00B17526  test        ah,5  
00B17529  jp          ModelViewData::moveCameraAndCenterOnXYPlaneForwardBackward+2D6h (0B175A6h)  
00B1752B  mov         eax,dword ptr [esi+200h]  
00B17531  cmp         eax,ebx  
00B17533  jge         ModelViewData::moveCameraAndCenterOnXYPlaneForwardBackward+2D6h (0B175A6h)  
            {
4

2 回答 2

1

这里：

while(/* foo */ && CurrentObserverPathPointIndex < (PathSize - 1) )
{
     CurrentObserverPathPointIndex = CurrentObserverPathPointIndex + 1;

由于这是min循环中唯一发生变化的点（除非做一些非常讨厌的事情），并且CurrentObserverPathPointIndex两者都是相同大小的有符号整数（并且足够小以排除整数提升问题），因此剩余的浮点摆弄是无关紧要的。循环必须最终终止（但是，如果 的初始值与 相比较小，则可能需要相当长的时间）。CurrentObserverPathPointIndexPathSizePathSizeCurrentOvserverPathPointIndexPathSize

这只能得出一个结论；如果编译器生成的代码（永远）不会终止，则编译器是错误的。

于 2012-02-22T00:53:35.553 回答
0

它看起来PathSize在循环中没有改变，所以编译器可以PathSize - 1在循环之前计算并且巧合地使用与 相同的内存位置dontRotate，不管是什么。

更重要的是，有多少元素CurrentObserverPath->pathPoints？

您的循环条件包括此测试：

CurrentObserverPathPointIndex < (PathSize - 1)

在你的循环里面是这个任务：

CurrentObserverPathPointIndex = CurrentObserverPathPointIndex + 1;

其次是这个进一步增加的下标：

[min((PathSize - 1),CurrentObserverPathPointIndex + 1)]

也许您的代码似乎在调试模式下工作，因为随机未定义的行为似乎工作？

于 2012-02-22T00:30:05.880 回答