delphi - “从未使用过的值”更改为 'variable not initialized'

Question

如果我编译以下代码，它会在第 1 行发出警告:

value assigned to lTime never used*

但是如果我删除该行，我会在第 2 行收到不同的警告:

variable lTime might not have been initialized

是编译器遗漏了什么，还是我遗漏了某些东西？

procedure TFormWebServices.RemoveOldReports;
var
  TSR       : TSearchRec;
  I         : Integer;
  lCutOff,
  lTime     : Int64;
  TSToDelete: TStringList;
  S,Msg     : String;
  E         : Exception;
begin
  lCutOff := DelphiToJavaDateTime(Now - cDefReportLifeMins/1440);
  I := FindFirst(FReportDir + '*.pdf',0,TSR);
  TSToDelete := TStringList.Create;
  while I = 0 do
  begin
    if (TSR.Attr and faDirectory) = 0 then 
    begin
      lTime := lCutOff;          // Line 1
      try
        lTime := StrToInt64(Copy(TSR.Name,1,pos('.',TSR.Name)-1));
      except
        on E:Exception do lTime := lCutOff;
      end;
      if lTime < lCutOff then    // Line 2
        TSToDelete.Add(TSR.Name);
    end;
    I := FindNext(TSR);
  end;

这不是 Why is the Compiler warning that variable may not be initialized? 的骗局，因为我也在异常中分配了 lTime 。

Answer 1

lTime := lCutOff;       
try
  lTime := StrToInt64(Copy(TSR.Name,1,pos('.',TSR.Name)-1));
except
  on E:Exception do lTime := lCutOff;
end;
if lTime < lCutOff then
  TSToDelete.Add(TSR.Name);

编译器对这段代码发出警告是正确的。当您在第一行分配 lTime := lCutOff 时，永远不会读取该分配中写入的值。

但是，当您删除代码时，事情就不那么清晰了。

try
  lTime := StrToInt64(Copy(TSR.Name,1,pos('.',TSR.Name)-1));
except
  on E:Exception do lTime := lCutOff;
end;
if lTime < lCutOff then
  TSToDelete.Add(TSR.Name);

需要考虑两种情况:在 try/except block 内未引发异常，或者在那里引发异常。

如果没有引发异常，那么很简单，lTime 被分配了 StrToInt64 的结果，因此在读取之前进行了初始化。

如果引发异常，则 lTime 不会在 block 内初始化。接下来会发生什么？

• 如果异常源自Exception(非强制)，则会捕获该异常并初始化lTime。
• 如果异常不是从 Exception 派生的，则不会捕获该异常，并且永远不会读取 lTime。

因此，编译器可以推断出所有这些，因此不会发出未初始化的变量警告。然而，遗憾的是，编译器并没有对这种复杂性进行流分析。我认为它的逻辑是这样的:

1. 在lTime初始化之前引发异常，然后
2. 在这种情况下可以捕获异常
3. 然后读取变量lTime，但仍然可能未初始化。

在步骤 2 中，它应该能够意识到 lTime 已初始化，但它根本不执行此类分析。因此，尽管有人可能会认为编译器可以做得更好，但您必须接受这一点作为其分析算法的限制。

了解后，我们的任务是找到一种编写代码并避免警告的方法。我们不想抑制警告，我们只需要找到一种编写代码的方法，使其既正确又没有警告。

在我看来，前进的方向是认识到异常是在这里使用的错误工具。此转换失败是正常行为。您应该使用转换函数编写代码，这些转换函数在失败时不会引发异常。例如，您可以使用以下选项之一:

if TryStrToInt64(..., lTime) then
  if lTime < lCutOff then
    ....
else
  lTime := lCutoff;

或者:

lTime := StrToInt64Def(..., lCutoff);
if lTime < lCutOff then
  ....