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。考虑到交替使用Pointer和Integer的旧VCL模式(例如TList、TStrings.Objects和TWinControl.Tag)，这可能会在相当普通的代码上造成意外的AVs。

{$T+}不改变行为，所以德尔福并不认为^Byte是Pointer.

然而，声明p: PInteger;修复了它。此外，打开数组变量不需要指针，并且与泛型数组变量不同地对待/名称损坏。动态数组的名称损坏与一般数组不同，因此这两种方法都可以使用，但在调用站点，如果两者都未注释，则会出现含糊的过载错误。但是，如果要使用禁用的泛型数组和未注释的dinamic数组进行编译，则会发生相同的奇怪行为。

为什么编译器在参数为Pointer时解析为动态/泛型数组，而当参数为PInteger时则解析为常数无类型？

• 相关：Delphi如何解析带积分参数的重载函数？
• 相关：为什么两个别名对“字符串数组”的处理方式不同？
• 相关：QC 108978
• 代码来自：http://www.sql.ru/forum/actualthread.aspx?tid=970289

PS。开放QC 109019

Answer 1

没有这方面的文档，所以我们能做的最好的就是戳一下编译器，并试图猜测其行为背后的推理。

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

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

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

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