```Expressions, Evaluation and Assignments
•
•
•
•
•
•
•
•
Arithmetic expressions
Type conversions
Relational and Boolean expressions
Short-circuit evaluation
Assignment statements
Mixed-mode assignment statements
Sebesta Chapter 7
1
Expressions
• Expressions are fundamental means of specifying
computations in programming languages
• Understanding how expressions are evaluated requires
knowing the order in which operator and operand are
evaluated
• Essence of imperative languages is the dominant role of
assignment statements, including expressions
2
Arithmetic Expressions
• Evaluation of numeric expressions
– Motivation for the development of PLs
• Remember trajectory tables?
• Arithmetic expressions consist of
–
–
–
–
Operators
Operands
Parentheses/delimiters
Function calls
3
Design Issues for Arithmetic Expressions
1.
2.
3.
4.
What are the operator precedence rules?
What are the operator associativity rules?
What is the order of operand evaluation?
Are there restrictions on operand evaluation side
effects?
6. What mode mixing in expressions is allowed?
4
Arity of Arithmetic Expressions
• Arity
– Number of operands/arguments of a function
• A unary operator has one operand
• A binary operator has two operands
– Most common operators
• A ternary operator has three operands
• Some languages support N-ary operators
– In Lisp, a benefit of prefix representation
(* pi r r) vs. pi*r*r or pi*r^2
5
Operator Precedence Rules
• Precedence define the order in which adjacent operators
are evaluated
– Adjacent - separated by at most one operand
• Different PLs have different precedence levels
• Typical precedence levels – highest to lowest
1.
2.
3.
4.
5.
Parentheses
Unary operators
** (exponentiation, if the language supports it)
*, /, % (modulo)
+, -
6
Operator Associativity Rules
• Define the order in which adjacent operators with the
same precedence level are evaluated
• Typical associativity rules
– Left to right, except ** which is right to left
– Unary operators may associate right to left (e.g., FORTRAN)
• APL is different
– All operators have equal precedence and
– All operators associate right to left!
• Parentheses override precedence and associativity rule
7
Expression Evaluation Process
•
Order of evaluation is crucial
1. Variables
–
fetch value from memory
2. Constants
–
–
either implicit in instruction
or fetch from memory
3. Parenthesized expressions
–
evaluate all operands and operators first
4. Function references
–
the most interesting
8
Functions/Procedures
•
•
•
•
Parameters – pass by value (in) or by reference (in/out)
Return value
Input/Output
Side Effects
Function/Procedure
Result/
Return value
Arguments/
Parameters
Input/Output
Side Effects
9
Side Effects
• Side effect
– a function or procedure changes a two-way
parameter or a non-local variable
• A major problem with side effects:
– When a function referenced in an expression alters another
operand of the expression; e.g., for a parameter change:
a = 10;
b = a + fun(&a);
/*Assume fun changes its parameter*/
• Results of the expression depend on the order of
evaluation of statements!!
10
Solution 1: Prohibit Side Effects!
1. Language definition prohibits side effects
– No two-way parameters
– No non-local references
– It works!
– E.g. functional languages
– Need flexibility of two-way parameters and non-local variables
– Copying of parameters to avoid side effects
11
Solution 2: Fix Evaluation Order
2. Operand evaluation order is fixed in language definition
– We always know how expression will be evaluated
– This limits some compiler optimizations
12
Conditional Expressions
•
Ternary operator <cond> ? <expr1> : <expr2>
– Same as if (<cond> ) <expr1> else <expr2>
– C, C++, and Java <condition> average
(count == 0) ? 0 : sum / count
– Lisp:
(if <test> <do-if-true> <do-ifnot>)
• Short-circuit evaluation means
1. Evaluate test first and then
2. Evaluate only the branch taken
•
e.g. avoid division by zero above
13
– use of an operator for more than one purpose
• Some are common (e.g., + for int and float)
• Some are potential trouble
• e.g., * in C and C++, / for int and float in Java
– Loss of compiler error detection
• Missing operand should be a detectable error
– Can be avoided by introduction of new symbols
e.g., Pascal’s div
14
• Problems
– Users can define nonsense operations
– Readability may suffer, even when the operators make sense
15
Type Conversions
• Narrowing conversion
– converts to a “smaller” type (type has fewer values)
• e.g., float to int
• 3.99 to 4
• Widening conversion
– converts to a type that includes all values of the
original type
– or at least an approximation of each
• e.g., int to float
• 4 to 4.0f
16
Type Conversions
• Mixed-mode expression
– Operands of different types
• Coercion
– An implicit type conversion
– Decreases the type error detection ability of the compiler
• In most languages, widening conversions of numeric
types in expressions can be coerced
• In Ada, there are virtually no coercions in expressions
17
Explicit Type Conversions
• In C, C++, Ada, Java called casts
FLOAT (INDEX)
--INDEX is INTEGER type
– converts to floating point
• E.g., Java:
float speed = 45.5;
(int) speed;
/* =45; cuts off fractional part*/
18
Errors in Expressions
1. Inherent properties of mathematical functions
–
e.g. division by zero, infinity
2. Approximate representations
–
–
Fractions (e.g. 2/3, 0.1) and irrational numbers like π and e
Approximate huge integers with floating point
3. Limitations of computer arithmetic
– e.g. overflow, underflow
• If ignored by the run-time system (may even be
crashes, erroneous output, unpredictable behavior
• Less of a problem in some languages!
– E.g. exact fractions and huge integers in Lisp prevent errors of
type 2 & 3
19
Relational Operators, Boolean Expressions
• Boolean data type
– 2 values
• True
• False
• Boolean expression
– Has relational operators and operands of various types
– Evaluates to a Boolean value
– Operator symbols vary among languages
• e.g.not equal
– !=
– /=
– .NE.
– <>
– #
20
Boolean Expressions
21
• Operands are Boolean
• Result is Boolean
Boolean operator comparison
F77
FORTRAN 90
C
Lisp
.AND.
and
&&
and
and
.OR.
or
||
or
or
.NOT.
not
!
not
not
xor
xor
Odd Boolean Expressions in C
• C (until very recently) had no Boolean type
– used int 0 for false, and 1 or nonzero for true
• One odd characteristic of C’s expressions:
x < y < z
– Is a legal expression, but
– the result is not what you might expect! - I.e.(x<y)&(y<z)
– What does it do?
• Hint: C is left associative, what is z compared to?
22
Operators Precedence
**, abs, not
*, /, mod, rem
[unary] -, +
[binary] +, -, &
[relative] in, not in
and, or, xor, then, or, else
• C, C++, and Java have
– over 40 operators, and
– at least 15 different levels of precedence
23
Short Circuit Evaluation
• Suppose Java did not use short-circuit evaluation
• Problem
– table look-up
for (i = 1; i < a.length) && (a [i] != x); i++) {}
• Problem: reading from a file until eof
• Short-circuit evaluation has the problem of side effects
e.g. (a > b) || (b++ / 3) vs. a > b) || (++b / 3)
24
Short Circuit Evaluation in PLs
• C, C++, Java
– Provide short-circuit Boolean operators && and||
– As well as operators that are not short circuit: & and|
– why both?
– More operators, programmer can specify either
– Not short circuit using and, or
– Short-circuit using and then, or else
• FORTRAN 77
– short circuit, any side-affected variables must be set to undefined
25
Assignment Statements
• Assignment operator syntax
– = FORTRAN, BASIC, PL/I, C, C++, Java
– setf/setq in Lisp
– e.g. in PL/I: A = B = C;
• Note difference from C’s
– ==
– A common C error using = when it should be ==
26
Complex Assignment Statements
•
Multiple targets (PL/I)
A, B = 10
•
Compound assignment operators in C, C++, Java
sum += next;
•
Conditional targets in C, C++, Java
(first == true) ? total : subtotal = 0
•
Unary assignment operators in C, C++, Java
a++;
• C, C++, and Java treat = as an arithmetic binary operator
a = b * (c = d * 2 + 1) + 1
27
Assignment Statement as an Expression
• In C, C++, Java
– Assignment statements produce results
– So, they can be used as operands in expressions
while ((ch = getchar()) != EOF){…}
– Another kind of expression side effect
28
Mixed-Mode Assignment
•
FORTRAN, C, C++
–
–
•
any numeric value can be assigned to any numeric variable
conversion is automatic
Pascal
–
–
integers can be assigned to reals, but
reals cannot be assigned to integers
•
•
Java
–
•
only widening assignment coercions are done
–
•
must specify truncate or round
no assignment coercion
Lecture-specific question:
29
```