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

Posted 2023-02-23

【中文标题】缺少有关变量的警告可能尚未初始化

【英文标题】：Missing warning about variable might not have initialized

【发布时间】：2015-03-22 18:37:19

【问题描述】：

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

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

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

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

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

但为什么 Delphi 没有抓住它？

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

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

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

变量可能尚未初始化

但不，它已启用（全局启用，对于我的平台，对于我的发布类型）：

然后我再次构建它（即使这个错误已经在代码中几个月了），以确保我没有错过错误。但不是;除了 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 变量“silverWarrior”可能尚未初始化

您甚至不必将值传递给另一个函数；简单地使用一个未初始化的变量给出警告（取决于编译器那天的心情）：

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

给出警告：

W1036 变量“silverWarrior”可能尚未初始化

超过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 变量“silverWarrior”可能尚未初始化

【问题讨论】：

他们似乎做了一些改变，添加了许多以前从未存在过的全新提示和警告，但是这样的事情......让我失去了信心。我们的旧版软件包含数百万行代码，从 XE2 升级到 XE7 时，实际上有超过 5,000 个全新的提示和警告，这些提示和警告是前所未有的。

@Jerry 这听起来很奇怪。我不记得 XE2 到 XE7 中的新提示/警告。

@David 并不是说​​ Delphi 中添加了新的提示/警告，而是由于某些更改，导致它们出现。最常见的是H2443，如上图所示。

@Jerry 为什么这会让你失去信心。他们移动了一些功能。你应该处理这些提示。

@David 是这样的问题让我失去了信心。 Embarcadero 似乎并不关心他们给我们带来的困难。我的观点是在为我们的项目添加数千个新提示和警告的过程中，Ian 的问题指出其他人丢失了。

【参考方案1】：

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

我没有找到任何模式。我没有解决办法。我有一种暗示，像 break 和 exit 这样的控制语句可能与这些问题有关，但我没有确凿的证据。

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

【讨论】：

巧合的是，Embarcadero 是shutting down QualityCentral。我认为他们想摆脱令人讨厌的积压错误。

我不这么认为。我认为他们想使用更好的错误跟踪系统。我在新系统中提交了许多优秀的错误。

我一开始也是这么想的。但是在搜索 QualityPortal 之后，我发现他们没有转移任何现有的错误。

这可能很难做到。他们不需要将错误转移到新系统。

当 QC 退休时 16 年的突出错误及其变通方法消失了（例如 Ken 的回答中的文章），这将是糟糕透顶

【参考方案2】：

我知道至少有 1 种情况可能会丢失此警告。

QC#62702 Compiler should give warning for uninitialized object variables (archive.is)

简而言之，如果将变量作为var 或out 参数传递给第二个函数，它会禁用整个当前函数的警告。

procedure A
var obj : Tobject;
begin
  obj.Free; <--Warning here
end;

procedure B
var obj : Tobject;
begin
  obj.Free; <--No warning here, even if it's only passed as var/out after this line.
  FreeAndNil(obj);
end;

【讨论】：

哎哟！！这绝对是个臭屁！

【参考方案3】：

另一个因素：Delphi 的变量跟踪中有一个不会修复的“错误”。如果你有超过 32 个局部变量，它会很糟糕。由于那不是合理的代码，他们没有做任何事情。

你能打到这个吗？

【讨论】：

方法中有超过32个局部变量？因为，不，只有四个。整个项目超过32个局部变量？绝对地。但即使方法中有超过 32 个局部变量，我仍然会收到警告。

@IanBoyd 好的。我不知道这是整个代码还是只是相关的部分。