Function Call

The () operator in C serves three distinct syntactic and mechanical roles depending on its context: as a postfix function call operator, as a primary grouping operator, and as a unary cast operator.

1. Function Call Operator

As a postfix operator, () transfers control flow to a function, passing an optional list of arguments. It possesses the highest precedence (Level 1) and associates left-to-right.

postfix-expression ( [argument-expression-list] )

Mechanics and Evaluation:

• Operands: The postfix-expression must evaluate to a function designator or a pointer-to-function type. The argument-expression-list is a comma-separated sequence of expressions.
• Type Yield: The type of the operator’s result is the return type of the function. The result is always an rvalue (a non-lvalue); the function call expression itself can never be the target of an assignment.
• Argument Evaluation: The order in which the argument-expression-list is evaluated is strictly unspecified by the C standard. The compiler may evaluate arguments left-to-right, right-to-left, or in any arbitrary order.
• Sequence Points: There is a sequence point immediately after the evaluation of the function designator and all arguments, but before the actual function execution begins.
• Promotions: If the function is called without a prototype in scope, default argument promotions apply (e.g., float is promoted to double, and integer types smaller than int are promoted to int). If a prototype is present, arguments are implicitly cast to the types of the corresponding parameters.

2. Grouping Operator

As a primary expression modifier, () overrides the default precedence and associativity rules of the C parser, forcing the enclosed sub-expression to be evaluated as a single unit.

( expression )

Mechanics and Evaluation:

• Precedence: Evaluated at the highest precedence level (Level 1).
• Type and Value: The type and value of a parenthesized expression are perfectly identical to those of the unparenthesized expression.
• Value Category: The grouping operator preserves the value category of the operand. If the enclosed expression is an lvalue, a function designator, or a void expression, the resulting parenthesized expression remains an lvalue, function designator, or void expression, respectively.

3. Cast Operator

When enclosing a type name, () functions as a unary operator that performs explicit type conversion on the subsequent expression.

( type-name ) cast-expression

Mechanics and Evaluation:

• Precedence: Evaluated at Level 2 (Unary operators), associating right-to-left.
• Operands: The type-name must specify a scalar type or void. Unless the type-name specifies void, the cast-expression must also have a scalar type.
• Type Yield: The operator yields the value of the cast-expression converted to the type specified by type-name.
• Value Category: The result of a cast operator is always an rvalue, even if the cast-expression was an lvalue. It cannot be the target of an assignment.

Master C with Deep Grasping Methodology!

Learn More