C#基类构造函数如何约束仅接受以派生类型为泛型的注入对象

编译报错的核心原因是C#泛型默认不支持变体转换：即使SkuCodeField实现了IBusinessInputFieldType<string>，IBusinessFieldValidator<SkuCodeField, string>也无法直接隐式转换为IBusinessFieldValidator<IBusinessInputFieldType<string>, string>。且IBusinessFieldValidator的TF类型参数作为ValidateValue的入参，无法声明协变out，靠泛型变体无法解决该问题。

实现方案：递归泛型约束（CRTP模式） #

给抽象基类增加一个指向派生类的泛型参数，配合泛型约束让基类直接识别派生类型，从根源上匹配验证器类型，无需任何类型转换即可实现编译期类型检查。

代码修改 #

首先调整Contracts层的基类定义：

namespace Contracts
{
    public interface IBusinessInputFieldType<TV>
        where TV : IComparable, IConvertible, IEquatable<TV>
    {
        TV SelectedValue { get; }
        bool SetValue(TV value);
    }

    // 新增TF泛型参数，约束TF必须为继承当前基类的派生类型
    public abstract class BusinessInputFieldTypeBase<TF, TV> : IBusinessInputFieldType<TV>
        where TF : BusinessInputFieldTypeBase<TF, TV>
        where TV : IComparable, IConvertible, IEquatable<TV>
    {
        protected BusinessInputFieldTypeBase(IBusinessFieldValidator<TF, TV> validator)
        {
            // 可选：加一层运行时校验，防止派生类传错泛型参数
            if (this is not TF)
                throw new InvalidOperationException("派生类必须将自身类型作为第一个泛型参数传入");
            _validator = validator;
        }

        private readonly IBusinessFieldValidator<TF, TV> _validator;

        public TV SelectedValue { get; private set; }

        public bool SetValue(TV value)
        {
            var priorValue = SelectedValue;
            SelectedValue = value;

            if (_validator != null)
            {
                // 该强转在泛型约束正确时100%安全
                var valueOk = _validator.ValidateValue((TF)this);
                if (!valueOk) SelectedValue = priorValue;
                return valueOk;
            }

            return true;
        }
    }

    public interface IBusinessFieldValidator<TF, TV>
        where TF : IBusinessInputFieldType<TV>
        where TV : IComparable, IConvertible, IEquatable<TV>
    {
        bool ValidateValue(TF field);
    }
}

再调整实现层的字段定义，继承基类时传入自身类型作为第一个泛型参数：

namespace Implementations
{
    // 传入SkuCodeField自身作为TF参数，自动匹配验证器类型
    public class SkuCodeField : Contracts.BusinessInputFieldTypeBase<SkuCodeField, string>
    {
        public SkuCodeField(Contracts.IBusinessFieldValidator<SkuCodeField, string> validator)
            : base(validator)
        {
        }
    }

    public class Ean13CodeValidator : Contracts.IBusinessFieldValidator<SkuCodeField, string>
    {
        public bool ValidateValue(SkuCodeField field)
        {
            return field != null && field.SelectedValue != null && field.SelectedValue.Length == 13;
        }
    }

    public class Ean8CodeValidator : Contracts.IBusinessFieldValidator<SkuCodeField, string>
    {
        public bool ValidateValue(SkuCodeField field)
        {
            return field != null && field.SelectedValue != null && field.SelectedValue.Length == 8;
        }
    }

    // 测试用：门店编码字段，与SKU字段验证器不通用
    public class StoreCodeField : Contracts.BusinessInputFieldTypeBase<StoreCodeField, string>
    {
        public StoreCodeField(Contracts.IBusinessFieldValidator<StoreCodeField, string> validator) : base(validator)
        {
        }
    }

    public class StoreCodeValidator : Contracts.IBusinessFieldValidator<StoreCodeField, string>
    {
        public bool ValidateValue(StoreCodeField field)
        {
            return field != null && field.SelectedValue != null && field.SelectedValue.StartsWith("S");
        }
    }
}

实现效果 #

• 合法传参正常编译运行：new SkuCodeField(new Ean13CodeValidator())、new StoreCodeField(new StoreCodeValidator())均可正常执行
• 错误传参直接编译失败：尝试向SKU字段传入门店编码验证器new SkuCodeField(new StoreCodeValidator())时，编译器会直接报类型不匹配错误，完全满足第6点的类型限制要求
• 所有类型检查在编译期完成，无运行时类型转换性能损耗，原有业务逻辑无需改动

注意事项 #

该模式要求所有派生类继承基类时，必须将自身作为第一个泛型参数传入。如果担心开发人员写错泛型参数，保留基类构造函数里的运行时校验即可，构造实例时会立刻抛出错误，不会将问题带到业务运行阶段。

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