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

Question

我收到编译器警告，我不明白:

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 子句(并保留 continue)，警告就会消失。

在没有初始化 Var1 的情况下，执行将如何到达有问题的行？

Answer 1

Var1 在使用之前总是会被初始化。编译器对 try- except 处理感到困惑:您的代码太复杂，编译器无法实际确定 Var1 始终已初始化。它发现 Var1:=6; 之前可能存在已处理的异常，这将使 Var1 未初始化，但它没有看到该异常总是会重新引发.