Question

我有一个将动态数组TData = TArray<Byte>作为参数的过程。

procedure DoStuff(const Input: TData);
begin
  // do nothing
end;

一个返回动态数组的函数。

function SomeData: TData;
begin
  Result := [1, 2];
end;

当我使用下面示例中的过程时，DoStuff获取以下数据（1,2,3,1,3），但在DoStuff完成后我得到一个EInvalidPointer异常。

procedure TForm1.Button1Click(Sender: TObject);
begin    
  DoStuff([1, 2, 3] + SomeData);
end;

调用DoStuff([1, 2] + SomeData);不会导致错误，当数组大于4项时，似乎会变得敏感。如果我使用临时变量来保存数组，DoStuff仍会得到（1,2,3,1,2），但没有错误。

procedure TForm1.Button2Click(Sender: TObject);
var
  Temp: TData;
begin
  Temp := [1, 2, 3] + SomeData;

  DoStuff(Temp);
end;

看起来指针异常与其中一个动态数组超出范围时的释放有关。

我不应该以这种方式使用动态数组吗？工作时，这非常干净地解决了我当前的问题。

我也尝试使用array of Byte;代替TArray<Byte>;，但结果相同。

完整测试单位：

unit Main;

interface

uses
  Winapi.Windows, Winapi.Messages, System.SysUtils, System.Variants,
  System.Classes, Vcl.Graphics,
  Vcl.Controls, Vcl.Forms, Vcl.Dialogs, Vcl.StdCtrls;

type
  TData = TArray<Byte>;

  TForm1 = class(TForm)
    Button1: TButton;
    Button2: TButton;
    procedure Button1Click(Sender: TObject);
    procedure Button2Click(Sender: TObject);
  private
    { Private declarations }
  public
    { Public declarations }
  end;

procedure DoStuff(const Input: TData);
function SomeData: TData;

var
  Form1: TForm1;

implementation

{$R *.dfm}

procedure TForm1.Button1Click(Sender: TObject);
begin
  DoStuff([1, 2, 3] + SomeData);
end;

procedure TForm1.Button2Click(Sender: TObject);
var
  Temp: TData;
begin
  Temp := [1, 2, 3] + SomeData;

  DoStuff(Temp);
end;

procedure DoStuff(const Input: TData);
begin
  // do nothing
end;

function SomeData: TData;
begin
  Result := [1, 2];
end;

end.

Answer 1

您的代码没有缺陷，任何错误只能归因于编译器/ RTL错误。

首次发布时，对动态数组文字和动态数组+运算符的支持有点不完整。 XE7中添加了这些功能，我相信大多数错误都是由XE8解决的。

我的猜测是你正在使用XE7，或者是一个层版本，它仍然包含比XE7中许多明显的错误更加模糊的错误。

您的选择似乎是：

更新到以后的Delphi版本。
通过避免将+运算符与动态数组和/或动态数组文字一起使用来解决代码问题。

我仍然使用XE7并使用我自己的通用连接函数解决问题。可以在此处找到如何执行此操作的示例：https://stackoverflow.com/a/15924484/505088

此类解决方法可帮助您避免+运算符出现问题，但如果问题在于处理数组文字，则无法解决问题。如果您的问题与数组文字有关，那么您最终可能需要使用TData.Create(1, 2, 3)代替[1, 2, 3]。

如果缺陷出现在更高版本中，请向Embarcadero的质量门户提交错误报告。

动态数组导致无效指针异常

1 个答案: