是否可以将泛型参数类型限制于此？

Question

精简版

如何强制BaseClass的TModel泛型参数与派生自它的类的类型相同？

public class BaseClass<TModel, TValidator> where TValidator : IValidator<TModel> { }

public class Person : BaseClass<Person, PersonValidator> { }

在此示例中，如何强制BaseClass的TModel为Person类型而不是其他类型？

这是无效的语法，但这是我的想象：

public class BaseClass<TValidator> where TValidator : IValidator<this> { }

public class Person : BaseClass<PersonValidator> { }

这是可能的还是我应该使用完全不同的解决方案来实现这一点？

长版

我正在尝试将一些验证逻辑提取到基类中，但我不知道如何约束泛型类型，因此生成的基类完全是万无一失的。

这是一个没有基类的所有验证逻辑的示例。 我正在使用 FluentValidation 验证对象，并通过IDataErrorInfo接口公开该验证结果，以便 WPF UI 可以使用它。

原始解决方案

public class User : IDataErrorInfo 
{
    private readonly IValidator<Person> _validator = new();

    public string Username { get; set; }
    public string Password { get; set; }

    private string ValidateAndGetErrorForProperty(string propertyName)
    {
        var result = _validator.Validate(this);

        if (result.IsValid)
        {
            return string.Empty;
        }

        return result.Errors.FirstOrDefault(a => a.PropertyName == propertyName)?.ErrorMessage ?? string.Empty;
    }

    //IDataErrorInfo implementation
    public string Error => string.Empty;
    public string this[string columnName] => ValidateAndGetErrorForProperty(columnName);
}

public class UserValidator : AbstractValidator<User>
{
    public UserValidator()
    {
        RuleFor(a => a.Username)
            .EmailAddress();

        RuleFor(a => a.Password)
            .MinimumLength(12);
    }
}

验证实现分离为一个基类

我想将验证逻辑和IDataErrorInfo实现分离到一个基类中，这样就不必在每个模型类中重复这个样板。 这就是我所拥有的。

public abstract class ValidationBase<TModel, TValidator> : IDataErrorInfo where TValidator : IValidator<TModel>, new()
{
    private readonly TValidator _validator;

    public ValidationBase()
    {
        _validator = Activator.CreateInstance<TValidator>();
    }

    private string ValidateAndGetErrorForProperty(string propertyName)
    {
        //I have to check if this is of type TModel since the TModel isn't constraint to this
        if (this is not TModel model)
        {
            throw new InvalidOperationException($"Instance is not of the supported type: {typeof(TModel)}. Type of {GetType()} found instead");
        }

        var result = _validator.Validate(model);

        if (result.IsValid)
        {
            return string.Empty;
        }

        return result.Errors.FirstOrDefault(a => a.PropertyName == propertyName)?.ErrorMessage ?? string.Empty;
    }

    //IDataErrorInfo implementation
    public string Error => string.Empty;
    public string this[string columnName] => ValidateAndGetErrorForProperty(columnName);
}

这是我使用它的方式：

public class User : ValidationBase<User, UserValidator>
{
    public string Username { get; set; }
    public string Password { get; set; }
}

问题

我对这个解决方案的问题是你可以编写这个无效的代码：

public class InvalidClass : ValidationBase<User, UserValidator>
{
    
}

Answer 1

这是你想要的？

public interface IValidator<TModel>
{
}

public class BaseClass<TModel, TValidator> 
    where TModel : BaseClass<TModel, TValidator> 
    where TValidator 
    : IValidator<TModel> { }

// Only classes derived from BaseClass can be instantiated
public class Person 
    : BaseClass<Person, PersonValidator> { }

public class PersonValidator 
    : IValidator<Person>
{
}

这是一个经典模式，其中泛型参数被限制在派生类中。