C#泛型约束：如何限制Map<T1,T2>中T1与T2互不兼容？

核心需求拆解 #

要实现双射双向字典，核心目标是让泛型参数T1和T2互不兼容，这样就能通过同名Get方法（参数类型不同）区分逻辑，无需依赖GetByA/GetByB这类命名后缀，同时要实现安全的索引运算符。但C#原生不支持where T1 not: T2这类反向泛型约束，需要用替代方案实现类似效果。

编译期约束方案（推荐） #

标记接口区分类型组 #

定义两个空标记接口，强制T1和T2分别属于不同的接口组，从编译阶段就阻止类型兼容的情况：

public interface IMapKeyGroup1 { }
public interface IMapKeyGroup2 { }

public class TwoWayMap<T1, T2> 
    where T1 : IMapKeyGroup1
    where T2 : IMapKeyGroup2
{
    private readonly Dictionary<T1, T2> _forwardMap = new();
    private readonly Dictionary<T2, T1> _reverseMap = new();

    // 正向索引器
    public T2 this[T1 key]
    {
        get => _forwardMap[key];
        set
        {
            _forwardMap[key] = value;
            _reverseMap[value] = key;
        }
    }

    // 反向索引器
    public T1 this[T2 key]
    {
        get => _reverseMap[key];
        set
        {
            _reverseMap[key] = value;
            _forwardMap[value] = key;
        }
    }

    public T2 Get(T1 key) => _forwardMap[key];
    public T1 Get(T2 key) => _reverseMap[key];
}

使用时给业务类型标记对应接口即可：

public class OrderId : IMapKeyGroup1 { public int Value { get; set; } }
public class OrderNumber : IMapKeyGroup2 { public string Value { get; set; } }

// 合法使用示例
var orderMap = new TwoWayMap<OrderId, OrderNumber>();
orderMap[new OrderId { Value = 1001 }] = new OrderNumber { Value = "ORD-2024-001" };
var number = orderMap.Get(new OrderId { Value = 1001 });
var id = orderMap.Get(new OrderNumber { Value = "ORD-2024-001" });

这种方式完全在编译期约束类型，没有运行时开销，能彻底避免类型兼容导致的方法歧义。

运行时约束折中方案 #

如果不想引入标记接口，可以在类的构造函数中加入类型兼容性检查，在实例化时快速失败：

public class TwoWayMap<T1, T2>
{
    private readonly Dictionary<T1, T2> _forwardMap = new();
    private readonly Dictionary<T2, T1> _reverseMap = new();

    public TwoWayMap()
    {
        if (typeof(T1).IsAssignableFrom(typeof(T2)) || typeof(T2).IsAssignableFrom(typeof(T1)))
        {
            throw new InvalidOperationException("T1和T2类型不能互相兼容");
        }
    }

    // 索引器和Get方法实现同前
}

虽然是运行时检查，但能在实例创建阶段就暴露问题，避免后续逻辑出现混淆。

安全索引器实现说明 #

上述示例中的索引器通过重载实现双向访问：一个接收T1类型参数返回T2，另一个接收T2类型参数返回T1，设置值时会同步更新正向和反向字典，保证双射关系的一致性。

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