Mono在Full AOT模式下的限制

来源：互联网发布：全球离婚率数据编辑：程序博客网时间：2024/05/29 04:34

调试时遇到一个Mono运行时异常：

ExecutionEngineException: Attempting to JIT compile method '...' while running with --aot-only.

最后发现原因是使用了泛型接口，导致Mono需要JIT编译，但在iOS平台中，Mono是以Full AOT模式运行的，无法使用JIT引擎，于是引发了这个异常。

Mono的AOT和.NET的Ngen一样，都是通过提前编译来减少JIT的工作，但默认情况下AOT并不编译所有IL代码，而是在优化和JIT之间取得一个平衡。由于iOS平台禁止JIT编译，于是Mono在iOS上需要Full AOT编译和运行。即预先对程序集中的所有IL代码进行AOT编译生成一个本地代码映像，然后在运行时直接加载这个映像而不再使用JIT引擎。目前由于技术或实现上的原因在使用Full AOT时有一些限制，具体可以参考MonoTouch的文档，这里提几条常见的：

不支持泛型虚方法，因为对于泛型代码，Mono通过静态分析以确定要实例化的类型并生成代码，但静态分析无法确定运行时实际调用的方法（C++也因此不支持虚模版函数）。
不支持对泛型类的P/Invoke。
目前不能使用反射中的Property.SetInfo给非空类型赋值。
值类型作为Dictionary的Key时会有问题，实际上实现了IEquatable<T>的类型都会有此问题，因为Dictionary的默认构造函数会使用EqualityComparer<TKey>.Default作为比较器，而对于实现了IEquatable<T>的类型，EqualityComparer<TKey>.Default要通过反射来实例化一个实现了IEqualityComparer<TKey>的类（可以参考EqualityComparer<T>的实现）。解决方案是自己实现一个IEqualityComparer<TKey>，然后使用Dictionary<TKey, TValue>(IEqualityComparer<TKey>)构造器创建Dictionary实例。
由于不允许动态生成代码，不允许使用System.Reflection.Emit，不允许动态创建类型。
由于不允许使用System.Reflection.Emit，无法使用DLR及基于DLR的任何语言。
不要混淆了Reflection.Emit和反射，所有反射的API均可用。

- 原文地址：http://ravenw.com/blog/2011/11/08/limitations-of-mono-with-full-aot/

做 MonoTouch 开发已经有一段时间了，给我的感觉是 MonoTouch 虽然比较可靠，但是还是有很多限制，于是翻译了官方文档的的这一篇 MonoTouch 的限制，以作备忘。

因为在 iPhone 上运行的 MonoTouch 程序是编译成静态代码的，所以需要在运行时动态生成代码的功能是不可用的。

以下是与桌面版的 Mono 相比， MonoTouch 的限制：

1. 受限的泛型支持

与传统的 Mono/.Net 不同，在 iPhone 上运行的代码不是由 JIT 编译器动态编译的，而是是预编译成静态代码的。 Mono 的 Full AOT 技术在泛型方面有一些限制，它们是：

1.1 泛型虚函数

不支持泛型虚函数，因为不能静态确定在不同情况下什么方法会被调用。（这也是 C++ 不支持虚模板函数（virtual template method）的原因）

?
1
2
3
4
5
6
class HasGenericVirtualMethod {
   public virtual void PrintValues<t>(params T[] values) { }
}
 
var a = new HasGenericVirtualMethod();
a.PrintValues(new[] {1,2,3,4});</t>

1.2 泛型类型中的平台调用

不支持在泛型类型中使用平台调用 (P/Invoke)：

?
1
2
3
4
class GenericType<t> {
   [DllImport("System")]
   public static extern int GetPid();
}</t>

1.3 不支持在 Nullable 类型上使用 Property.SetInfo

不支持在 Nullable<T> 类型上使用反射 Property.SetInfo 设置属性的值。

1.4 字典的关键字为值类型

将值类型作为 Dictionary<TKey, TValue> 的 Key 是有问题的，因为 Dictionary 的默认构造函数将会试图使用 EqualityComparer<TKey>.Default 。 EqualityComparer<TKey>.Default 反过来会通过反射去实例化一个新的实现 IEqualityComparer<TKey> 借口的类型。

对于引用类型来说，这没有什么问题（因为反射+创建新类型的步骤会被跳过），但是对于值类型来说，一旦在移动设备商运行，你的应用将可能会崩溃。（原文是：This works for reference types (as the reflection+create a new type step is skipped), but for value types it crashes and burns rather quickly once you attempt to use it on the device.）

解决方案：手工创建一个类型来实现 IEqualityComparer<TKey> 接口，并提供一个实例传递给字典的构造函数 Dictionary<TKey, TValue>(IEqualitycomparer<TKey>) 。

2. 没有动态代码生成

由于 iPhone 的内核禁止应用程序动态生成代码，在 iPhone 上 Mono 不支持任何形式的动态代码生成，包括：

System.Reflection.Emit 不可用；
不支持 System.Runtime.Remoting；
不支持创建动态类型（例如 Type.GetType(“MyType`1)），不过可以创建已知类型（例如： Type.GetType(“System.String”) 可以正常使用）；
反向回调函数 (Reverse callback) 必须在编译时注册。