c ++ 11 — Допускается ли переупорядочение магазина правилом C ++ как-будто?

«как будто«правило в основном определяет, какие преобразования разрешено выполнять реализации в легальной программе на C ++. Короче говоря, все преобразования, которые не влияют на наблюдаемое поведение разрешены.

Что именно «наблюдаемое поведение» обозначает, cppreference.com Похоже, что есть другое определение с определением, данным стандартом, относительно ввода / вывода. Я не уверен, является ли это переосмыслением Стандарта или ошибкой.

«как будто«Правило cppreference.com:

• Все операции ввода и вывода выполняются в том же порядке и с
  такое же содержание, как если бы программа была выполнена как написано.

«как будтоПравило по Стандарту:

• Должна иметь место динамика ввода и вывода интерактивных устройств
  таким образом, что побуждающий вывод на самом деле доставляется до
  Программа ожидает ввода. Что представляет собой интерактивное устройство
  от реализации

Это различие важно для меня, потому что я хочу знать, является ли нормальное переупорядочение магазина действительной оптимизацией компилятора или нет. Согласно формулировке, хранилище памяти должно принадлежать output operations это упоминает. Но в соответствии со Стандартом хранилище памяти, похоже, не the output dynamics of interactive devices, (Что такое интерактивные устройства?)

Пример для подражания.

int A = 0;
int B = 0;

void foo()
{
A = B + 1;              // (1)
B = 1;                  // (2)
}

Современный компилятор может генерировать следующий код для функции foo:

mov     0x804a018, %eax
movl    $0x1, 0x804a018    ; store 1 to B
add     $0x1, %eax
mov     %eax, 0x804a01c    ; store 1 to A
ret

Как видно, магазин в A переупорядочен с магазином в B, Это соответствует «как будто«Правило? Допускается ли такое изменение порядка в Стандарте?