arrays - Delphi如何解析带有指针(无类型)参数的重载函数？

Question

下面是一些重载函数。 尝试猜测其中的哪个函数将被调用。

program Project2;
    {$APPTYPE CONSOLE}

uses
  Types, SysUtils;

procedure Some(const Buf); overload;
  begin
    Writeln('const-typeless')
  end;

//procedure Some(var Buf); overload;
//  begin
//    Writeln('var-typeless')
//  end;

//procedure Some(Buf :TByteDynArray); overload;
//  begin
//    Writeln('Byte dynamic array');
//  end;

procedure Some(Buf :array of Byte); overload;
  begin
    Writeln('Byte open array');
  end;

procedure Some(Buf :TArray<Byte>); overload;
  begin
    Writeln('TBytes AKA byte generic array');
  end;

//procedure Some(Buf :TBytes); overload;
//  begin
//    Writeln('TBytes AKA byte generic array');
//  end;

var p: pointer;

begin
  try
    { TODO -oUser -cConsole Main : Insert code here }
    WriteLn ('Calling overloaded procedure with Pointer parameter:');

    Write('  * nil: '); p := nil; Some(p);
    Write('  * garbage: '); p := Pointer(1); Some(p);
  except
    on E: Exception do
      Writeln(E.ClassName, ': ', E.Message);
  end;

  ReadLn;
end.

事实上，第二个被调用并在第二次调用时抛出 AV。 给定旧的 VCL 模式，可互换地使用 Pointer 和 Integer(例如 TList 和 TStrings.Objects 和 TWinControl.Tag)，这可能会在相当常规的代码上导致意外的反病毒。

{$T+} 不会改变行为，因此 Delphi 并不认为 ^Byte 是 Pointer。

但是声明 p: PInteger; 可以修复它。此外，开放数组变体不调用指针，并且其处理/名称修改与通用数组变体不同。动态数组的名称修改方式与通用数组不同，因此两者都可以使用，但如果两者均未注释，则在调用站点会发生不明确的重载错误。但是，如果在禁用通用数组和取消注释动态数组的情况下进行编译 - 也会发生同样奇怪的行为。

为什么当参数是 Pointer 时，编译器解析为动态/通用数组，而当参数为 PInteger 时，编译器解析为常量无类型？

• 相关:How does Delphi resolve overloaded functions with integral parameters?
• 相关:why two aliases to "array of string" treated differently?
• 相关:QC 108978
• 代码来自:http://www.sql.ru/forum/actualthread.aspx?tid=970289

PS。已开通QC 109019

Answer 1

没有这方面的文档，所以我们能做的最好的事情就是研究编译器并尝试猜测其行为背后的原因。

现在，具有无类型参数的过程可以传递任何参数，无论其类型如何。因此，任何理智的重载解决方案都必须最后考虑无类型参数，只有当它耗尽了所有其他可能的候选者时。否则它总是会被选择。

这样一来，这种行为就可以解释了。

• 当您的参数为Pointer类型时，即与动态数组兼容的赋值。这意味着可以选择动态数组重载。
• 当您的参数是任何其他指针类型时，它与动态数组的赋值不兼容。因此，重载决策会退回到最终可能的候选者，即无类型参数。

最终，这种行为归结为编译器认为 Pointer 与任何动态数组的赋值兼容。这个说法是事实很容易通过实验证实，但是，我找不到它的文档。