1

这是我面临的情况：

public abstract class Record { } 

public abstract class TableRecord : Record { } 

public abstract class LookupTableRecord : TableRecord { } 

public sealed class UserRecord : LookupTableRecord { } 

public interface IDataAccessLayer<TRecord> 
    where TRecord : Record { } 

public interface ITableDataAccessLayer<TTableRecord> : IDataAccessLayer<TTableRecord> 
    where TTableRecord : TableRecord { } 

public interface ILookupTableDataAccessLayer<TLookupTableRecord> : ITableDataAccessLayer<TLookupTableRecord> 
    where TLookupTableRecord : LookupTableRecord { } 

public abstract class DataAccessLayer<TRecord> : IDataAccessLayer<TRecord> 
    where TRecord : Record, new() { } 

public abstract class TableDataAccessLayer<TTableRecord> : DataAccessLayer<TTableRecord>, ITableDataAccessLayer<TTableRecord> 
    where TTableRecord : TableRecord, new() { } 

public abstract class LookupTableDataAccessLayer<TLookupTableRecord> : TableDataAccessLayer<TLookupTableRecord>, ILookupTableDataAccessLayer<TLookupTableRecord> 
    where TLookupTableRecord : LookupTableRecord, new() { } 

public sealed class UserDataAccessLayer : LookupTableDataAccessLayer<UserRecord> { }

现在，当我尝试将 UserDataAccessLayer 转换为它的通用基类型ITableDataAccessLayer<TableRecord>时，编译器抱怨它不能隐式转换类型。

当我尝试在泛型参数的接口声明中使用inorout关键字时，编译器会抱怨Invalid variance: The type parameter must be invariantly valid。

我有以下抽象类：

public abstract class FileProcessor : IDisposable
{
    protected abstract ITableDataAccessLayer<TableRecord> CreateTableDataAccessLayer();
}

示例具体实现如下：

public class UserFileProcessor : FileProcessor
{
            protected override ITableDataAccessLayer<TableRecord> CreateTableDataAccessLayer()
        {
            return new UserDataAccessLayer();
        }
}

返回新的用户数据访问层（）；是编译器抱怨的地方。

4

2 回答 2

0

据我所知，如果要使用协方差，则需要为接口指定 out 关键字。

http://geekswithblogs.net/NewThingsILearned/archive/2009/09/30/covariance-in-.net-4.0.aspx

于 2010-04-30T09:06:18.460 回答
0

协变和逆变的问题在于它对所涉及的类型施加了相当多的限制，因此它可能不适用于所有情况。

通过进行以下更改，我设法编译了您的代码：

public interface IDataAccessLayer<out TRecord>
    where TRecord : Record { }

public interface ITableDataAccessLayer<out TTableRecord> : IDataAccessLayer<TTableRecord>
    where TTableRecord : TableRecord { }

笔记：

  • 为 IDataAccessLayer 和 ITableDataAccessLayer 添加了

但是，这意味着您不仅限于在这些类型的输出位置中使用 TTableRecord，这意味着：

  • 只读属性的类型（不适用于可写属性）
  • 方法的返回类型
  • 方法的参数类型

您不能将其用于：

  • 可写属性
  • 方法的参考或非输出/参考参数

很可能，这里没有办法让协方差和逆变方差对您有所帮助。

于 2010-04-30T10:11:43.267 回答