下面这段代码:
// 在列表中查找值为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;
这样才能保证万无一失
本文地址:http://com.8s8s.com/it/it4637.htm