|
|
下面这段代码：
// 在列表中查找值为10的项，如果找到了，则跳出循环
for I := 0 to Count - 1 do
begin
if Items[I] = 10 then break;
end;
// 找到了
if I < Count then
begin
...
end;
有问题吗？好像没有问题，如果因为I超出了Count-1而结束循环，
则表示没有找到值为10的项。事实是这样吗？看看对应的汇编代码：
; for I := 0 to Count - 1 do
mov eax, [ebx + $2c]
mov esi, [eax + $08]
dec esi ; 到现在为止是在计算Count - 1
test esi, esi ;判断Count - 1
jl +$19 ;如果小于0，则跳出循环
inc esi ; 将循环结束条件改为当I = Count时
xor edi, edi ; 问题出现了，到这里才设置I = 0
现在问题清楚了，只有在循环结束条件表达式大于等与0才能保证循环变量被初始化，因此，如果Count - 1小于0则I没有被初始化，此时的值是不定的，也就使得“if I < Count then ”这条判断语句的执行结果也是不确定的，万一I的值恰恰小于Count很明显程序将执行错误甚至导致崩溃，因此上面的代码最好改成：
bFind := false;
for I := 0 to Count - 1 do
begin
if Items[I] <> 10 then continue;
// 找到了
bFind := true;
break;
end;
if bFind then
begin
...
end;
这样才能保证万无一失
|
|
