delphi - 缺少有关变量可能尚未初始化的警告

Question

我的代码中有一个错误。这是毫无疑问的；这是我的错误，完全是我的错:

procedure TfrmCageSetup.actDeleteFloatExecute(Sender: TObject);
var
   conn: TADOConnection;
begin
   ...
   if not float.CanDelete(conn, {out}noDeleteReason) then
   begin
   ...
end;

我忘记初始化变量conn。结果，它是堆栈垃圾。当目标被调用者检查参数时，它会传递:

function TFloat.CanDelete(Connection: TADOConnection; out NoDeleteReason: string): Boolean;
begin
   if Connection = nil then
      raise EArgumentNullException.Create('Connection');

有时我会遇到非常奇怪的访问冲突。

但是为什么 Delphi 没有捕获它？

是的，这是我的错。但我使用静态、强类型语言的部分原因是这样可以帮助我发现这些愚蠢的错误。

首先，我检查了我实际上并没有将其初始化为某些损坏或损坏的对象(也许它被初始化 - 只是很糟糕)。但不，它在声明和第一次使用之间确实未初始化:

然后我想也许我已经关闭了警告:

Variable might not have been initialized

但是不，它已启用(全局，对于我的平台，对于我的发布类型):

然后我再次构建了它(即使这个错误已经在代码中存在了几个月)，以确保我没有错过这个错误。但不是;除了 VCL 和 JVCL 中的一些错误之外，Delphi 没有捕获错误:

我希望 Delphi 帮助我

什么可以解释这一点？

我想知道我的代码中是否还有其他地方存在同样的、可怕的、可怕的、完全可检测到的错误。

也许是64位编译器的问题。有人提示 64 位后端(全新)不如 32 位后端智能。如果我尝试将其更改为 32 位怎么办？

仍然没有:

与 32 位 release 和 64 位 release 相同。

1/25/2015 - 它甚至显示这样的警告吗？

重现警告的步骤确实显示:

procedure TForm1.FormCreate(Sender: TObject);
var
    silverWarrior: Integer;
begin
    IsWrong(silverWarrior);
end;

function TForm1.IsWrong(n: Integer): Boolean;
begin
    Result := True;
end;

发出警告:

W1036 Variable 'silverWarrior' might not have been initialized

您甚至不必将值传递给另一个函数；只需使用未初始化的变量就会发出警告(取决于编译器当天的心情):

procedure TForm1.FormCreate(Sender: TObject);
var
   silverWarrior: Integer;
   theAnswer: Integer;
begin
   theAnswer := silverWarrior + 42;
end;

发出警告:

W1036 Variable 'silverWarrior' might not have been initialized

局部变量超过32个会导致失败？

没有；您仍然收到警告:

procedure TForm1.FormCreate(Sender: TObject);
var
    localVariable1: Integer;
    localVariable2: Integer;
    localVariable3: Integer;
    localVariable4: Integer;
    localVariable5: Integer;
    localVariable6: Integer;
    localVariable7: Integer;
    localVariable8: Integer;
    localVariable9: Integer;
    localVariable10: Integer;
    localVariable11: Integer;
    localVariable12: Integer;
    localVariable13: Integer;
    localVariable14: Integer;
    localVariable15: Integer;
    localVariable16: Integer;
    localVariable17: Integer;
    localVariable18: Integer;
    localVariable19: Integer;
    localVariable20: Integer;
    localVariable21: Integer;
    localVariable22: Integer;
    localVariable23: Integer;
    localVariable24: Integer;
    localVariable25: Integer;
    localVariable26: Integer;
    localVariable27: Integer;
    localVariable28: Integer;
    localVariable29: Integer;
    localVariable30: Integer;
    localVariable31: Integer;
    localVariable32: Integer;
    localVariable33: Integer;
    localVariable34: Integer;
    localVariable35: Integer;
    localVariable36: Integer;
    localVariable37: Integer;
    localVariable38: Integer;
    localVariable39: Integer;
    localVariable40: Integer;
    localVariable41: Integer;
    localVariable42: Integer;
    localVariable43: Integer;
    localVariable44: Integer;
    localVariable45: Integer;
    localVariable46: Integer;
    localVariable47: Integer;
    localVariable48: Integer;
    localVariable49: Integer;
    silverWarrior: Integer;
    theAnswer: Integer;
begin
    theAnswer := silverWarrior + 42;
end;

W1036 Variable 'silverWarrior' might not have been initialized

Answer 1

事情就是这样。编译器在发现此类错误方面并不完美。除了您的问题(编译器无法警告的未初始化变量)之外，很可能会遇到编译器警告的已初始化变量。更糟糕的是，32 位编译器可能会发出警告，但 64 位编译器不会发出警告。反之亦然，有时 64 位编译器会发出警告，而 32 位编译器则不会。

我还没有发现任何模式。我没有解决办法。我有一种预感，像 break 和 exit 这样的控制语句可能与这些问题有关，但我没有确凿的证据证明这一点。

只有 Embarcadero 可以解决此问题，因此您能做的最好的事情就是提交错误报告并希望 Embarcadero 的人员关心。