Expressions

3


This chapter discuses Fortran expressions and how they are evaluated.


Expressions, Operators, and Operands

An expression is a combination of one or more operands, zero or more operators, and zero or more pairs of parentheses.

There are three kinds of expressions:

The operators indicate what action or operation to perform.

The operands indicate what items to apply the action to. An operand can be any of the following kinds of data items:


Arithmetic Expressions

An arithmetic expression evaluates to a single arithmetic value, and its operands have the following types. indicates a nonstandard feature.

The operators for an arithmetic expression are any of the following:

Table  3-1 Arithmetic Operators

Operator
Meaning
**

*

/

-

+

Exponentiation

Multiplication

Division

Subtraction or Unary Minus

Addition or Unary Plus

If BYTE or LOGICAL operands are combined with arithmetic operators, they are interpreted as integer data.

Each of these operators is a binary operator in an expression of the form:

	a   b

where a and b are operands, and is any one of the **, *, /, -, or + operators.

Examples: Binary operators:

	A-Z 
	X*B 

The operators + and - are unary operators in an expression of the form:

	 b

where b is an operand, and is either of the - or + operators.

Examples: Unary operators:

	-Z 
	+B 

Basic Arithmetic Expressions

Each arithmetic operator is shown in its basic expression in the following table:

Table  3-2 Arithmetic Expressions

Expression
Meaning
a ** z

a / z

a * z

a - z

-z

a + z

+z

Raise a to the power z

Divide a by z

Multiply a by z

Subtract z from a

Negate z

Add z to a

Same as z

In the absence of parentheses, if there is more than one operator in an expression, then the operators are applied in the order of precedence. With one exception, if the operators are of equal precedence, they are applied left to right.

Table  3-3 Arithmetic Operator Precedence

Operator
Precedence
**

* /

+ -

First

Second

Last

For the left-to-right rule, the one exception is shown by the following example:

F ** S ** Z

The above is evaluated as:

F ** (S ** Z)

f77 allows two successive operators.

Example: Two successive operators:

	X ** -A * Z 

The above expression is evaluated as follows:

	X ** (-(A * Z))

In the above example, the compiler starts to evaluate the **, but it needs to know what power to raise X to; so it looks at the rest of the expression and must choose between - and *. It first does the *, then the -, then the **.

Mixed Mode

If both operands have the same type, then the resulting value has that type. If operands have different types, then the weaker of two types is promoted to the stronger type, where the weaker type is the one with less precision or fewer storage units. The ranking is summarized in the following table:

Data Type
Rank
BYTE or LOGICAL*1

LOGICAL*2

LOGICAL*4

INTEGER*2

INTEGER*4

INTEGER*8

LOGICAL*8

REAL*4 (REAL)

REAL*8 (DOUBLE PRECISION)

REAL*16 (QUAD PRECISION) (SPARC and PowerPC only)

COMPLEX*8 (COMPLEX)

COMPLEX*16 (DOUBLE COMPLEX)

COMPLEX*32 (QUAD COMPLEX) (SPARC and PowerPC only)

1 (Weakest)

2

3

4

5

6

6

6

7

8

9

10

11 (Strongest)


Note - REAL*4, INTEGER*8, and LOGICAL*8 are of the same rank, but they can be the results of different pairs of operands. For example, INTEGER*8 results if you combine INTEGER*8 and any of the types between 1-5. Likewise, REAL*4 results if one of the operands is REAL*4, and the other is any of the types between 1-5. LOGICAL*8 dictates only the 8-byte size of the result.


Example of mixed mode: If R is real, and I is integer, then the expression:

	R * I 

has the type real, because first I is promoted to real, and then the multiplication is performed.

Rules

Note these rules for the data type of an expression:

Example: An expression that evaluates to zero:

	2/3 + 3/4 
There is one extension to this: a logical or byte operand in an arithmetic context is used as an integer.
Example: Some combinations of both integer and logical types:

	COMPLEX  C1 / ( 1.0, 2.0 ) /
	INTEGER*2 I1, I2, I3 
	LOGICAL L1, L2, L3, L4, L5 
	REAL R1 / 1.0 /
	DATA I1 / 8 /, I2 / 'W' /, I3 / 0 / 
	DATA L1/.TRUE./, L2/.TRUE./, L3/.TRUE./, L4/.TRUE./,
&		 L5/.TRUE./ 
	L1 = L1 + 1 
	I2 = .NOT. I2 
	L2 = I1 .AND. I3 
	L3 = I1 .OR. I2
	L4 = L4 + C1
	L5 = L5 + R1

Resultant Type

For integer operands with a logical operator, the operation is done bit by bit. The result is an integer.

If the operands are mixed integer and logical, then the logicals are converted to integers, and the result is an integer.

Arithmetic Assignment

The arithmetic assignment statement assigns a value to a variable, array element, or record field. The syntax is:

v = e
e Arithmetic expression, a character constant, or a logical expression
v Numeric variable, array element, or record field

