Как компилятор определяет, какие сообщения можно отправлять в переменную типа id? ⇐ IOS

[Anonymous]

Я столкнулся с этой «проблемой» (на самом деле это не проблема, я просто был удивлен тем, что это возможно), когда пробовал кое-что сделать с шаблоном TabBarController в Xcode. Если вы используете шаблон без раскадровки, базовая настройка будет выглядеть следующим образом:

Код: Выделить всё

- (BOOL)application:(UIApplication *)application didFinishLaunchingWithOptions:(NSDictionary *)launchOptions
{
self.window = [[UIWindow alloc] initWithFrame:[[UIScreen mainScreen] bounds]];
// Override point for customization after application launch.
UIViewController *viewController1 = [[FirstViewController alloc] initWithNibName:@"FirstViewController" bundle:nil];
UIViewController *viewController2 = [[SecondViewController alloc] initWithNibName:@"SecondViewController" bundle:nil];
self.tabBarController = [[UITabBarController alloc] init];

self.tabBarController.viewControllers = @[viewController1, viewController2];

self.window.rootViewController = self.tabBarController;
[self.window makeKeyAndVisible];
return YES;
}

Свойство viewControllers tabBarController является NSArray. Таким образом, [self.tabBarController objectAtIndex:0] возвращает идентификатор.

Поэтому я всегда думал, хочу ли я вызвать метод, объявленный на f.e. класс FirstViewController, мне пришлось сделать это так:

Код: Выделить всё

FirstViewController *firstVC = (FirstViewController *)[self.tabBarController objectAtIndex:0];
[firstVC someMethod];

Но, как оказалось, в этом нет необходимости, компилятор также позволил мне сделать следующее - ПОКА я импортирую заголовочный файл, который объявляет некоторый метод ( конечно, это не обязательно повышает читабельность, но все равно):

Код: Выделить всё

[[self.tabBarController objectAtIndex:0] someMethod];

Я совершенно этого не ожидал. Поэтому я предполагаю, что компилятор позволит вызывать любой метод по идентификатору, если этот метод объявлен в любом классе в области видимости текущего класса (под этим я подразумеваю, что его заголовочный файл импортируется в текущий класс) . Если класс, объявляющий someMethod, не импортирован, компилятор выдаст ошибку (но я должен добавить, что я проверял это при использовании ARC. Вполне возможно, что компилятор не будет жаловаться на вызов ' неимпортированные методы для id, если не используется ARC)...

Правильно ли это предположение? И если возможно, не могли бы вы предоставить дополнительную информацию или ссылку о типе идентификатора?

Или компилятор позволял вызывать любой метод по идентификатору (импортированный или нет) до ARC, а теперь жалобы на неимпортированные методы являются просто результатом ARC?

Спасибо большое.

Подробнее здесь: https://stackoverflow.com/questions/130 ... pe-variabl