последовательность точек.1  В нескольких простых случаях ваш компилятор может предупредить вас, что вы вызываете неопределенное поведение, но не в общем случае.

Однако вы, как правило, только когда-либо нарушаете требования точки последовательности, если вы пишете «интересно». код, такой как ваш пример. Стандарт языкаcould налагать определенные ограничения на код, такой как этот (что и делают языки, такие как Java), но нет большого преимущества и потенциального недостатка в предотвращении определенных типов оптимизации.

1. The terminology has changed slightly in C++11, but the principle is still largely the same, I think.

problems' before finding them as bugs?

Они происходят из-за неоднозначности (или свободы изменения) порядка операций во время выполнения.

Для вашего примера:

++a = a++;

язык оставляет неопределенным, должно ли предварительное увеличение значения l происходить до или после последующего увеличения значения r. Добавление ограничения здесь повлечет за собой значительные расходы; какова общая выгода? Что является ясным, очевидным способом, которым этот пример кода «должен»? вести себя?

Чтобы повысить производительность, порядок операций в программе может быть изменен (в строгих пределах) компилятором и / или процессором.

Overly ограничивающий порядок выполнения будет:

Make it more difficult to implement C/C++ for different target architectures Add complexity to the language specification Cut performance (in return for what gain?) Prevent many compile-time optimizations, cutting performance Require disabling pipelining and hardware reordering during execution, again cutting performance Perhaps break existing code

Давайте посмотрим на ограничение порядка выполнения для другого примера кода:

a = b++ + ++c - --d - e--;

Предположим, что доступно только ограниченное количество регистров и что некоторые из переменных («d» и «e») находятся в регистрах, а некоторые - нет. Строго ограничивающий порядок выполнения (скажем, слева направо) может потребовать:

Discard 'd' from registers Discard 'e' from registers Load 'b' Save its initial value as 'b,original' Increment 'b' (might be non-trivial for some data types) Store modified 'b' Reload 'b,original' Load 'c' Increment 'c' Save updated 'c' Add 'b,original' + 'c' and save as, partial result etc. etc.

Хотя, если разрешено, например, обрабатывать & d; и "е"; сначала и увеличивать «b»; чуть позже компилятор может значительно сократить количество шагов и повысить производительность.

How can one see those 'problems' before finding them as bugs?

Скомпилируйте вашу программу с самым строгим уровнем и включите настройки для всех предупреждений, которые будут указаны как ошибки. Большинство основных компиляторов указывают на неопределенные ошибки поведения из-за точек последовательности.

С gcc вы можете использовать:

-Wsequence-point

который должен указать на проблемы последовательности точек. Обратите внимание, что он включен по умолчанию, если вы используете-Wall.

Конечно, лучший способ - это попытаться написать более читаемый код, который избегает точки последовательностиmis-adventures.