無為空間

@interface Foo : NSObject
@end

@interface Bar : NSObject
{
    Foo *foo;
}
@property (nonatomic, readonly) NSObject *foo;
@end

Bar *bar = [[Bar alloc] init];
NSObject *foo1 = [bar foo]; // no error
NSObject *foo2 = bar.foo; // error: type of accessor does not match the type of property 'foo'

(　ﾟдﾟ) ……

@interface Baz : NSObject
{
    Foo *_foo;
}
@property (nonatomic, readonly) NSObject *foo;
@end

Baz *baz = [[Baz alloc] init];
NSObject *foo1 = [baz foo]; // no error
NSObject *foo2 = baz.foo; // no error

意味が分からない。
「プロパティと同名だが型の異なるインスタンス変数」が存在するだけでなぜ「アクセサの型とプロパティの型が一致しなく」なる？
少なくともインタフェース部だけではプロパティとインスタンス変数は関連付かない。

@synthesize foo;

がエラーになるというならまだ分かるが……