Order of evaluation

Материал из cppreference.com

This page has been machine-translated from the English version of the wiki using Google Translate.

The translation may contain errors and awkward wording. Hover over text to see the original version. You can help to fix errors and improve the translation. For instructions click here.

Click here for the English version of this page

Порядок вычисления операндов любого оператора C, в том числе порядок вычисления аргументов функции в функцию вызова выражения, а также порядок оценки подвыражений в любое выражение не определено (за исключением случаев, указанных ниже). Компилятор будет оценивать их в любом порядке, и, возможно, выбрать другой порядок, когда же выражение вычисляется снова.

Существует нет понятия слева-направо или справа-налево оценки в C, который не следует путать с слева-направо и справа-налево ассоциативность операторов: выражение a + b + c анализируется как из-за (a + b) + c налево-направо ассоциативность оператора +, но подвыражение c может быть оценена первый (или последний, или в то же время, как a или b) во время выполнения.

[править] Определения

[править] Оценки

Есть два вида оценок выполняется компилятором для каждого выражения или подвыражения (оба из которых являются необязательными):

' Вычисления значения: расчет значения, возвращаемого выражением. Это может включать определение идентичности объекта (именующее оценке) или считывания значения, присвоенные объекту (RValue оценки)
Original:
value computation: calculation of the value that is returned by the expression. This may involve determination of the identity of the object (lvalue evaluation) or reading the value previously assigned to an object (rvalue evaluation)
The text has been machine-translated via Google Translate.
You can help to correct and verify the translation. Click here for instructions.
' Побочный эффект: доступ (чтение или запись) для объекта, указанного летучих glvalue, изменение (запись) на объект, изменяя файл, изменения плавающей точкой окружающей среды (если поддерживается), или вызове функции, которая делает любой из этих операций.
Original:
side effect: access (read or write) to an object designated by a volatile glvalue, modification (writing) to an object, modifying a file, modifying the floating-point environment (if supported), or calling a function that does any of those operations.
The text has been machine-translated via Google Translate.
You can help to correct and verify the translation. Click here for instructions.

Если нет побочных эффектов от выражения мнения и компилятор может определить, что это значение не используется, то выражение не вычисляется.

[править] Заказ

"Последовательный-до» является асимметричным, транзитивным парных отношений между оценками в том же потоке (она может распространяться на темы, если атомарные типы памяти и барьеры участвуют).

Если последовательность точка находится между подвыражений Е1 и Е2, то и расчет стоимости и побочных эффектов E1 являются последовательными перед каждым вычислением стоимости и побочных эффектов E2
Original:
If a sequence point is present between the subexpressions E1 and E2, then both value computation and side effects of E1 are sequenced before every value computation and side effect of E2
The text has been machine-translated via Google Translate.
You can help to correct and verify the translation. Click here for instructions.
Если оценка секвенируют до оценку B, то оценка будет завершена до оценки B начинается. (начиная с C11)
Original:
If evaluation A is sequenced before evaluation B, then evaluation of A will be complete before evaluation of B begins. (начиная с C11)
The text has been machine-translated via Google Translate.
You can help to correct and verify the translation. Click here for instructions.
Если не последовательно до B и B секвенируют до, то оценка B будет завершена до оценки начинается. (начиная с C11)
Original:
If A is not sequenced before B and B is sequenced before A, then evaluation of B will be complete before evaluation of A begins. (начиная с C11)
The text has been machine-translated via Google Translate.
You can help to correct and verify the translation. Click here for instructions.
Если не последовательно до B и B не последовательно, прежде чем, то две возможности: (начиная с C11)
Original:
If A is not sequenced before B and B is not sequenced before A, then two possibilities exist: (начиная с C11)
The text has been machine-translated via Google Translate.
You can help to correct and verify the translation. Click here for instructions.
* Оценки А и В непоследовательными: они могут быть выполнены в любом порядке и могут перекрывать друг друга (в пределах одного потока исполнения, компилятор может чередовать инструкции процессора, которые содержат А и В)
Original:
* evaluations of A and B are unsequenced: they may be performed in any order and may overlap (within a single thread of execution, the compiler may interleave the CPU instructions that comprise A and B)
The text has been machine-translated via Google Translate.
You can help to correct and verify the translation. Click here for instructions.
* Оценки А и В indeterminably-последовательность: они могут быть выполнены в любом порядке, но не могут пересекаться: либо будет завершена до B, или B будет завершена до A. порядок может быть противоположным в следующий раз то же самое Выражение вычисляется.
Original:
* evaluations of A and B are indeterminably-sequenced: they may be performed in any order but may not overlap: either A will be complete before B, or B will be complete before A. The order may be the opposite the next time the same expression is evaluated.
The text has been machine-translated via Google Translate.
You can help to correct and verify the translation. Click here for instructions.