Assigning logicals to numerics is allowed, but nonstandard, and may not be portable. The resultant data type is, of course, the data type of v.

Execution of an arithmetic assignment statement causes the evaluation of the expression e, and conversion to the type of v (if types differ), and assignment of v with the resulting value typed according to the table below.

Character constants can be assigned to variables of type integer or real. Such a constant can be a Hollerith constant or a string in apostrophes or quotes. The characters are transferred to the variables without any conversion of data. This practice is nonstandard and may not be portable.

Type of v
Type of e
INTEGER*2, INTEGER*4, or INTEGER*8 INT(e)
REAL REAL(e)
REAL*8 DBLE(e)
REAL*16 (SPARC and PowerPC only) QREAL(e) (SPARC and PowerPC only)
DOUBLE PRECISION DBLE(e)
COMPLEX*8 CMPLX(e)
COMPLEX*16 DCMPLX(e)
COMPLEX*32 (SPARC and PowerPC only) QCMPLX(e) (SPARC and PowerPC only)

Note - Compiling with any of the options -i2, -dbl, -r8, or -xtypemap will have an effect on the assumed type of e. This is discussed in Chapter 2. See also the Sun Fortran User's Guide for a description of these options.


Example: Arithmetic assignment:

	INTEGER I2*2, J2*2, I4*4 
	LOGICAL L1, L2
	REAL R4*4, R16*16 
	DOUBLE PRECISION DP 
	COMPLEX C8, C16*16 
	J2 = 29002 
	I2 = J2 
	I4 = (I2 * 2) + 1 
	DP = 6.4D0 
	QP = 9.8Q1 
	R4 = DP 
	R16 = QP 
	C8 = R1 
	C8 = ( 3.0, 5.0 ) 
	I2 = C8 
	C16 = C8 
	C8 = L1
	R4 = L2

Character Expressions

A character expression is an expression whose operands have the character type. It evaluates to a single value of type character, with a size of one or more characters. The only character operator is the concatenation operator, //.

Expression
Meaning
a // z Concatenate a with z.

The result of concatenating two strings is a third string that contains the characters of the left operand followed immediately by the characters of the right operand. The value of a concatenation operation a//z is a character string whose value is the value of a concatenated on the right with the value of z, and whose length is the sum of the lengths of a and z.

The operands can be any of the following kinds of data items:

Examples: Character expressions, assuming C, S, and R.C are characters:

	'wxy'
	'AB' // 'wxy'
	C 
	C // S 
	C(4:7) 
	R.C 

Note the following exceptions:

Example: A valid way to enter a Control-C:

	CHARACTER etx
	etx = CHAR(3)

Character String Assignment

The form of the character string assignment is:

v = e
e Expression giving the value to be assigned
v Variable, array element, substring, or character record field

The meaning of character assignment is to copy characters from the right to the left side.

Execution of a character assignment statement causes evaluation of the character expression and assignment of the resulting value to v.

Example: The following program below displays joined:

	CHARACTER A*4, B*2, C*8 
	A = 'join'
	B = 'ed'
	C = A // B 
	PRINT *, C 
	END 

