Delphi：Char 和 TCharArray “不兼容类型”的数组

Question

我在下面的评论中遇到过这个“不兼容的类型”错误几次，但一直不满意为什么 Delphi 2007 不直接支持这个错误：

program Project1; {$APPTYPE CONSOLE}

type TCharArray = array of Char;

procedure DoArray(Chars: array of Char);
begin
end;

function ReturnTCharArray: TCharArray;
var CharArray: TCharArray;
begin
  Result := CharArray;
end;

begin
  DoArray(ReturnTCharArray); // [DCC Error] Project1.dpr(18): E2010 Incompatible types: 'Array' and 'TCharArray'
end.

难道不能将一个数组类型“别名”为另一个相互兼容的数组类型吗？假设我无法更改 DoArray 的声明（它是第三方库的一部分），我如何编写一个函数返回与 DoArray 的参数兼容的字符数组？直截了当的“函数 ReturnAChar：Char 数组；”导致“需要标识符，但找到了 'ARRAY'”错误。我什至尝试使用var“char数组”婴儿车将返回数组的函数更改为程序，但这也不允许在程序中设置“char数组”参数的长度（“无法传递常量对象作为 var 参数”)。

Answer 1

这实际上可能是编译器错误（或从未正确记录的限制）。我做了一些实验，发现你可以将一个动态数组（类型化或非类型化）传递给一个期望几乎所有类型都有一个开放数组的过程......除了 Char 和 WideChar。

请参阅Is a dynamic array of Char allowed when the parameter type is open array of Char? 了解问题描述和可能的解决方法。

Answer 2

当typed @ operator 关闭时，编译器不会检查您分配给指针的内容，因此您可以调用带有错误 参数的过程：

program Project1; {$APPTYPE CONSOLE}

type TCharArray = array of Char;

procedure DoArray(Chars: array of Char);
begin
end;

function ReturnTCharArray: TCharArray;
var CharArray: TCharArray;
begin
  Result := CharArray;
end;

type TFakeDoArray = procedure(Chars: TCharArray);

var
  FakeDoArray: TFakeDoArray;
begin
  FakeDoArray := @DoArray;
  FakeDoArray(ReturnTCharArray);
end.

虽然编译器不会抱怨，但由于 'Jeroen' 在他对 Mason's answer 的评论中指出的原因，这将不起作用。

然后您可以尝试声明您的假程序与具有开放数组参数的程序兼容：

program Project1; {$APPTYPE CONSOLE}

type TCharArray = array of Char;

procedure DoArray(Chars: array of Char);
begin
end;

function ReturnTCharArray: TCharArray;
var CharArray: TCharArray;
begin
  Result := CharArray;
end;

type
  TFakeDoArray = procedure(AnArray: Pointer; High: Integer);

var
  FakeDoArray: TFakeDoArray;
  Tmp: TCharArray;
begin
  FakeDoArray := @DoArray;
  Tmp := ReturnTCharArray;
  FakeDoArray(Tmp, High(Tmp));
end.

感谢 Rudy 的 great article。以及相关文档（来自Program Control）：

一个开放数组参数被传递为 两个 32 位值。第一个值为 指向数组数据的指针，以及 第二个值比 数组中的元素数。

Answer 3

你没有。 Pascal 按名称处理数组类型，而不是按描述处理，并且始终如此。为什么不能更改 DoArray 的声明？ （为什么一开始是这样写的？）

Answer 4

我还没有看到提到的一点是 TCharArray 是动态数组类型，而在

procedure DoArray(Chars: array of Char); 

Chars 是一个开放数组参数。没有声明动态数组参数的语法。要拥有动态数组参数，需要将其声明为类型。

type
  TMyDynArray = array of Integer;

procedure DoArray(Integers : TMyDynArray);