Objective-Cの順序が正しくない実行

Question

コンパイラがプロパティの割り当てを並べ替えることはないと仮定できますか？考えてみましょう以下：

@interface ObjA 
@property int x; 
@property int y; // When YES, x guaranteed to be set to 10. 
@end 

ObjA a; 
ObjB b; 

[a addObserver:b forKeyPath:@"y" options:nil context:&context] 
a.x = 10; 
a.y = YES; 

は、xがyの前に必ず割り当てられますか我々はメモリバリアを挿入する必要がありますか？

私はコンパイラがa.xの前にa.yを割り当てるのが安全であることを確かめるためにコンパイラが依存関係を調べるべきだと知っていますが、ここではすべてのオブザーバのすべての実装を見る必要があります。 ObjAがライブラリの一部である場合、リンク時間までこの情報を知ることさえできません。これは、並べ替えを行うには遅すぎる可能性がありますか？だから、コンパイラがプロパティの割り当てを並べ替えることは決してないと想定するのは安全でしょうか？イーバールはもちろん別の話です。

Answer 1

実行時にコードの動作が一定のままであることがわからないため、コンパイラはプロパティの割り当てを並べ替えることができません。

a.x = 10は、[a setX: 10]とまったく同じであり、したがって動的ディスパッチを行います。動的なので、コンパイル時に前記呼び出しの潜在的な副作用を知ることはできません。

ダイナミックディスパッチの瞬間は、コンパイラが実行を再注文できなくなった瞬間です。