如何约束泛型类的两个泛型参数为不同类型

这个问题我做项目时也纠结过！C# 里确实没有直接的 where P1 != P2 这种原生约束语法，但我们可以用几个实用的小技巧来实现类似的效果，分两种场景给你说明：

一、编译时强制检查（推荐） #

这种方法能在开发阶段就拦住相同类型的参数，避免运行时才踩坑。核心思路是利用编译器的重载解析歧义来触发错误：

// 辅助工具类，专门做类型差异校验
internal static class TypeDifferenceChecker<T1, T2>
{
    // 对外暴露的校验入口
    public static void EnsureDifferent() => Check(default(T1), default(T2));

    // 当T1和T2类型不同时，编译器能明确匹配到对应重载
    private static void Check(T1 t1, T2 t2) { }
    private static void Check(T2 t2, T1 t1) { }
}

// 你的泛型类
public class SomeGeneric<P1, P2>
{
    // 静态构造函数触发校验，保证只执行一次
    static SomeGeneric()
    {
        TypeDifferenceChecker<P1, P2>.EnsureDifferent();
    }

    // 类的其他业务逻辑...
}

当你尝试用相同类型实例化时，比如 var obj = new SomeGeneric<int, int>();，编译器会因为 TypeDifferenceChecker 里的两个 Check 重载产生参数歧义，直接抛出编译错误，完美实现编译时约束！

二、运行时检查（简单直接） #

如果你的场景对编译时校验要求不高，或者需要更灵活的错误提示，可以在构造函数里做类型判断，运行时抛出异常：

public class SomeGeneric<P1, P2>
{
    public SomeGeneric()
    {
        if (typeof(P1) == typeof(P2))
        {
            throw new InvalidOperationException("泛型参数P1和P2必须是不同类型！");
        }
    }

    // 类的其他业务逻辑...
}

这种方法代码量少、容易理解，但缺点也很明显——错误要到程序运行时才会暴露，适合测试充分或者低风险的场景。

小补充 #

目前到 C# 12 为止，官方还没有提供原生的“不同类型”泛型约束，上面的都是社区常用的变通方案。如果未来 C# 版本支持了原生语法，那肯定优先用原生的，但现在这些技巧足够覆盖大部分需求啦。

内容来源于stack exchange