C# Ogólne ograniczenia - jak odnosić się do obecnego typu klasy?

Question

Mam następujących klas/interfejsów:

public abstract class AbstractBasePresenter<T> : IPresenter<T> 
    where T : class, IView 
{ 
} 

public interface IPresenter<T> 
{ 
} 

public interface IView<TV, TE, TP> : IView 
    where TV : IViewModel 
    where TE : IEditModel 
    //where TP : AbstractBasePresenter<???> 
{ 
} 

public interface IView {} 

Czy jest jakiś sposób, że mogę zmusić TP na iVIEW <> być klasa, która dziedziczy z AbstractBasePresenter?

Czy jest to moja jedyna alternatywa, aby utworzyć nietypowy interfejs IPresenter, a następnie zaktualizować aplikację IPresenter w celu jej wdrożenia, a następnie użyć opcji "TP: IPresenter"?

Dzięki

Aktualizacja:

Proponowana odpowiedź poniżej nie działa:

public interface IView<TV, TE, TP> : IView 
where TV : IViewModel 
where TE : IEditModel 
where TP : AbstractBasePresenter<IView<TV,TE,TP>> 
{ 
} 

Mam interfejs zadeklarowane jako:

public interface IInsuredDetailsView : IView<InsuredDetailsViewModel, InsuredDetailsEditModel, IInsuredDetailsPresenter> 
{ } 

public interface IInsuredDetailsPresenter : IPresenter<IInsuredDetailsView> 
{ } 

Kompilator narzeka, że ​​IInsuredDetailsPresenter nie jest przypisane do AbstractBasePresenter>

Answer 1

Można to zrobić, ale musisz podać jeden rodzaj argumentu do interfejsu IView<>:

public interface IView<TV, TE, TP, T> : IView 
    where TV : IViewModel 
    where TE : IEditModel 
    where TP : AbstractBasePresenter<T> 
    where T : class, IView 
{ 
} 

Edit:

Według edycjach w swoim pytaniu: IInsuredDetailsPresenter na pewno nie jest przypisywany do AbstractBasePresenter. Kompilator narzeka ze względu na ograniczenia, o które prosiłeś w pierwotnym pytaniu. Dokładniej powodu tej części

where TP : AbstractBasePresenter<T> 

Wydaje chcesz ograniczyć TP się interfejs, jak również. Możesz spróbować poniższy fragment kodu: nie więcej są potrzebne

public interface IView<TV, TE, TP, T> : IView 
    where TV : IViewModel 
    where TE : IEditModel 
    where TP : IPresenter<T> 
{ 
} 

Ograniczenia T, ponieważ IPresenter<T> ma żadnego. Oczywiście, możesz dostosować odpowiedź armen.shimoon w podobny sposób. Chodzi o to, aby zastąpić ograniczenie AbstractBasePresenter<T> z ograniczeniem IPresenter<T>.

Answer 2

Nie ma problemu, nie ma potrzeby innego parametru rodzajowego:

public interface IView<TV, TE, TP> : IView 
    where TV : IViewModel 
    where TE : IEditModel 
    where TP : AbstractBasePresenter<IView<TV,TE,TP>> 
{ 
} 

Edycja: Zaktualizowany pytanie:

Jeśli nie trzeba prezenterowi dziedziczyć z AbstractBasePresenter, zmień kod do:

public interface IView<TV, TE, TP> : IView 
    where TV : IViewModel 
    where TE : IEditModel 
    where TP : IPresenter<IView<TV,TE,TP>> 
{ 
}