如何创建依类型T差异化执行的泛型方法（无类型判断语句）

问题1：如何创建可根据类型T执行不同逻辑的泛型方法 #

最直观的实现方式是结合泛型约束与类型检查，虽然简单但存在不少局限。举个示例：

public static T Add<T>(T x, T y)
{
    if (typeof(T) == typeof(int))
    {
        return (T)(object)((int)(object)x + (int)(object)y);
    }
    else if (typeof(T) == typeof(BigInteger))
    {
        return (T)(object)((BigInteger)(object)x + (BigInteger)(object)y);
    }
    throw new NotSupportedException($"类型 {typeof(T)} 不支持加法操作");
}

这种方式的问题很明显：每次新增支持的类型都要修改这个方法，违反开闭原则；而且频繁的装箱拆箱会影响性能，代码也显得臃肿。

问题2：不使用类型判断的最优方案 #

要彻底摆脱类型检查，C# 11引入的静态抽象接口成员是目前的最优解。它允许我们在接口中定义静态方法，让不同类型自行实现对应的逻辑，泛型方法只需通过接口约束即可自动匹配实现，完全不需要手动判断类型。

具体实现步骤 #

1. 定义包含静态抽象方法的接口

public interface IAddable<T>
{
    static abstract T Add(T left, T right);
}

2. 为目标类型实现接口

• 对于int这类无法修改源码的系统类型，我们可以通过扩展方式实现接口：

public static class IntAddition
{
    public static int Add(int left, int right) => left + right;
}

// 显式为int实现IAddable接口
public interface IAddable<int> : IAddable<int>
{
    static int IAddable<int>.Add(int left, int right) => IntAddition.Add(left, right);
}

• 对于自定义类型（比如你的BigInteger），直接在类型内部实现接口：

public struct BigInteger : IAddable<BigInteger>
{
    // 省略原有字段和方法...
    public static BigInteger Add(BigInteger left, BigInteger right) => left.Add(right);
}

3. 编写泛型Add方法
   现在泛型方法只需要约束到IAddable<T>，编译器会自动帮我们找到对应类型的Add实现，完全不需要类型判断：

public static T Add<T>(T x, T y) where T : IAddable<T>
{
    return T.Add(x, y);
}

低版本C#的替代方案 #

如果你的项目还在用C# 11之前的版本，也有两种可行方案：

• 重载方法：直接为每个支持的类型编写对应的Add方法，比如public static int Add(int x, int y)和public static BigInteger Add(BigInteger x, BigInteger y)，调用时编译器会自动匹配正确的重载，甚至不需要泛型。
• 策略模式：创建一个抽象的IAddStrategy<T>接口，为每个类型实现对应的策略类，再通过工厂类获取策略执行逻辑。不过这种方式代码量较大，不如静态抽象接口简洁。

总的来说，静态抽象接口成员是最优雅、最符合开闭原则的方案，它将逻辑实现交给具体类型，泛型方法只做统一调度，完美规避了类型判断的弊端。

内容的提问来源于stack exchange，提问作者Maristo-Tero