问题描述
如您所知，C# 9.0 (.Net 5) now allows Covariant Returns。我需要帮助将其应用于具有自动实现属性的一组类。
我有两个代表金融银行账户和交易的抽象类。我使它们抽象，因为我将从各种数据源中提取数据，虽然主要属性在所有源中都是通用的，但每个源可能都有我想要保留的其他字段。两个类之间存在一对多的关系（1 个账户有很多交易，而 1 个交易只属于 1 个账户）。
public abstract class BankAccount
{
public string Name { get; set; }
public IList<Transaction> Transactions { get; set; } = new List<Transaction>();
...
}
public abstract class Transaction
{
public string Name { get; set; }
public virtual BankAccount BankAccount { get; set; } // This doesn't work unless I remove set;
...
}
这是一个具体实现的例子
public class PlaidBankAccount : BankAccount
{
public string PlaidId { get; set; }
...
}
public class PlaidTransaction : Transaction
{
public string PlaidId { get; set; }
public override PlaidBankAccount BankAccount { get; set; } // This doesn't work unless I remove set;
...
}
我想要做的是覆盖基类 getter 和 setter，以便它们使用派生类。例如：
如果我创建具体事务的实例并调用 BankAccount 获取器，我想获取派生 PlaidBankAccount 的实例而不是基础 BankAccount。
我发现当我只在基类中定义虚拟 getter 并在派生类中覆盖它时，它可以工作。但就像我添加两个属性 {get;set;} 一样，我得到与以前的 C# 版本相同的错误：
error CS1715: 'PlaidTransaction.BankAccount': type must be 'BankAccount' to match overridden member 'Transaction.BankAccount'
我该如何解决这个问题？
解决方法
在 C# 9 中，属性只有在 只读 时才能有协变返回，所以很遗憾，没有 set; 是可能的。
覆盖属性声明必须指定与继承属性完全相同的访问修饰符、类型和名称。从 C# 9.0 开始，只读覆盖属性支持协变返回类型。被覆盖的属性必须是虚拟的、抽象的或覆盖的。