泛型Record继承非泛型Record时出现成员类型匹配错误求助

代码实现与需求 #

我尝试用泛型Record包装不同Dto类型的数组，定义了泛型版本和非泛型基类版本，期望将不同泛型参数的SomeWrapper<T>实例存入同一个List<SomeWrapper>列表中：

泛型与非泛型Record定义 #

public sealed record SomeWrapper<T>(T[]? L1, T[]? L2, T[]? L3) 
    : SomeWrapper(L1, L2, L3) where T : Dto;

public record SomeWrapper(
    Dto[]? L1,
    Dto[]? L2,
    Dto[]? L3
);

列表初始化代码 #

List<SomeWrapper> someWrappers = new List<SomeWrapper>();

someWrappers.Add(new SomeWrapper<SomeDto>());
someWrappers.Add(new SomeWrapper<SomeOtherDto>());
return someWrappers;

编译错误信息 #

Record member 'L1' must be a readable instance property or field of type 'T[]' to match positional parameter 'L1'

Dto相关定义 #

public interface Dto<T> : Dto where T : Entity.Entity;

public interface Dto
{
    string Id { get; init; }
};

// Entity为空接口
public interface Entity { }

问题原因 #

C# Record的位置参数继承规则要求：派生类使用位置参数语法继承基类时，派生类的位置参数必须与基类对应属性的类型精确匹配，或者编译器能自动处理隐式转换。但这里：

• 基类的L1/L2/L3属性类型是Dto[]?
• 泛型派生类的位置参数类型是T[]?（T实现Dto接口）
  虽然T[]可以协变转换为Dto[]，但Record的位置参数继承逻辑不会自动处理这种数组协变，导致编译器无法匹配基类属性与派生类的位置参数，从而抛出错误。

解决建议 #

方案1：显式转换基类构造函数参数 #

修改泛型Record的继承构造函数调用，显式将T[]?转换为Dto[]?：

public sealed record SomeWrapper<T>(T[]? L1, T[]? L2, T[]? L3) 
    : SomeWrapper(L1 as Dto[], L2 as Dto[], L3 as Dto[]) where T : Dto;

利用数组协变的特性，as转换是安全的（因为T是引用类型的接口实现）。

方案2：基类使用抽象属性，派生类重写 #

将非泛型基类改为抽象Record，泛型派生类重写属性：

public abstract record SomeWrapper
{
    public abstract Dto[]? L1 { get; init; }
    public abstract Dto[]? L2 { get; init; }
    public abstract Dto[]? L3 { get; init; }
}

public sealed record SomeWrapper<T>(T[]? L1, T[]? L2, T[]? L3) : SomeWrapper where T : Dto
{
    public override Dto[]? L1 => L1;
    public override Dto[]? L2 => L2;
    public override Dto[]? L3 => L3;
}

这种方式明确了属性的继承关系，避免构造函数的类型匹配问题。

方案3：手动定义构造函数与属性 #

放弃位置参数语法，手动控制构造逻辑：

public sealed record SomeWrapper<T> : SomeWrapper where T : Dto
{
    public T[]? L1 { get; init; }
    public T[]? L2 { get; init; }
    public T[]? L3 { get; init; }

    public SomeWrapper(T[]? l1, T[]? l2, T[]? l3) 
        : base(l1 as Dto[], l2 as Dto[], l3 as Dto[])
    {
        L1 = l1;
        L2 = l2;
        L3 = l3;
    }

    // 无参构造函数，适配示例中的初始化
    public SomeWrapper() : this(null, null, null) {}
}

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