What Is a Full Expression in C?

I study C language from "C Primer Plus" book by Stephen Prata and it came to the point :

"A full expression is one that’s not a subexpression of a larger expression.Examples of full expressions include the expression in an expression statement and the expression serving as a test condition for a while loop"

I can't understand clearly what is the exact definition of full expressions and why the book considers test conditions are full expressions.

Could any one explain clearly what is meant by "Full Expression" and how can I specify that an expression is full expression or not ?

7

2 Answers

He's taken this straight from the C standard, example C11 6.8:

A full expression is an expression that is not part of another expression or of a declarator. Each of the following is a full expression: an initializer that is not part of a compound literal; the expression in an expression statement; the controlling expression of a selection statement (if or switch); the controlling expression of a while or do statement; each of the (optional) expressions of a for statement; the (optional) expression in a return statement. There is a sequence point between the evaluation of a full expression and the evaluation of the next full expression to be evaluated.

Some examples would be:

if(x)

for(x; y; z)

return x;

where x y and z are full expressions.

Full expression is a language grammar term and not really something a C programmer needs to know about. It is only relevant to "language lawyers" and those making compilers or static analysers. The C standard speaks of statements, blocks and full expressions.

What the programmer might need to know is the last sentences of the above cited text, which means that after a full expression, all side effects of that expression are carried out. So if I write code such as if(i++) printf("%d", i); then I know that the i++ has been carried out before the printf line.

It may however be quite useful to know these dry grammar terms when reading compiler errors. Such as the infamous "statement missing", that most likely means, in plain English, that you've forgotten a semicolon.

2

Consider the statement below

a = b + c;

a = b + c is an expression which is not a subexpression of any larger expression. This is called full expression.
b + c is a subexpression of the larger expression a = b + c therefore it is not a full expression. b is also a subexpression for the full expression a = b + c and subexpression b + c.

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Elena Rostova

Elena Rostova

Lead Health, Wellness & Medical Journalist

Elena Rostova holds a Master's degree in Public Health Journalism. She covers groundbreaking medical research, holistic wellness trends, mental health awareness, and nutritional science.

Share this article
Twitter Facebook Pinterest