протокол подклассов и соответствие

Question

Учитывая

@protocol Response <NSObject> 
@end 

@protocol DataResponse <Response> 
@end 

@interface ListUsersResponse : NSObject <DataResponse> 
@end 

@interface RequestExecutor : NSObject 
+(id<Response>) execute: (id<Request>) request receptor: (Class) model; 
@end 

ListUsersRequest * request = [self buildListUsersRequest]; 
ListUsersResponse * result = [RequestExecutor execute:request receptor:[ListUsersResponse class]]; 

я получаю Initializing 'ListUsersResponse *__strong' with an expression of incompatible type 'id<Response>' ошибку. Почему это? Невозможно определить соответствие протокола компилятора? Как его решить?

Answer 1

Эти предупреждения вызваны тем, что ваш метод RequestExecutorexecute: возвращает объект общего типа id<Response>. Переменные, однако, объявляются как ListUsersResponse *, поэтому компилятор ожидает более конкретного типа (и он не уверен, что этот тип применяется корректно или нет, он не знает).

---

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

а) объявляя переменные с id<Response> типа вместо ListUsersRequest * типа, как:

id<Response> result = [RequestExecutor execute:request receptor:[ListUsersResponse class]]; 

Или

б) Литье их на лету (если вы уверены, что в этот момент они будут иметь соответствующий класс):

ListUsersResponse *result = (ListUsersRequest *)[RequestExecutor execute:request receptor:[ListUsersResponse class]];