奇怪的Fsi.exe行为

Question

在使用F#交互式解释器时，我观察到一些奇怪的行为。

运行以下代码：

let getType1 = Type.GetType("namespace.does.not.exist, doesntexistlib, Version=1.0.0.0, Culture=neutral, PublicKeyToken=null",false);;
let getType2 = Type.GetType("namespace.does.not.exist, doesntexistlib, Version=1.0.0.0, Culture=neutral, PublicKeyToken=null",false);;

即使throwOnError参数设置为false，也会导致fsi捕获FileLoadException。第一次返回null，第二次发生异常。

在常规程序(非交互式)中运行相同的代码会导致预期的行为，其中getType = null。

FSI.exe会在所有异常时停止吗？是否可以将FSI设置为忽略这些异常？

Answer 1

根据堆栈跟踪，FSI似乎与其AppDomain的程序集解析挂钩。不幸的是，当FSI不能解析程序集时，它会抛出异常本身-这不是由框架代码生成的，这就是为什么你的throwOnError参数不被考虑-FSI的异常只是向上传播，然后在顶层被捕获。在我看来，这看起来像是FSI中的一个bug，但可能是AppDomain的程序集解析过程中的可用钩子没有为FSI提供足够的信息来确定何时可以抛出。

编辑-如果您查看源文件fsi.fs (包含在源/fsharp/Fsi目录下的F#发行版中)，您可以看到这个处理程序挂接到的位置(它位于名称可怕的MagicAssemblyResolution模块中)。似乎FSI需要挂接到解析过程中，这样才能找到通过#r指令注册的程序集，但是我不能一眼看出哪里出了问题，或者为什么在第一次尝试解析无效的程序集时没有抛出任何异常到顶层。