Objective-C 유형 추론

Question

좋아, 내가 왜 이렇게 혼란스러워하는지 빨리 알 수있을 것 같은 느낌이 들지만 다음 이유가 컴파일러가되지 않는 이유는 무엇인지 궁금하다. 오류 또는 경고 :

NSString * intValue = [ NSString stringWithFormat:@"int = %i", [ [ self.selectedObject valueForKey:name ] integerValue ] ]; 

selectedObject는 NSObject이며, name 유형 int의 @property의 이름을 발생합니다. 저를 당혹 무엇

컴파일러가 [ self.selectedObject valueForKey:name ]의 반환 결과가 integerValue를 호출 체인을 위해 메시지를 (그것을 타입 캐스팅없이) 타입 NSNumber *이다 가정 완벽하게 기꺼이 이유입니다.

물론, KVC는 NSNumber에 비 객체 "번호"형식을 래핑하지만 컴파일러는 -valueForKey:이 특별한 경우에 NSNumber *을 반환 할 것을 알 수있는 방법이 없습니다.

"id"행에 따라 컴파일러 경고가 표시되지 않는 이유는 무엇입니까 '-integerValue' "에 응답하지 않을 수 있습니까?

Answer 1

나는 그것이 올바르게 되었으면 좋겠다. 이것은 id이 "특별하다"때문이다. id 유형의 객체는 원하는 모든 메시지를 보낼 수 있으며 컴파일러가 수행 한 검사는 없으며 런타임에 모든 것이 검사됩니다. 즉, id 유형은 Objective-C의 "동적 유형 지정"부분이며 다른 모든 유형 (예 : NSObject)은 "정적 유형 지정"부분입니다.

이 방법을 사용하면 정적 입력을 사용하려는 위치와 동적 입력을 사용하려는 위치를 선택할 수 있습니다. 이 같은 것을 할 완벽하게 합법적이다

id str1 = @"Hello"; 
id str2 = [str1 stringByAppendingString:@", world"]; 

을하지만 당신은 컴파일시 정적 유형 검사의 편의를 얻을 수 있기 때문에 일반적으로는, NSString들로 "꽉"문자열을 입력 한 경우에만 동적 타이핑 곳으로 리조트 정적 인 것은 valueForKey 상황 에서처럼 방해가 될 것입니다.