Delphi泛型中为对象函数指针属性赋值的代码为何可正常运行？

核心概念澄清 #

首先明确各变量的类型和内存含义：

• 你定义的泛型记录PfnMemberT<pfnT>中，PpfnT = ^pfnT是指向具体函数指针类型的指针
• 调用assign时传入的第一个参数是PpfnT(@m_esResultStringGet)，其中m_esResultStringGet是你封装对象的函数指针成员，@取该成员的内存地址，因此assign方法的member参数存储的值，就是你对象里函数指针成员的内存地址
• pfnAddr是GetProcAddress返回的函数入口地址，转成和指针位宽完全一致的NativeUInt类型存储，32位下占4字节、64位下占8字节，和Pascal中函数指针的存储长度完全匹配

赋值语句运行逻辑 #

你疑惑的PNativeUInt(member) := PNativeUInt(pfnAddr);语句，实际执行逻辑完全符合你的预期，只是你对Pascal的类型转换和指针赋值规则存在误解：

1. 把member（本身是存储着函数指针成员地址的指针）强制转成PNativeUInt类型，相当于告诉编译器：「将member指向的内存块，当作一个NativeUInt类型的变量处理」
2. 这里的赋值操作本质是把pfnAddr存储的函数地址值，写入member指向的内存地址，也就是你对象中函数指针成员的存储位置，完全没有修改member指针本身的值
3. 你之前的认知偏差是误以为该操作修改了member本身的存储值，实际上修改的是member指向的目标内存的值，恰好就是你要赋值的函数指针成员，所以运行完全正常。

如果要让语义更清晰避免误解，可以把赋值语句改写成显式解引用的形式，兼容性也更好：

PNativeUInt(member)^ := pfnAddr;

绕开Pascal类型限制的原理 #

你遇到的两个Pascal泛型使用限制，这段代码的规避逻辑也很明确：

• Pointer作为泛型参数的限制：Delphi/Free Pascal的泛型对无类型指针的支持存在约束，且直接用Pointer会丢失函数指针的类型信息，你通过泛型参数传递具体的函数指针类型，完全绕开了无类型指针的限制
• 函数指针和无类型指针无法直接互转：Pascal是强类型语言，编译器会校验函数指针的调用约定、参数/返回值类型，不允许直接和无类型指针互转避免类型错误。你通过NativeUInt作为中转（所有指针类型都可以安全转成等宽整数），强制按内存位宽赋值，绕开了编译器的类型检查，且实际赋值结果完全正确。

内容的提问来源于stack exchange，提问作者Всеволод Громов