Точка последовательности в императивном программировании определяет любую точку в выполнении компьютерной программы, при которой гарантируется, что все побочные эффекты предыдущих оценок будут выполнены, и никаких побочных эффектов от последующих оценок еще не было выполнено.
Что это значит? Может кто-нибудь объяснить это простыми словами?
Когда происходит точка последовательности, это в основном означает, что вам гарантировано, что все предыдущие операции завершены.
Изменение переменной дважды без промежуточной точки последовательности является одним из примеров поведения undefined.
Например, i = i++; - undefined, потому что между этими двумя изменениями не существует точки последовательности i.
В Википедии есть список точек последовательности в стандартах C и С++, хотя окончательный список всегда следует брать из стандарта ISO. Из приложения C99 C:
Ниже приведены точки последовательности, описанные в 5.1.2.3:
С11 изменена формулировка. Похоже, что он разбил тернарный оператор и добавил несколько деталей:
Ниже приведены точки последовательности, описанные в 5.1.2.3:
Важно отметить, что точки последовательности - это не глобальные, а скорее должны рассматриваться как набор локальных ограничений. Например, в заявлении
a = f1(x++) + f2(y++);
Существует точка последовательности между оценкой x ++ и вызовом f1 и другой точкой последовательности между оценкой y ++ и вызовом f2. Однако нет никакой гарантии относительно того, будет ли x увеличиваться до или после вызова f2, и не будет ли y увеличиваться до или после вызова x. Если f1 изменит y или f2, измените x, результаты будут undefined (для кода, сгенерированного компилятором, было бы законно, например, читать x и y, увеличивать x, вызывать f1, проверять y на ранее прочитанное значение и- если он изменится - идите на ярость, ищите и уничтожаете все видео и товары Barney, я не думаю, что какие-либо реальные компиляторы генерируют код, который действительно сделал бы это, увы, но это было бы разрешено по стандарту).
Развернувшись на paxdiablo, ответьте на пример.
Предположим, что утверждение
x = i++ * ++j;
Есть три побочных эффекта: присвоение результата i * (j+1) x, добавление 1 в я и добавление 1 в j. Порядок применения побочных эффектов неуточнен; я и j могут быть увеличены сразу после оценки или они не могут быть увеличены до тех пор, пока оба они не будут оценены, но до того, как будет назначен x, или они не могут быть увеличены до тех пор, пока не будет назначена x.
Точка последовательности - это точка, в которой были применены все побочные эффекты (все обновления были обновлены x, я и j), независимо от порядка, в котором они были применены.
Это означает, что компилятор может делать фанковые оптимизации, трюки и магию, но должен достичь четко определенного состояния в этих так называемых точках последовательности.