C Programming/Side effects and sequence points
|This page needs a history merge with [[w:Sequence point]].
A Wikibooks administrator should take care of this shortly.
||This page or section is an undeveloped draft or outline.
You can help to develop the work, or you can ask for assistance in the project room.
In C and more generally in computer science, a function or expression is said to have a side effect if it modifies a state outside its scope or has an observable interaction with its calling functions or the outside world. By convention, returning a value has an effect on the calling function, but this is usually not considered as a side effect.
Some side effects are:
- Modification of a global variable or static variable
- Modification of function arguments
- Raising an exception
- Writing data to a display or file
- Reading data
- Calling other side-effecting functions
In the presence of side effects, a program's behaviour may depend on history; that is, the order of evaluation matters. Understanding and debugging a function with side effects requires knowledge about the context and its possible histories.
A sequence point defines any point in a computer program's execution at which it is guaranteed that all side effects of previous evaluations will have been performed, and no side effects from subsequent evaluations have yet been performed. They are often mentioned in reference to C, because they are a core concept for determining the validity and, if valid, the possible results of expressions. Adding more sequence points is sometimes necessary to make an expression defined and to ensure a single valid order of evaluation.
- An expression's evaluation can be sequenced before that of another expression, or equivalently the other expression's evaluation is sequenced after that of the first.
- The expressions' evaluation is indeterminately sequenced, meaning one is sequenced before the other, but which is unspecified.
- The expressions' evaluation is unsequenced.
The execution of unsequenced evaluations can overlap, with catastrophic undefined behavior if they share state. This situation can arise in parallel computations, causing race conditions.
Examples of ambiguity
Consider two functions
g(). In C and C++, the
+ operator is not associated with a sequence point, and therefore in the expression
f()+g() it is possible that either
g() will be executed first. The comma operator introduces a sequence point, and therefore in the code
f(),g() the order of evaluation is defined: first
f() is called, and then
g() is called.
Sequence points also come into play when the same variable is modified more than once within a single expression. An often-cited example is the C expression
i=i++, which apparently both assigns
i its previous value and increments
i. The final value of
i is ambiguous, because, depending on the order of expression evaluation, the increment may occur before, after, or interleaved with the assignment. The definition of a particular language might specify one of the possible behaviors or simply say the behavior is undefined. In C, evaluating such an expression yields undefined behavior.
In C, sequence points occur in the following places. (In C++, overloaded operators act like functions, and thus operators that have been overloaded introduce sequence points in the same way as function calls.)
- Between evaluation of the left and right operands of the && (logical AND), || (logical OR) (as part of short-circuit evaluation), and comma operators. For example, in the expression
*p++ != 0 && *q++ != 0, all side effects of the sub-expression
*p++ != 0are completed before any attempt to access
- Between the evaluation of the first operand of the ternary "question-mark" operator and the second or third operand. For example, in the expression
a = (*p++) ? (*p++) : 0there is a sequence point after the first
*p++, meaning it has already been incremented by the time the second instance is executed.
- At the end of a full expression. This category includes expression statements (such as the assignment
a=b;), return statements, the controlling expressions of
whilestatements, and all three expressions in a
- Before a function is entered in a function call. The order in which the arguments are evaluated is not specified, but this sequence point means that all of their side effects are complete before the function is entered. In the expression
f(i++) + g(j++) + h(k++),
fis called with a parameter of the original value of
iis incremented before entering the body of
kare updated before entering
hrespectively. However, it is not specified in which order
h()are executed, nor in which order
kare incremented. If the body of
faccesses the variables
k, it might find both, neither, or just one of them to have been incremented. (The function call
f(a,b,c)is not a use of the comma operator; the order of evaluation for
- At a function return, after the return value is copied into the calling context. (This sequence point is only specified in the C++ standard; it is present only implicitly in C.)
- At the end of an initializer; for example, after the evaluation of
5in the declaration
int a = 5;.
- Between each declarator in each declarator sequence; for example, between the two evaluations of
int x = a++, y = a++. (This is not an example of the comma operator.)
- After each conversion associated with an input/output format specifier. For example, in the expression
printf("foo %n %d", &a, 42), there is a sequence point after the
%nis evaluated and before printing
- “Research Topics in Functional Programming” ed. D. Turner, Addison-Wesley, 1990, pp 17–42. Retrieved from: Hughes, John (PDF), Why Functional Programming Matters, http://www.cs.utexas.edu/~shmat/courses/cs345/whyfp.pdf
- Collberg, CSc 520 Principles of Programming Languages, Department of Computer Science, University of Arizona, http://www.cs.arizona.edu/~collberg/Teaching/520/2005/Html/Html-24/index.html
- Clause 6.5#2 of the C99 specification: "Between the previous and next sequence point an object shall have its stored value modified at most once by the evaluation of an expression. Furthermore, the prior value shall be accessed only to determine the value to be stored."
- Annex C of the C99 specification lists the circumstances under which a sequence point may be assumed.
- C++ standard, ISO 14882:2003, section 1.9, footnote 11.
- C++ standard, ISO 14882:2003, section 8.3: "Each init-declarator in a declaration is analyzed separately as if it was in a declaration by itself."