为何接口无法用作类型参数？CS8920错误原因及解决咨询

问题描述 #

尝试构建一个用于创建类型T的已验证值的模式时，定义的IValid<T>接口中，Create抽象静态方法的返回类型Result<IValid<T>, IEnumerable<string>>触发了编译器错误CS8920，提示“接口Valid无法用作类型参数”。

相关代码：

public abstract record Result<T, ErrorT>
{
    private Result() { }
    public sealed record Ok(T result) : Result<T, ErrorT>;
    public sealed record Error(ErrorT error) : Result<T, ErrorT>;
}

public interface IValid<T>
{
    T Value { get; init; }
    abstract static IEnumerable<string> Validate(T obj);
    abstract static Result<IValid<T>, IEnumerable<string>> Create(T value);
}

示例用法：

public record DriverLicense : IValid<string>
{
    public string Value { get; init; } = null!;

    private DriverLicense() { }

    public static Result<DriverLicense, IEnumerable<string>> Create(string licenseNumber){...}
    public static IEnumerable<string> Validate(string licenseNumber){...}
}

错误原因 #

CS8920的核心原因是：C#禁止将接口作为需要实例化的泛型类型参数。你的代码中，Result<IValid<T>, ...>要求Result.Ok返回一个IValid<T>类型的实例，但接口本身是抽象的，无法直接实例化。编译器无法保证所有实现IValid<T>的类型都能满足Result对T参数的实例化要求，因此抛出该错误。

另外，接口的静态方法属于接口本身，而Create方法定义的返回类型是接口类型的Result，但实际实现时返回的是具体实现类（比如DriverLicense），这导致接口定义的返回类型与实际实现的返回类型不匹配，进一步触发了编译器的类型检查冲突。

解决办法 #

方法1：引入自引用泛型约束 #

修改IValid<T>接口，增加自引用泛型参数TSelf并约束其实现IValid<T, TSelf>，让Create方法返回具体实现类的Result，而非接口类型。

修改后的接口代码：

public abstract record Result<T, ErrorT>
{
    private Result() { }
    public sealed record Ok(T result) : Result<T, ErrorT>;
    public sealed record Error(ErrorT error) : Result<T, ErrorT>;
}

public interface IValid<T, TSelf> where TSelf : IValid<T, TSelf>
{
    T Value { get; init; }
    abstract static IEnumerable<string> Validate(T obj);
    abstract static Result<TSelf, IEnumerable<string>> Create(T value);
}

对应的示例实现：

public record DriverLicense : IValid<string, DriverLicense>
{
    public string Value { get; init; } = null!;

    private DriverLicense() { }

    public static Result<DriverLicense, IEnumerable<string>> Create(string licenseNumber)
    {
        var errors = Validate(licenseNumber);
        return errors.Any() 
            ? new Result<DriverLicense, IEnumerable<string>>.Error(errors) 
            : new Result<DriverLicense, IEnumerable<string>>.Ok(new DriverLicense { Value = licenseNumber });
    }

    public static IEnumerable<string> Validate(string licenseNumber)
    {
        if (string.IsNullOrWhiteSpace(licenseNumber))
            yield return "驾驶证号码不能为空";
        if (licenseNumber.Length != 18)
            yield return "驾驶证号码长度必须为18位";
    }
}

方法2：将接口改为抽象类 #

如果不需要多继承，可以把IValid<T>改成抽象类。抽象类虽不能直接实例化，但编译器能识别其子类的继承关系，允许将其作为泛型参数使用。

修改后的抽象类代码：

public abstract record Result<T, ErrorT>
{
    private Result() { }
    public sealed record Ok(T result) : Result<T, ErrorT>;
    public sealed record Error(ErrorT error) : Result<T, ErrorT>;
}

public abstract class Valid<T>
{
    public abstract T Value { get; init; }
    public abstract static IEnumerable<string> Validate(T obj);
    public abstract static Result<Valid<T>, IEnumerable<string>> Create(T value);
}

对应的示例实现：

public sealed record DriverLicense : Valid<string>
{
    public override string Value { get; init; } = null!;

    private DriverLicense() { }

    public override static Result<Valid<string>, IEnumerable<string>> Create(string licenseNumber)
    {
        var errors = Validate(licenseNumber);
        return errors.Any() 
            ? new Result<Valid<string>, IEnumerable<string>>.Error(errors) 
            : new Result<Valid<string>, IEnumerable<string>>.Ok(new DriverLicense { Value = licenseNumber });
    }

    public override static IEnumerable<string> Validate(string licenseNumber)
    {
        if (string.IsNullOrWhiteSpace(licenseNumber))
            yield return "驾驶证号码不能为空";
        if (licenseNumber.Length != 18)
            yield return "驾驶证号码长度必须为18位";
    }
}

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