通用协方差和转换为 SuperType

我有一个面向对象的问题，我认为它可以与通用协方差联系起来。我正在尝试构建一个模块化系统来导入不同类型的记录...模块包含常用方法，SalesModule 包含处理特定逻辑的函数...

public interface IImportable { ... void BuildSqlDataRecord(); ...  }
public class Sales : IImportable { ... }
public interface IModule<out T> where T : IImportable
{
    void Import(IEnumerable<T> list);  // Error Occurs here...
    IEnumerable<T> LoadFromTextFile(TextReader sr);
}
public abstract class Module<T> : IModule<T> where T : IImportable
{ 
    public void Import(IEnumerable<T> list) { ... T.BuildSqlDataRecord(); ... } 
    public IEnumerable<T> LoadFromTextFile(TextReader sr) { ... }
}
public class SalesModule : Module<Sales>
{
    public override void BuildSqlDataRecord() { ... }; 
}

在另一个函数中：

//Module<IImportable> module = null;
IModule<IImportable> module = null;
if(file.Name == "SALES")
    module = new SalesModule();
else
    module = new InventoryModule();

var list = module.LoadFromTextFile(sr);
module.Import(list);  

如何声明模块以便可以调用重写的方法？

public interface IModule<out T> where T : IImportable
{
    void Import(IEnumerable<T> list);  // Error Occurs here...
    IEnumerable<T> LoadFromTextFile(TextReader sr);
}

错误是正确的。我们选择“out”作为表示协方差的关键字，以提醒您 T 只能出现在“输出”位置。在您突出显示的行中，T 显示为输入。

T 一定不能是输入，因为......好吧，假设它被允许，看看会发生什么不好的事情：

IModule<Giraffe> gm = GetMeAModuleOfGiraffes();
IModule<Animal> am = gm; // Legal because of covariance.
IEnumerable<Tiger> tigers = GetMeASequenceOfTigers();
IEnumerable<Animal> animals = tigers; // Legal because of covariance.
am.Import(animals); // Uh oh.

您刚刚将老虎列表导入到只知道如何处理长颈鹿的模块中。

为了防止这种情况发生，必须将第一步定为非法。带“out”的类型声明是非法的。

如何声明模块以便可以调用重写的方法？

您必须声明接口，以便它遵守协变规则。如何做到这一点取决于您，但首先不要将任何“输出”参数放入“输入”位置。