6

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

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可互换（例如TListandTStrings.Objects和TWinControl.Tag）可能会在相当常规的代码上导致意外的 AV。

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

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

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

PS。已开QC 109019

4

1 回答 1

5

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

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

因此，可以解释行为。

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

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

于 2012-09-25T10:58:40.003 回答