当我在未初始化的函数结果上调用方法时,为什么不能获得访问冲突？

Question

我的一位同事向我展示了用Delphi-XE XE版本15.0.3953.35171编写的代码,我认为它应该引发访问冲突.代码如下:

unit Unit3;

interface

uses
  Windows, Messages, SysUtils, Variants, Classes, Graphics, Controls, Forms,
  Dialogs;

type
  TForm3 = class(TForm)
    procedure FormCreate(Sender: TObject);
  private
    { Private declarations }
  public
   function test:TstringList;
    { Public declarations }
  end;

var
  Form3: TForm3;

implementation

{$R *.dfm}

procedure TForm3.FormCreate(Sender: TObject);
var aStrList : TStringList;
begin
 aStrList := TStringList.Create;
 test;
 FreeAndNil(aStrList);
end;

function TForm3.test: TstringList;
var i:Integer;
begin
 for i:=0 to 1000 do
  Result.Add('aaa');//AV?
end;

end.

检查aStrList和Result具有以下结果:

aStrList: TStringList $12FEDC : $42138A


Result: TStringList $12FEC4 : $B01B90

我不明白为什么它有效.Result.Add应该引发访问冲突

LE:似乎只适用于Debug Build Configuration.

Answer 1

该函数中的变量Result尚未初始化，可以保存任何值。现在，实现细节意味着，在某些编译器选项组合中，您的代码恰好在Result引用有效对象的情况下运行。但这实际上只是这些实现细节的巧合。

如果这是 C++，那么该函数将表现出未定义的行为。尽管该术语在 Delphi 中没有正式含义，但在 Delphi 设置中使用该术语来表示与 C++ 上下文中相同的含义会很有帮助。

我还要指出的是，即使Result没有引用有效的字符串列表对象，您的代码也不能保证引发访问冲突。它可能Result指向一个恰好看起来足够像字符串列表的内存块，以便该代码能够成功执行。

如果你做得正确，你就可以预测程序的行为。如果您的代码有缺陷并导致未定义的行为，那么您的程序的行为将变得不可预测。它可能会起作用。它可能会失败。或者该代码可能执行得很好，但随后会在程序执行后期导致失败。等等。