C#泛型方法中如何让编译器确认泛型参数满足指定类型约束？

问题原因 #

编译器对泛型约束的检查是编译期行为，你写的运行时反射类型判断逻辑不会被编译器纳入约束校验的判定范围，所以会直接触发约束不匹配的编译错误。

可行解决方案 #

方案1：反射构造实例（最稳妥，无额外运行时开销） #

判定类型符合约束后，用反射动态构造带约束的泛型实例，绕开编译期的约束检查：

public IDbStrategy<T> GetDefaultStrategy<T>()
{
    if (typeof(DbModel).IsAssignableFrom(typeof(T)))
    {
        // 动态构造对应泛型类型的实例
        Type genericType = typeof(DefaultModelDbStrategy<>).MakeGenericType(typeof(T));
        return (IDbStrategy<T>)Activator.CreateInstance(genericType);
    }
    return new DefaultDbStrategy<T>();
}

如果DefaultModelDbStrategy的构造函数需要传参，把参数按顺序放到Activator.CreateInstance的第二个参数位置即可。

方案2：dynamic中转（写法最简单） #

利用dynamic的运行时解析特性，跳过编译期的泛型约束校验：

public IDbStrategy<T> GetDefaultStrategy<T>()
{
    return typeof(DbModel).IsAssignableFrom(typeof(T))
        ? (IDbStrategy<T>)(dynamic)new DefaultModelDbStrategy<DbModel>()
        : new DefaultDbStrategy<T>();
}

该方案仅存在极微小的dynamic运行时解析开销，普通业务场景可以忽略，对性能要求极高的核心链路不推荐使用。

方案3：双重强制转换 #

先转object再转目标类型，同样可以绕开编译期检查：

public IDbStrategy<T> GetDefaultStrategy<T>()
{
    if (typeof(DbModel).IsAssignableFrom(typeof(T)))
    {
        return (IDbStrategy<T>)(object)new DefaultModelDbStrategy<DbModel>();
    }
    return new DefaultDbStrategy<T>();
}

注意：该方案要求IDbStrategy<T>是协变接口（定义为IDbStrategy<out T>），否则可能出现运行时类型转换失败的问题。

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