如何为类型映射字典添加编译期类型约束以确保键值类型合规？

核心思路 #

直接使用Dictionary<Type, Type>无法实现编译时类型约束，因为Type是运行时类型标识，编译器无法提前验证其是否符合接口/基类要求。我们需要通过泛型约束让编译器在编译阶段就验证类型合法性，再将符合约束的类型对存入内部字典。

实现方案 #

1. 自定义类型映射容器 #

创建一个封装Dictionary<Type, Type>的类，通过带泛型约束的Add方法添加类型映射，确保只有符合要求的类型对能通过编译：

using System.Windows;

internal class ViewModelWindowMapper
{
    private readonly Dictionary<Type, Type> _typeMap = new();

    // 泛型约束：TViewModel必须实现IDialogWindowVM，TWindow必须继承Window
    public void Add<TViewModel, TWindow>()
        where TViewModel : IDialogWindowVM
        where TWindow : Window
    {
        _typeMap.Add(typeof(TViewModel), typeof(TWindow));
    }

    // 对外提供字典的只读访问
    public IReadOnlyDictionary<Type, Type> TypeMap => _typeMap;
}

2. 初始化类型映射 #

在BindingResources类中使用自定义容器，通过泛型方法添加映射关系：

internal static class BindingResources
{
    public static readonly IReadOnlyDictionary<Type, Type> ViewModelDictionary;

    static BindingResources()
    {
        var mapper = new ViewModelWindowMapper();
        // 编译时会自动检查类型是否符合约束
        mapper.Add<CreateGroupVM, CreateGroupUI>();
        mapper.Add<CreateNewNetworkVM, CreateNewNetwork>();
        
        // 示例：如果尝试添加不符合约束的类型，编译会直接报错
        // mapper.Add<string, Button>(); // 错误：string未实现IDialogWindowVM，Button不是Window的子类

        ViewModelDictionary = mapper.TypeMap;
    }
}

方案有效性说明 #

泛型约束是编译时检查机制，当调用Add<TViewModel, TWindow>()时，编译器会自动验证TViewModel是否实现了IDialogWindowVM、TWindow是否继承自Window，不满足则直接抛出编译错误，从根源避免了运行时类型不匹配的问题。

额外优化：不可变映射 #

如果需要确保映射关系初始化后无法修改，可以将ViewModelWindowMapper的Add方法设为内部私有，仅在BindingResources的静态构造函数中调用，对外只暴露只读字典，进一步保证映射的安全性。

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