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）可能会在相当规则的代码上导致意外的AV。

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

但是声明p: PInteger;会修复它。此外，open-array变量不会被指针调用，并且与generic-array变量的处理/名称不同。动态数组的名称与通用数组不同，因此两者都可以使用，但在调用站点时，如果两者都未注释，则会发生 ambiguous overload 错误。但是，如果要禁用通用数组并且取消注释dinamic数组进行编译 - 会发生同样奇怪的行为。

为什么编译器在参数为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

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

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

因此，可以解释行为。

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

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

Delphi如何使用Pointer（无类型）参数解决重载函数？

1 个答案: