为什么格式拒绝以 XE4 开头的过程地址参数

Question

考虑这个程序：

{$APPTYPE CONSOLE}

uses
  System.SysUtils;

procedure Foo;
begin
end;

type
  TProcedure = procedure;

const
  FooConst: TProcedure = Foo;

var
  FooVar: TProcedure = Foo;
  P: Pointer;

{$TYPEDADDRESS ON}

begin
  P := @Foo;
  Writeln(Format('%p', [P]));
  Writeln(Format('%p', [@FooConst]));
  Writeln(Format('%p', [@FooVar]));
  Writeln(Format('%p', [@Foo]));
  Readln;
end.

此程序在 XE3 上编译和运行，并产生以下输出：

00419FB8 00419FB8 00419FB8 00419FB8

在 XE4 及更高版本上，程序无法编译，这两行都显示错误消息：

Writeln(Format('%p', [@FooConst]));
Writeln(Format('%p', [@FooVar]));

[dcc32 错误] E2250 没有可以调用的“格式”的重载版本 带着这些论点

在 XE4、XE5 和 XE6 上，当 $TYPEDADDRESS 关闭时程序编译。在 XE7 上，无论$TYPEDADDRESS 的设置如何，程序都无法编译。

这是编译器错误吗？还是我使用了不正确的语法来获取过程的地址？

Answer 1

我认为这是一个编译器错误并已提交 QC 报告：QC#127814。

作为一种变通方法，您可以使用以下任一方法：

1. 使用addr() 而不是@ 运算符。
2. 将@FooVar 或@FooConst 转换为Pointer，例如Pointer(@FooVar)。

Answer 2

我认为新编译器 XE7 的行为更符合规范，在这种情况下需要显示错误，因为 {$TYPEDADDRESS ON} 强制 @ 运算符返回类型化指针和 Format 函数取而代之的是一个无类型的通用指针作为输入。

由于{$TYPEDADDRESS ON} 的目的是鼓励谨慎使用指针，在编译时捕获不安全的指针分配，如果函数需要一个通用的无类型指针是正确的（在这种情况下是有意义的，因为函数的目的是打印它的地址——所以不需要有类型指针来检索它的地址），编译器会在一个类型指针被传递的情况下捕获一个错误，行为与规格。

我认为在这种情况下（根据文档）正确的方法是：

  Writeln(Format('%p', [Addr(FooConst)]));
  Writeln(Format('%p', [Addr(FooVar)]));

因为Addr 函数总是返回一个无类型指针，这正是Format 和%p 所期望和需要的。

我假设在以前的版本中，在这种情况下，编译器用于执行自动转换：Pointer(@FooConst)，但由于{$TYPEDADDRESS ON} 指令，它没有太大意义。