Сделать ObjC грамматики точки компилировать

Question

Как мы знаем, obj.foo будет скомпилирован в [obj foo] в @property геттер

Моего obj является прокси-объектом, который хранить свойства во время выполнения.
Но -foo селектор не будет определить во время компиляции

id obj = ...; // obj can perform -foo at runtime, but not at compile time 
id obj1 = [obj foo]; // may compile 
id obj2 = obj.foo; // compile error 

Могу ли я использовать некоторые #pragma трюк, чтобы остановить время компиляции проверки?
Или каким-то образом компилятор счастлив?

Answer 1

Если obj является прокси объект типа Foo (который имеет свойство foo) просто делать то, что естественно и использовать Foo * как его тип.

Компилятор позволит использовать синтаксис точек только в том случае, если известно, что статический тип отвечает на этот селектор. id не будет работать.

Answer 2

Объявив obj как тип id вы сообщаете компилятору, что obj может быть экземпляром любого класса, поэтому компилятор не знает, если он имеет какие-либо специфические свойства и методы. Если вы должны утверждать, что obj может быть более одного класса, но только классы, имеющие свойство foo, попробуйте использовать protocol.

id<ObjectWithFoo> obj = /* ... */ 
obj.foo // no error