Определение ограничения типа общего интерфейса для значений и ссылочных типов

Question

У меня есть некоторые проблемы с тем, чтобы получить это общее ограничение для работы.

У меня есть два интерфейса ниже.

Я хочу, чтобы иметь возможность ограничивать тип ICommandHandlers TResult только для типов, реализующих ICommandResult, но у ICommandResult есть свои ограничения, которые необходимо предоставить. ICommandResult может потенциально вернуть значение или ссылочный тип из свойства Result. Мне что-то не хватает? Благодарю.

public interface ICommandResult<out TResult> 
{ 
    TResult Result { get; } 
} 

public interface ICommandHandler<in TCommand, TResult> where TCommand : ICommand 
                 where TResult : ICommandResult<????> 
{ 
    TResult Execute(TCommand command); 
} 

Answer 1

Вы можете изменить интерфейс для этого (который выглядит вроде чище меня):

public interface ICommandHandler<in TCommand, TResult> where TCommand : ICommand 
{ 
    ICommandResult<TResult> Execute(TCommand command); 
} 

Или вы могли бы добавить параметр типа от ICommandResult<TResult> в список общих возможностей:

public interface ICommandHandler<in TCommand, TCommandResult, TResult> 
    where TCommand : ICommand 
    where TCommandResult: ICommandResult<TResult> 
{ 
    TCommandResult Execute(TCommand command); 
} 

Answer 2

Вы можете добавить 3-й параметр универсального типа для ICommandHandler:

public interface ICommandResult<out TResult> 
{ 
    TResult Result { get; } 
} 

public interface ICommandHandler<in TCommand, TResult, TResultType> 
                 where TCommand : ICommand 
                 where TResult : ICommandResult<TResultType> 
{ 
    TResult Execute(TCommand command); 
} 

Answer 3

Хм Не следует ли ваш второй интерфейс выглядеть следующим образом?

public interface ICommandHandler<in TCommand, ICommandResult<TResult>> 
    where TCommand : ICommand 
{ 
    TResult Execute(TCommand command); 
} 

Answer 4

Это следует сделать это:

public interface ICommandHandler<in TCommand, out TResult> 
    where TCommand : ICommand 
    where TResult : ICommandResult<TResult> 
{ 
    TResult Execute(TCommand command); 
}