c# - 参数数量可变的动态调用中的受控异常处理

Question

在 thread resolved yesterday 中，@hvd 向我展示了如何在处理未知类型的委托(delegate)时通过 .Invoke 获得对异常处理的“控制”(在像 Isis2 这样的库中看到的问题，最终用户提供多态事件处理程序和库类型匹配决定调用哪个)。 Hvd 的建议围绕了解向上调用处理程序接收了多少参数，然后使用该信息构造正确类型的泛型，这使他能够构造动态对象并调用它。该序列产生了对异常处理的完全控制。

他建议的核心是 Isis2 可以考虑这样进行上调:

MethodInfo mi = typeof(Program).GetMethod("Foo", BindingFlags.Static | BindingFlags.NonPublic); 
Delegate del = Delegate.CreateDelegate(typeof(Action<,>).MakeGenericType(mi.GetParameters().Select(p => p.ParameterType).ToArray()), mi);
((dynamic)del).Invoke(arg0, arg1);

这是我的问题:任何人都可以建议一种方法来完成同样适用于任意数量参数的操作吗？显然我可以做一个 switch 语句并为 1 arg、2 等的情况编写代码。但是有没有办法在 mi.GetParameters().Length 告诉我们有多少参数的情况下做到这一点？

作为那些不想点击链接的人的总结，核心问题是:当进行这些类型的动态调用时，最终用户(注册被调用方法的人)可能会抛出异常，因为错误。事实证明，当不在 Visual Studio 下运行时——当直接在 CLR 中运行时——C# .Invoke 将捕获并重新抛出异常，将它们打包为 InvocationTargetException 中的内部异常。这会展开堆栈并使用户认为该错误是调用 .Invoke 的代码(例如，我的代码)的某种问题。这就是为什么 C# 引用手册认为 catch/rethrow 是糟糕的编码实践的原因:一个人应该只捕获一个计划处理的异常......

hvd 解释说，这主要是因为 .Invoke 对参数的数量或类型一无所知，而且在那种模式下，显然会出于某种原因捕获并重新抛出异常。他的变通方法基本上确定了参数的数量(示例中的泛型:Action<,>)，这显然足以让 .Invoke 不执行“通用捕获”。但是要将他的示例用于任意代码，我需要为每个可能的参数数量设置一个案例。可行(毕竟，谁会想要超过 16 个？)但很丑!

因此，今天的挑战是:改进该代码，以便使用类似的 3 行 C# 代码段，无论参数有多少，它都能正常工作。当然，生成的委托(delegate)也需要可调用，大概有一个对象向量，每个参数一个...

PS:悲观的原因之一:Action 本身有 16 种形式，有 1 到 16 个参数。所以对我来说，这表明 C# 开发人员没有看到更通用的方法来做到这一点，并最终得到了与我使用 switch 语句相对应的版本(我猜 switch 会有 0 到 16 个参数的情况，因为我需要一个带有 N 个类型参数的 Action<...> 来处理 N 个用户提供的参数!)

Answer 1

我不想让这个永远开放，所以我已经尽我所能来理解核心问题，包括下载 Mono 中 .Invoke 的代码。据我所知，最初的问题仅仅是由于优化有利于更快的调用，而当对具有参数向量的对象进行动态调用时，以这种方式捕获异常为代价。使用通用模板创建的动态委托(delegate)的代码根本没有这个问题。

这不是一个很好的答案，但如果无法访问 Invoke 的 .NET 实现，显然不可能给出更好的答案。