[править] Правила

1)

Существует последовательность момент после оценки всех аргументов функции и функции обозначения, и до фактического вызова функции.

2)

Значение вычислений (но не побочных эффектов) из операндов любого оператора последовательно до значения вычисления результата оператора (но не его побочные эффекты). (начиная с C11)

3)

Существует последовательность точку после оценки первого (левого) операнда и до оценки второй (правой) операнда из следующих бинарных операторов: && (логическое И), || (логическое ИЛИ), и , (запятая).

4)

Существует последовательность точку после оценки первого (левого) операнда и до оценки второй или третий операнд (в зависимости от оцениваются) условного ?: оператора

5)

Побочный эффект (изменение левого аргумента) прямого оператор присваивания и всех операторов присваивания секвенируют после вычисления значения (но не побочных эффектов) как левый и правый аргументы. (начиная с C11)

6)

Значение вычисления постинкремента и Постфиксный декремент операторов последовательно до его побочный эффект. (начиная с C11)

7)

Существует последовательность точку в конце полного описателя. (начиная с C99)

8)

Существует последовательность точку после оценки полного выражения (выражение, которое не является подвыражение: обычно то, что заканчивается точкой с запятой или управление заявление, если переключатель / / а / делать), и до следующего полного выражения.

9)

Существует последовательность точку непосредственно перед возвращением в библиотеку функций. (начиная с C99)

10)

Существует последовательность точку после действия, связанные с каждым спецификатор преобразования в форматированный I / O. (начиная с C99)

11)

Есть последовательность пунктов до и сразу после каждого вызова функции сравнения, сделанные библиотечных функций qsort и bsearch, а также между любой вызов функции сравнения и движения соответствующих предметов, изготовленных qsort (начиная с C99)

12)

Вызов функции, которые не последовательно, до или последовательно за другой вызов функции неопределенно последовательности (инструкции процессора, которые представляют собой различные вызовы функции не могут чередоваться, даже если функции встроенных) (начиная с C11)

13)

В выражениях инициализации списка всех оценок неопределенно последовательно (начиная с C11)

14)

В отношении неопределенно-последовательность вызова функции, операции присваивания операторы, и префикса и постфикса формы операторов инкремента и декремента являются одной оценки. (начиная с C11)

[править] Неопределенное поведение

1)

Если побочный эффект на скалярный объект непоследовательными по отношению к другим побочным эффектом того же объекта скаляр, поведение не определено.

i = ++i + i++; // undefined behavior
i = i++ + 1; // undefined behavior
f(++i, ++i); // undefined behavior
f(i = -1, i = -1); // undefined behavior

2)

Если побочный эффект на скалярный объект непоследовательными по отношению к значению вычисления с использованием значения одного и того же объекта скаляр, поведение не определено.

f(i, i++); // undefined behavior
a[i] = i++; // undefined bevahior

3)

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

[править] См. также

Приоритет операторов который определяет, как выражения строятся из их представление исходного кода.

Язык
Поддержка типов
Управление динамической памятью
Обработка ошибок
Программные утилиты
Дата и время
Строки
Алгоритмы
Числовая библиотека
Поддержка ввода/вывода
Поддержка локализации
Поддержка потоков (C11)
Атомарные операции (C11)

cppreference.com

Поиск

Пространства имён

Варианты

Просмотры

Действия