delphi - 列表当 T 是事件处理程序时崩溃?
问题描述
在我看来, IList 不能将事件处理程序作为其元素。程序在程序退出时访问冲突 $C00000005。
如果我使用 Delphi RTL 的 TList,一切都很好。
访问冲突发生在 32 位和 64 位构建中。当它发生时,它似乎停止在 Spring4D 的以下行:
procedure TCollectionBase<T>.Changed(const item: T; action:
TCollectionChangedAction);
begin
if fOnChanged.CanInvoke then
fOnChanged.Invoke(Self, item, action);
end;
以下示例程序可以在 Windows 上使用 RAD Studio Tokyo 10.2.3 复制访问冲突。
program Test_Spring_IList_With_Event_Handler;
{$APPTYPE CONSOLE}
{$R *.res}
uses
System.SysUtils,
Spring.Collections;
type
TSomeEvent = procedure of object;
TMyEventHandlerClass = class
procedure SomeProcedure;
end;
TMyClass = class
private
FEventList: IList<TSomeEvent>;
public
constructor Create;
destructor Destroy; override;
procedure AddEvent(aEvent: TSomeEvent);
end;
procedure TMyEventHandlerClass.SomeProcedure;
begin
// Nothing to do.
end;
constructor TMyClass.Create;
begin
inherited;
FEventList := TCollections.CreateList<TSomeEvent>;
end;
destructor TMyClass.Destroy;
begin
FEventList := nil;
inherited;
end;
procedure TMyClass.AddEvent(aEvent: TSomeEvent);
begin
FEventList.Add(aEvent);
end;
var
MyEventHandlerObj: TMyEventHandlerClass;
MyObj: TMyClass;
begin
MyObj := TMyClass.Create;
MyEventHandlerObj := TMyEventHandlerClass.Create;
try
MyObj.AddEvent(MyEventHandlerObj.SomeProcedure);
finally
MyObj.Free;
MyEventHandlerObj.Free;
end;
end.
解决方案
这是一个影响泛型的编译器缺陷。实例的生命周期TMyClass
实际上并不相关。编译器无法处理的代码TList<T>.DeleteRangeInternal
在Spring.Collections.Lists
. 这段代码:
if doClear then
Changed(Default(T), caReseted);
请记住,这T
是一个方法指针,即具有两个指针的类型。因此它比寄存器大。编译器将调用转换Changed
为:
Spring.Collections.Lists.pas.641:已更改(默认(T),caReseted); 00504727 B105 移动 CL,05 美元 00504729 33D2 xor edx,edx 0050472B 8B45FC mov eax,[ebp-$04] 0050472E 8B18 mov ebx,[eax] 00504730 FF5374 呼叫 dword ptr [ebx+$74]
请注意,编译器仅将 4 个字节归零,然后将这四个字节传递给Changed
.
但是,另一方面是 的实现Changed
,其访问item
它传递的代码如下所示:
Spring.Collections.Base.pas.1583: fOnChanged.Invoke(Self, item, action); 00502E58 FF750C push dword ptr [ebp+$0c] 00502E5B FF7508 push dword ptr [ebp+$08] 00502E5E 8D55F0 lea edx,[ebp-$10] 00502E61 8B45FC mov eax,[ebp-$04] 00502E64 8B4024 移动 eax,[eax+$24] 00502E67 8B08 mov ecx,[eax] 00502E69 FF513C 调用 dword ptr [ecx+$3c]
那里的前两行 asm 代码从堆栈中读取方法指针。所以方法指针参数的ABI就是在栈上传递。这记录如下:
方法指针作为两个 32 位指针在堆栈上传递。实例指针被压在方法指针之前,因此方法指针占据最低地址。
回到调用这个函数的代码。它在寄存器中传递参数。这种不匹配是导致异常发生的原因,该异常实际上发生在很久以后。但这就是一切都向南发展的地方。
让我们看一个解决方法。我们把代码改成TList<T>.DeleteRangeInternal
这样:
var
defaultItem: T;
....
if doClear then
begin
defaultItem := Default(T);
Changed(defaultItem, caReseted);
end;
现在生成的代码是这样的:
Spring.Collections.Lists.pas.643: defaultItem := Default(T); 0050472B 33C0 xor eax,eax 0050472D 8945E0 移动 [ebp-$20],eax 00504730 8945E4 移动 [ebp-$1c],eax Spring.Collections.Lists.pas.644:已更改(defaultItem,caReseted); 00504733 FF75E4 push dword ptr [ebp-$1c] 00504736 FF75E0 push dword ptr [ebp-$20] 00504739 B205 移动 dl,05 美元 0050473B 8B45FC mov eax,[ebp-$04] 0050473E 8B08 mov ecx,[eax] 00504740 FF5174 调用 dword ptr [ecx+$74]
请注意,生成此时间代码以将方法指针中的两个指针归零,然后通过堆栈传递它们。此调用代码与被调用者的代码匹配。一切都很好。
我会将这个解决方法提交给我的个人 Spring4D 存储库,Stefan 会将其合并到主存储库上的 1.2.2 修补程序分支中。
我提交了一个错误报告:RSP-20683。
推荐阅读
- python - 类似于 cumsum 的一系列列之间的区别
- assembly - 了解汇编中的 cmp
- javascript - 单击图像更改(暂停和播放按钮)
- anaconda - Anaconda 中“基础”(最佳实践)的目的是什么?
- java - 防止对 Java / Kotlin 中的类的依赖,但允许扩展
- javascript - 如何修复使用 Javascript 返回 403 但适用于其他语言的 REDCap API 请求
- c# - 如何根据给定设置对对象列表进行多重排序?
- react-native - 排毒 UI 测试 - 在 CI 上运行时测试超时
- ios - 如何使 SwiftUI 视图可滚动?
- python - 如何使用 http 分块标头压缩一些文件并在压缩时发送它?