如何在运行时调用与异常实际类型匹配的扩展方法重载？

这个问题我太有共鸣了！之前做异常统一处理的时候也踩过这个坑——核心问题在于扩展方法是编译时静态绑定的，不是运行时动态派发的。你catch块里声明的是Exception类型变量，编译器就直接把GetString()绑定到Exception的扩展方法了，完全不管运行时实际抛出的是TimeoutException子类。

不过要实现“单catch块根据实际异常类型调用对应扩展”完全可行，推荐两种方案：

方案一：用C#模式匹配（最推荐） #

从C# 7开始支持的模式匹配（尤其是switch表达式）可以完美解决这个问题，代码简洁还类型安全：

try
{
    throw new TimeoutException();
}
catch (Exception ex)
{
    string message = ex switch
    {
        TimeoutException te => te.GetString(), // 匹配到TimeoutException，调用对应扩展
        ArgumentNullException ane => ane.GetString(), // 其他自定义扩展的异常类型
        InvalidOperationException ioe => ioe.GetString(),
        _ => ex.GetString() // 默认回退到Exception的扩展
    };
    Console.WriteLine(message); // 这里会输出"TimeOut!!!"
}

原理很简单：switch表达式会在运行时判断ex的实际类型，匹配到对应的分支后，变量（比如te）会被编译器识别为TimeoutException类型，自然就会调用该类型的扩展方法。

方案二：用反射动态调用（适合异常类型极多的场景） #

如果你的异常扩展方法特别多，不想一个个写case，可以用反射动态查找对应类型的扩展方法：

首先写一个统一的动态调用方法：

public static class ExceptionExtensionHelper
{
    public static string GetDynamicString(this Exception ex)
    {
        var currentType = ex.GetType();
        var extensionType = typeof(Extensions);
        
        // 先找当前类型的GetString扩展
        var method = extensionType.GetMethod(
            "GetString", 
            BindingFlags.Public | BindingFlags.Static,
            new[] { currentType }
        );
        
        // 如果没找到，递归找基类的（直到Exception）
        while (method == null && currentType != typeof(Exception))
        {
            currentType = currentType.BaseType;
            method = extensionType.GetMethod("GetString", new[] { currentType });
        }
        
        // 调用找到的方法
        return method?.Invoke(null, new object[] { ex }) as string ?? "Default Message";
    }
}

然后在catch块里直接调用：

try
{
    throw new TimeoutException();
}
catch (Exception ex)
{
    Console.WriteLine(ex.GetDynamicString()); // 输出"TimeOut!!!"
}

不过这种方法要注意反射的性能开销，而且如果扩展方法有重载的话需要额外处理，所以除非异常类型数量特别多，否则优先选方案一。

为什么原来的写法不行？ #

再补个小知识点：扩展方法本质是静态方法的语法糖。你写的ex.GetString()，编译器编译后其实是Extensions.GetString(ex)——编译时只会根据ex的声明类型（也就是Exception）来选择对应的静态方法，完全不会考虑运行时的实际类型，这就是为什么你之前得到的是"Standard!!!"。

内容的提问来源于stack exchange，提问作者Mike