Дженерики, как решить несовместимые общие ограничения типа

Question

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

public class MyDbSetWrapper<T> : IDbSetWrapper<T> 
     where T : class, IEntity 
{ 

} 

Я хочу, чтобы создать новый экземпляр этого класса из GetSet метода ниже. Ниже не компилируется, потому что MyDbSetWrapper ожидает T быть IEntity, но TEntity не ограничивается, чтобы быть в GetSet методом IEntity:

public IDbSetWrapper<TEntity> GetSet<TEntity>() where TEntity : class 
{ 
    return new MyDbSetWrapper<TEntity>(); 
} 

Как GetSet является реализация интерфейса третьей стороной, я m неспособно изменить общее ограничение на этот метод, чтобы включить IEntity, хотя TEntity всегда будет IEntity.

Как создать новый экземпляр MyDbSetWrapper из метода GetSet?

Answer 1

Вы не можете сделать это во время компиляции. Как вы заметили, для создания нового MyDbSetWrapper<TEntity> вам необходимо убедиться, что TEntity удовлетворяет по меньшей мере тем же самым типом ограничений, которые необходимы для типа MyDbSetWrapper<>. Поскольку вы не можете этого сделать, вы не можете создать тип с безопасностью типа времени компиляции.

Если вы не можете переместить IEntity типа в доступном месте, вы можете использовать только отражение здесь:

public IDbSetWrapper<TEntity> GetSet<TEntity>() 
    where TEntity : class 
{ 
    var type = typeof(MyDbSetWrapper<>).MakeGenericType(typeof(TEntity)); 
    return (MyDbSetWrapper<TEntity>) Activator.CreateInstance(type); 
} 

Обратите внимание, что это требует, чтобы IDbSetWrapper<T> не имеет ограничений на IEntity либо хотя. В противном случае он не будет работать, поскольку вы не можете гарантировать (снова), что TEntity в обратном типе IDbSetWrapper<TEntity> удовлетворяет ограничениям.