Блог

Я пытаюсь построить следующую структуру. Похоже, компилятор не согласен с тем, что ServiceTicketModel может быть неявно преобразовано в Model<IEntity> . Почему это так и есть ли какой-либо способ обойти это?

 public abstract class ModelTest<TModel> where TModel : Model<IEntity>, new()

public abstract class Model<TEntity> where TEntity : IEntity

public class ServiceTicketModel : Model<ServiceTicket>

public class ServiceTicket : Ticket, IEntity


public class ServiceTicketModelTest : ModelTest<ServiceTicketModel>, IDisposable
  

Ошибка в последнем классе, и сообщение:

The type '...ServiceTicketModel' cannot be used as type parameter 'TModel' in the generic type or method 'ModelTest<TModel>'. There is no implicit reference conversion from '...ServiceTicketModel' to '...Model<IEntity>'

компилятор верен… вам нужно создать подкласс, Model<IEntity> чтобы удовлетворить where ограничению, которое вы добавили TModel , но вы этого не делаете — вы создаете подкласс Model<ServiceTicket> where ServiceTicket : IEntity . Это не то же самое.

Если бы это было определение интерфейса или делегата, вы иногда можете использовать модификаторы отклонения ( in / out ), чтобы сделать его более удобным. Но вы не можете сделать это с помощью классов.

Возможно, вам потребуется использовать:

 public abstract class ModelTest<TModel, TEntity>
    where TModel : Model<TEntity>, new()
    where TEntity : IEntity
{...}
public class ServiceTicketModelTest
    : ModelTest<ServiceTicketModel, ServiceTicket>
    , IDisposable
{...}