delphi – 为什么编译器会警告变量可能未初始化？

我收到编译器警告,我不明白：

procedure Test;
var
  Var1: Integer;
begin
    while True do
    begin
        try
            if System.Random > 0.5 then
            begin
                ShowMessage('Skipping');
                continue; // If I remove this line,the warning goes away
            end;
            Var1:=6;
        except on
            E:Exception do
            begin
                ShowMessage('Error');
                raise;
            end;
        end;
        ShowMessage(IntToStr(Var1)); // Compiler warning on this line
    end;
end;

当我在Delphi 2010中编译它时,我得到：

[DCC Warning] OnlineClaimManagerMainU.pas(554): W1036 Variable ‘Var1’
might not have been initialized

如果我将呼叫删除为“继续”,则警告消失.

此外,如果我删除try / except子句(并保留继续),则警告消失.

如果没有初始化Var1,执行如何进入有问题的行？

解决方法

Var1将始终在使用前初始化.编译器因try-except处理而感到困惑：您的代码太复杂,编译器无法真正确定Var1始终是初始化的.它看到在Var1：= 6;之前可能存在一个处理过的异常,这会使Var1保持未初始化状态,但是它不会看到该异常总是会被重新引发.