Reflection.Emit 不安全代码

Question

我正在用 F# 中的反射发射做一些黑客行为。我正在尝试执行与此 C# 代码等效的操作：

var ass = AppDomain.CurrentDomain.DefineDynamicAssembly(new AssemblyName("Test"), AssemblyBuilderAccess.RunAndSave);
var mb = ass.DefineDynamicModule("Test", "Test.dll", false);
var t = mb.DefineType("Foo", TypeAttributes.Public, typeof(ValueType));
t.DefineField("foo", typeof(int*), FieldAttributes.Public);
t.CreateType();
ass.Save("Test.dll");

该行尤其是定义字段行。在 F# 中，我能得到的最接近的是

let f = t.DefineField("foo", (typeof<nativeptr<int>>), FieldAttributes.Public)

但是，编译后的字段最终编译为 IntPtr 类型而不是 int*。（注意它也是用于 nativeint 或任何其他类型的 IntPtr）

此外，我希望能够使用我以编程方式定义的结构，并在另一个结构中有一个 Foo*，但显然在这种情况下我无法使用 typeof（在 C# 或 F# 中）。有没有办法从 Type/TypeBuilder 中将字段定义为 Foo*？

在任何人指出这一切都可能是疯狂的（我同意）之前，这是一个有趣的项目，让我自己弄清楚我可以多么疯狂地生成 C# 不允许我的代码:)

Answer 1

我相信ilsigptr<int> 是 C# 的 int* 的 F# 对应物。

另见：

• Don Syme's blog，死链接，见archived copy
• ilsigptr<'T> on MSDN，死链接，见archived copy
• F# sources on GitHub