Общий инвариант .NET 4.0, ковариантный, контравариантный. - PullRequest
Новая
       29

Общий инвариант .NET 4.0, ковариантный, контравариантный.

1 голос
/ 30 апреля 2010

Вот сценарий, с которым я столкнулся: 

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>, компилятор жалуется, что не может неявно преобразовать тип.

Когда я пытаюсь использовать ключевые слова in или out в объявлении интерфейса для общих параметров, компилятор жалуется на Недопустимая разница: параметр типа должен быть неизменным.

У меня есть следующий абстрактный класс: 

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

И пример конкретной реализации следующим образом: 

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

вернуть новый UserDataAccessLayer (); где компилятор жалуется.

Ответы [ 2 ]

0 голосов
/ 30 апреля 2010

Проблема со-и противо-дисперсии заключается в том, что она накладывает немало ограничений на используемые типы, поэтому она может быть неприменима во всех случаях.

Мне удалось заставить ваш код компилироваться, внеся следующие изменения: 

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

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

Примечание:

  • добавлено для IDataAccessLayer и ITableDataAccessLayer

Это, однако, означает, что вы не ограничены использованием TTableRecord только в выходных позициях этих типов, что означает:

  • тип для свойств только для чтения (не для свойств для записи)
  • тип возврата для методов
  • типы аргументов для методов

Вы можете не использовать его для:

  • записываемые свойства
  • ref или non-out / ref параметры для методов

Скорее всего, здесь нет никакого способа сделать так, чтобы ко-и-дисперсия помогла вам.

0 голосов
/ 30 апреля 2010

Насколько я знаю, вам нужно указать ключевое слово out для интерфейса, если вы хотите использовать ковариацию.

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

...