17

作为。自结束相关问题以来 - 下面添加了更多示例。

下面的简单代码（查找顶级 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”目标平台上失败的地方。如果我取消嵌套回调，则代码没有问题。

我不确定随参数传递的错误值是垃圾还是由于一些错误放置的内存地址（调用约定？）。嵌套回调实际上是我一开始就不应该做的事情吗？或者这只是我必须忍受的缺陷？

编辑：
为了回应大卫的回答，同样的代码已经EnumChildWindows声明了一个类型化的回调。适用于 32 位：（

编辑：以下内容并未真正测试 David 所说的内容，因为我仍然使用 '@' 运算符。它适用于运算符，但如果我删除它，它确实无法编译，除非我取消-嵌套回调）

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/Rio/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 位版本compare，s = nil 并且i2= 一些随机值；

即使在 Win64 目标中，它也可以按预期工作，如果在compare函数之外提取btn1Click函数。

4

1 回答 1

21

该语言从未正式支持此技巧，并且由于 32 位编译器的实现细节，您迄今为止一直没有使用它。文档很清楚：

嵌套过程和函数（在其他例程中声明的例程）不能用作过程值。

如果我没记错的话，一个额外的隐藏参数被传递给嵌套函数，并带有指向封闭堆栈帧的指针。如果没有对封闭环境进行引用，则在 32 位代码中将省略此项。在 64 位代码中，总是传递额外的参数。

当然，问题的很大一部分是 Windows 单元对其回调参数使用了无类型的过程类型。如果使用了类型化的过程，编译器可能会拒绝您的代码。事实上，我认为这是你使用的伎俩从不合法的理由。即使在 32 位编译器中，使用类型化回调也永远不能使用嵌套过程。

无论如何，底线是您不能将嵌套函数作为参数传递给 64 位编译器中的另一个函数。

于 2012-04-15T14:25:20.433 回答