11

我的一位同事向我展示了一个用 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：它似乎只适用于调试构建配置。

4

1 回答 1

3

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

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

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

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

于 2012-11-20T19:30:07.790 回答