Блог

Я пишу клон OpenStruct на Objective-C, используя forwardInvocation:. Однако компилятор, по-видимому, не знает о пересылке во время компиляции. Компиляция с помощью ARC выдает мне массу предупреждений.

Код с открытым исходным кодом и доступен на Github, но в настоящее время скомпилирован с помощью -fno-objc-arc. Если кто-нибудь может взглянуть на то, как я мог бы сделать этот ARC совместимым, я был бы очень признателен.

Я попробовал этот код:

 OpenStruct *myStruct = [[OpenStruct alloc] initWithDictionary:myDictionary];
NSLog(@"%@ says %@", @"Cow",  [myStruct cowSound]);
  

Я получаю предупреждения или ошибки с ARC и без него, с LLVM 3.0 или LLVM GCC 4.2. Я думаю, вы неправильно поняли, что forwardInvocation: по-прежнему требует, чтобы метод был объявлен на некотором уровне, хотя бы в категории (@interface) класса, которому вы отправляете сообщение.

Например, когда вы делаете:

 [someObject doSomething];
  

Тогда это всегда будет генерировать по крайней мере предупреждение («SomeObject может не отвечать на doSomething»), если doSomething нигде не объявлен, независимо от того, реализует класс SomeObject forwardInvocation или нет. Как вы заметили, компилятор действительно не знает о пересылке, и он также не может полагаться на то, что ваша реализация forwardInvocation гарантирует доставку сообщений. В LLVM 3.0 с ARC или без него это могло быть изменено, чтобы вместо этого генерировать ошибку, потому что целью разработки ARC была ошибка в сторону большего количества ошибок компилятора, а не проблем во время выполнения.

Теперь вы все еще можете отправлять сообщения объекту, который не реализует метод. Например, с помощью метода Objective-C во время выполнения objc_msgSend или через NSInvocation. Но это аннулирует простой в использовании интерфейс, который вы планировали создать.

Кстати, ваш пример использования для OpenStruct на самом деле не объясняет, почему доступ к динамической структуре через обмен сообщениями проще, чем к простым средствам доступа, таким как [struct getValueForKey:@»moo»]; … если вы подумаете об этом, то [struct moo] дает пользователям мало или вообще не дает преимуществ по сравнению с первым подходом. Метод «moo» является динамическим в любом случае (строка или перенаправленное сообщение), и опечатка не будет обнаружена во время выполнения.