Неверное выполнение 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; 

Будет ли х всегда назначаться до у или нам нужно вставить барьер памяти?

Я знаю, что компилятор должен проверять зависимости, чтобы убедиться, что безопасно назначать a.y перед a.x, но для этого здесь нужно будет смотреть на все реализации во всех наблюдателях. Если ObjA является частью библиотеки, тогда он не может даже знать эту информацию до времени ссылки, что может быть слишком поздно, чтобы выполнить переупорядочение? Итак, можно ли предположить, что компилятор никогда не изменит порядок присвоений? Конечно, ивары - это еще одна история.

Answer 1

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

a.x = 10 точно такой же, как [a setX: 10], и, таким образом, проходит динамическую отправку. Поскольку он является динамическим, потенциальные побочные эффекты упомянутого вызова не могут быть известны во время компиляции.

Рассматривается динамическая отправка момента, когда компилятор не может выполнить повторное выполнение.