Also, this program displays the equal string:

	IF ( ('ab' // 'cd') .EQ. 'abcd' ) PRINT *, 'equal'
	END

Example: Character assignment:

	CHARACTER BELL*1, C2*2, C3*3, C5*5, C6*6 
	REAL Z
	C2 = 'z' 
	C3 = 'uvwxyz' 
	C5 = 'vwxyz' 
	C5(1:2) = 'AB' 
	C6 = C5 // C2 
	I = 'abcd' 
	Z = 'wxyz'
	BELL = CHAR(7)   ! Control Character (^G)

The results are:

C2
gets
'z' A trailing blank
C3
gets
'uvw'  
C5
gets
'ABxyz'  
C6
gets
'ABxyzz' That is, the 'z' from C2
I
gets
'abcd'  
Z
gets
'wxyz'  
BELL
gets
07 hex Control-G, a bell

Example 4: A Hollerith assignment:

	CHARACTER S*4 
	INTEGER I2*2, I4*4 
	REAL R 
	S = 4Hwxyz 
	I2 = 2Hyz 
	I4 = 4Hwxyz 
	R = 4Hwxyz 

Rules of Assignment

Here are the rules for character assignments:

Example: The following program displays abcefggh:

	CHARACTER S*8
	S = 'abcdefgh'
	S(4:6) = S(5:7)
	WRITE(*,*) S
	END

Logical Expressions

A logical expression is a sequence of one or more logical operands and logical operators. It evaluates to a single logical value. The operators can be any of the following.

Table  3-4 Logical Operators

Operator
Standard Name
.AND.

.OR.

.NEQV.

.XOR.

.EQV.

.NOT.

Logical conjunction

Logical disjunction (inclusive OR)

Logical nonequivalence

Logical exclusive OR

Logical equivalence

Logical negation

The period delimiters are necessary.

Two logical operators cannot appear consecutively, unless the second one is the .NOT. operator.

Logical operators are evaluated according to the following precedence:

Table  3-5 Logical Operator Precedence

Operator
Precedence
.NOT.

.AND.

.OR.

.NEQV.,.XOR., .EQV.

Highest

Lowest

If the logical operators are of equal precedence, they are evaluated left to right.

If the logical operators appear along with the various other operators in a logical expression, the precedence is as follows.

Table  3-6 Operator Precedence

Operator
Precedence
Arithmetic

Character

Relational

Logical

Highest

Lowest

The following table shows the meanings of simple expressions:

Table  3-7 Logical Expressions and Their Meanings

Expression
Meaning
X .AND. Y

X .OR. Y

X .NEQV. Y

X .XOR. Y

X .EQV. Y

.NOT. X

Both X and Y are true.

Either X or Y, or both, are true.

X and Y are not both true and not both false.

Either X or Y is true, but not both.

X and Y are both true or both false.

Logical negation.

This is the syntax for the assignment of the value of a logical expression to a logical variable:

v = e
e A logical expression, an integer between -128 and 127, or a single character constant
v A logical variable, array element, or record field

Execution of a logical assignment statement causes evaluation of the logical expression e and assignment of the resulting value to v. If e is a logical expression, rather than an integer between -128 and 127, or a single character constant, then e must have a value of either true or false.

Logical expressions of any size can be assigned to logical variables of any size.

Assigning numerics to logicals is allowed. This practice is nonstandard, however, and is not portable.

Example: A logical assignment:

	LOGICAL B1*1, B2*1 
	LOGICAL L3, L4 
	B2 = B1 
	B1 = L3 
	L4 = .TRUE. 

Relational Operator

A relational operator compares two arithmetic expressions, or two character expressions, and evaluates to a single logical value. The operators can be any of the following:

Table  3-8 Relational Operators

Operator
Meaning
.LT.

.LE.

.EQ.

.NE.

.GT.

.GE.

Less than

Less than or equal

Equal

Not equal

Greater than

Greater than or equal

The period delimiters are necessary.

All relational operators have equal precedence. Character and arithmetic operators have higher precedence than relational operators.

For a relational expression, first each of the two operands is evaluated, and then the two values are compared. If the specified relationship holds, then the value is true; otherwise, it is false.

Example: Relational operators:

	NODE .GE. 0 
	X .LT. Y 
	U*V .GT. U-V 
	M+N .GT. U-V    Mixed mode: integer M+N is promoted to real 
	STR1 .LT. STR2   where STR1 and STR2 are type character 
	S .EQ. 'a'       where S is type character

For character relational expressions:


Constant Expressions

A constant expression is made up of explicit constants and parameters and the FORTRAN operators. Each operand is either itself another constant expression, a constant, a symbolic name of a constant, or one of the intrinsic functions called with constant arguments.

Examples: Constant expressions:

	PARAMETER (L=29002), (P=3.14159), (C='along the ') 
	PARAMETER ( I=L*2, V=4.0*P/3.0, S=C//'riverrun' ) 
	PARAMETER ( M=MIN(I,L), IA=ICHAR('A') ) 
	PARAMETER ( Q=6.4Q6, D=2.3D9 ) 
	K = 66 * 80 
	VOLUME = V*10**3 
	DO I = 1, 20*3 

There are a few restrictions on constant expressions:

Example: Exponentiation to a floating-point power is not allowed:

demo% cat ConstExpr.f 
	parameter (T=2.0*(3.0**2.5)) 
	write(*,*) t 
	end 
demo% f77 ConstExpr.f 
ConstExpr.f: 
 MAIN: 
"ConstExpr.f", line 1: Warning: 
		parameter t set to a nonconstant 
demo% a.out 
    31.1769 
demo%

Record Assignment

The general form of record assignment is:

v = e
e A record or record field
v A record or record field

Both e and v must have the same structure. That is, each must have the same number of fields, and corresponding fields must be of the same type and size.

Example: A record assignment and a record-field assignment:

	STRUCTURE /PRODUCT/ 
		INTEGER*4 ID 
		CHARACTER*16 NAME 
		CHARACTER*8 MODEL 
		REAL*4 COST 
		REAL*4 PRICE 
	END STRUCTURE 
	RECORD /PRODUCT/ CURRENT, PRIOR, NEXT, LINE(10) 
	... 
	CURRENT = NEXT 
	LINE(1) = CURRENT 
	WRITE ( 9 ) CURRENT 
	NEXT.ID = 82 

In the above example, the first assignment statement copies one whole record (all five fields) to another record; the second assignment statement copies a whole record into the first element of an array of records; the WRITE statement writes a whole record; and the last statement sets the ID of one record to 82.


Evaluation of Expressions

The following restrictions apply to all arithmetic, character, relational, and logical expressions: