Expression (computer science)

Examples

2 + 3 is both an arithmetic and programming expression, which evaluates to 5. A variable is an expression because it denotes a value in memory, so y + 6 is also an expression. An example of a relational expression is 4 ≠ 4, which evaluates to false.

C

You can see how the parts of the code can be an expression.

<span id="mwSQ"></span><span class="kt" id="mwSg">int</span><span class="w" id="mwSw"> </span><span class="nf" id="mwTA">main</span><span class="p" id="mwTQ">(</span><span class="kt" id="mwTg">void</span><span class="p" id="mwTw">)</span><span class="w" id="mwUA"> </span><span class="p" id="mwUQ">{</span> <span class="w" id="mwUg"> </span><span class="kt" id="mwUw">int</span><span class="w" id="mwVA"> </span><span class="n" id="mwVQ">y</span><span class="w" id="mwVg"> </span><span class="o" id="mwVw">=</span><span class="w" id="mwWA"> </span><span class="mi" id="mwWQ">10</span><span class="p" id="mwWg">;</span><span class="w" id="mwWw"> </span><span class="c1" id="mwXA">// The expression "y = 10";</span> <span class="w" id="mwXQ"> </span><span class="kt" id="mwXg">int</span><span class="w" id="mwXw"> </span><span class="n" id="mwYA">x</span><span class="w" id="mwYQ"> </span><span class="o" id="mwYg">=</span><span class="w" id="mwYw"> </span><span class="mi" id="mwZA">40</span><span class="p" id="mwZQ">;</span><span class="w" id="mwZg"> </span><span class="c1" id="mwZw">// The expression "x = 40";</span> <span class="w" id="mwaA"> </span> <span class="w" id="mwaQ"> </span><span class="kt" id="mwag">int</span><span class="w" id="mwaw"> </span><span class="n" id="mwbA">result</span><span class="w" id="mwbQ"> </span><span class="o" id="mwbg">=</span><span class="w" id="mwbw"> </span><span class="n" id="mwcA">x</span><span class="w" id="mwcQ"> </span><span class="o" id="mwcg">+</span><span class="w" id="mwcw"> </span><span class="n" id="mwdA">y</span><span class="p" id="mwdQ">;</span><span class="w" id="mwdg"> </span><span class="c1" id="mwdw">// The expression "result = x + y" is evaluated;</span> <span class="w" id="mweA"> </span><span class="k" id="mweQ">return</span><span class="w" id="mweg"> </span><span class="mi" id="mwew">0</span><span class="p" id="mwfA">;</span><span class="w" id="mwfQ"> </span><span class="c1" id="mwfg">// When a function is called, its return expression is evaluated and the call expression yields that value to the caller.</span> <span class="p" id="mwfw">}</span>

In C (and many other programming languages), the "=" is considered an operator like in mathematics; more specifically, a binary operator.

Void as a result type

In C and most C-derived languages, a call to a function with a void return type is a valid expression, of type void. Values of type void cannot be used, so the value of such an expression is always thrown away.

Side effects and elimination

In many programming languages, a function, and hence an expression containing a function, may have side effects. An expression with side effects does not normally have the property of referential transparency. In many languages (e.g. C++), expressions may be ended with a semicolon (;) to turn the expression into an expression statement. This asks the implementation to evaluate the expression for its side-effects only and to disregard the result of the expression (e.g. x+1;) unless it is a part of an expression statement that induces side-effects (e.g. y=x+1; or func1(func2());).

Caveats

The formal notion of a side effect is a change to the abstract state of the running program.

Another class of side effects are changes to the concrete state of the computational system, such as loading data into cache memories. Languages that are often described as "side effect–free" will generally still have concrete side effects that can be exploited, for example, in side-channel attacks.

Furthermore, the elapsed time evaluating an expression (even one with no other apparent side effects), is sometimes essential to the correct operation of a system, as behaviour in time is easily visible from outside the evaluation environment by other parts of the system with which it interacts, and might even be regarded as the primary effect such as when performing benchmark testing.

It depends on the particular programming language specification whether an expression with no abstract side effects can legally be eliminated from the execution path by the processing environment in which the expression is evaluated.