delphi - 使用带有默认参数和重载过程的字符串数组

Question

我有这段代码，其中有一个使用重载和默认参数的过程:

program Project2;
{$APPTYPE CONSOLE}
uses SysUtils;

procedure Foo; overload; // not actually needed to reproduce
begin
end;

procedure Foo(const a: array of string; b: Boolean=False); overload;
begin
  Writeln(Length(a));
end;

begin
  Foo(['1', '2', '3']); // => 1 ???
  Foo(['1', '2', '3'], False); // => 3 OK
  Readln;
end.

输出为:

1
3

请注意，第一次调用 Foo 不提供默认值。为什么会发生这种情况？这个问题只与非常旧的编译器有关吗？

只有使用重载键时才会发生这种情况。

procedure Foo2(const a: array of string; b: Boolean=False);
begin
  Writeln(Length(a));
end;

Foo2(['1', '2', '3']);

工作正常。

Answer 1

摘要

正如您所发现的，并且 David 已帮助澄清:这是 Delphi 5(可能还有那个时代的其他一些版本)中的一个错误。在特定条件下，编译器无法正确调用该过程。

这本质上是两个功能的冲突:

• 开放数组允许调用者将未指定长度的固定数组传递到过程中。编译器在编译时确定长度并传递附加隐藏参数(High索引)，以便该方法可以正确确定数组中的元素数量。<
• 默认参数只是语法糖，允许调用者省略默认值。实现不受影响，但编译器会自动传递省略的参数，就好像调用者传递了默认值一样。
• 当过程被标记为过载时，就会出现该错误。编译器似乎“忘记”传递隐藏的High索引，并在其位置传递默认值。

<小时/>

解决方法

我确信您已经在使用明显的解决方法，但为了完整起见，我将其包括在内。当我以前在 Delphi 5 中工作时，我们用以下内容替换了 String 数组 和默认值的所有组合；(无论我们是否已经使用了重载)。

procedure Foo(const a: array of string; b: Boolean); overload; {Remove the default}
begin
  ...
end;
procedure Foo(const a: array of string); overload;
begin
  Foo(a, False); {And pass the default value via overload}
end;

<小时/>

详细信息

通过在 CPU 窗口中调试，您可以准确观察编译器如何无法正确调用 Foo(Ctrl + Alt + C)并检查汇编代码。

您应该能够推断出 Foo 过程已按预期编译:

• eax中打开数组的地址
• ecx 中的第二个参数(默认值)
• edx 中数组的高索引

注意，我使用Integer默认值来获得更独特的默认值。

案例1

procedure Foo(const a: array of string; b: Integer = 7);
...
Foo(['a', 'b', 'c']);
{The last few lines of assembler for the above call}
lea eax,[ebp-$18] {Load effective address of array}
mov ecx,$00000007 {Implicitly set default value 7}
mov edx,$00000002 {The hidden High value of the open array}
call Foo

案例2

procedure Foo(const a: array of string; b: Integer = 7); overload;
...
Foo(['a', 'b', 'c']);

lea eax,[ebp-$18]
{The second parameter is now uninitialised!}
mov edx,$00000007 {Instead the default is assigned to register for High(a)}
call Foo

案例3

procedure Foo(const a: array of string; b: Integer = 7); overload;
...
Foo(['a', 'b', 'c'], 5);

lea eax,[ebp-$18]
mov ecx,$00000005 {The explicit argument for 2nd parameter}
mov edx,$00000002 {The hidden parameter is again correctly assigned}
call Foo

<小时/>

其他观察结果

1) 正如上面案例 2 中所指出的，当 bug 出现时，ecx 未初始化。下面应该演示效果:

procedure Foo(const a: array of string; b: Integer = 2); overload;
var
  I: Integer;
begin
  for I := Low(a) to High(a) do Write(a[I]);
  Writeln(b);
end;
...
Foo(['a', 'b', 'c'], 23); {Will write abc23}
Foo(['a', 'b', 'c']); {Will write abc, but the number probably won't be 2}

2) 该错误在动态数组中不会出现。动态数组的长度是其内部结构的一部分，因此不能被忘记。