为什么不能把地址给嵌套本地函数在64位的Delphi?为什么不能把地址给嵌套本地函数在64位的Del

2019-05-13 13:19发布

如。 因为关闭相关的问题 - 更多的例子如下补充说。

下面简单的代码(指找到顶级的IE窗口,并列举其子)工程确定与'32位Windows的目标平台。 有与早期版本的Delphi以及没有问题:

procedure TForm1.Button1Click(Sender: TObject);

  function EnumChildren(hwnd: HWND; lParam: LPARAM): BOOL; stdcall;
  const
    Server = 'Internet Explorer_Server';
  var
    ClassName: array[0..24] of Char;
  begin
    Assert(IsWindow(hwnd));            // <- Assertion fails with 64-bit
    GetClassName(hwnd, ClassName, Length(ClassName));
    Result := ClassName <> Server;
    if not Result then
      PUINT_PTR(lParam)^ := hwnd;
  end;

var
  Wnd, WndChild: HWND;
begin
  Wnd := FindWindow('IEFrame', nil); // top level IE
  if Wnd <> 0 then begin
    WndChild := 0;
    EnumChildWindows(Wnd, @EnumChildren, UINT_PTR(@WndChild));

    if WndChild <> 0 then
      ..    

end;


我已经插入一个Assert以指示失败了'64位Windows的目标平台。 还有的代码,如果我未窝回调没有问题。

我不知道如果与参数传递错误的值都只是垃圾或者是由于一些错误放置的内存地址(调用约定?)。 是嵌套回调INFACT东西,我不应该摆在首位呢? 或者这只是一个缺陷,我要住在一起?

编辑:
在回答大卫的回答,具有相同的代码EnumChildWindows宣布与类型化的回调。 正常工作与32位:

(编辑:下面并没有真正检验一下,大卫说,因为我仍用“@”操作符它工作正常,与运营商,但如果我删除它,它确实不编译,除非我取消窝回调)

type
  TFNEnumChild = function(hwnd: HWND; lParam: LPARAM): Bool; stdcall;

function TypedEnumChildWindows(hWndParent: HWND; lpEnumFunc: TFNEnumChild;
    lParam: LPARAM): BOOL; stdcall; external user32 name 'EnumChildWindows';

procedure TForm1.Button1Click(Sender: TObject);

  function EnumChildren(hwnd: HWND; lParam: LPARAM): BOOL; stdcall;
  const
    Server = 'Internet Explorer_Server';
  var
    ClassName: array[0..24] of Char;
  begin
    Assert(IsWindow(hwnd));            // <- Assertion fails with 64-bit
    GetClassName(hwnd, ClassName, Length(ClassName));
    Result := ClassName <> Server;
    if not Result then
      PUINT_PTR(lParam)^ := hwnd;
  end;

var
  Wnd, WndChild: HWND;
begin
  Wnd := FindWindow('IEFrame', nil); // top level IE
  if Wnd <> 0 then begin
    WndChild := 0;
    TypedEnumChildWindows(Wnd, @EnumChildren, UINT_PTR(@WndChild));

    if WndChild <> 0 then
      ..

end;

其实这个限制是不特定于Windows API的回调,但服用时该函数的地址到的变量会发生同样的问题, procedural type和传递,例如,作为一个自定义的比较来TList.Sort

http://docwiki.embarcadero.com/RADStudio/XE4/en/Procedural_Types

procedure TForm2.btn1Click(Sender: TObject);
var s : TStringList;

  function compare(s : TStringList; i1, i2 : integer) : integer;
  begin
    result := CompareText(s[i1], s[i2]);
  end;

begin
  s := TStringList.Create;
  try
    s.add('s1');
    s.add('s2');
    s.add('s3');
    s.CustomSort(@compare);
  finally
    s.free;
  end;
end;

它的工作原理,当32位编译如预期,但未能与Access Violation编译为Win64的时候。 在功能64位版本的compares = nili2 =一些随机值;

它也可以作为预期甚至Win64的目标,如果提取物compare之外的功能btn1Click功能。

Answer 1:

这招从未正式被语言支持,并且您已经越来越远离它迄今由于32位编译器的实现细节。 该文件是明确的:

嵌套过程和函数(其他例程中声明的例程)不能被用作程序的值。

如果正确地记得一个额外的,隐藏,参数被传递给嵌套函数与指针给封闭堆栈帧。 此省略了32位的代码,如果没有参考封闭环境中进行。 在64位代码额外的参数总是通过。

当然,问题的很大一部分是Windows单元使用非类型化的程序类型的回调参数。 如果使用输入程序,编译器可以拒绝你的代码。 事实上,我认为这是理由相信,你所使用的伎俩是从来没有的法律。 与类型化的回调嵌套的过程可以永远不会被使用,即使是在32位的编译器。

无论如何,底线是,你不能在64位编译器传递一个嵌套函数作为参数传递给另一功能。



文章来源: Why cannot take address to a nested local function in 64 bit Delphi?