In what versions of C is a block inside parenthesis used to return a value valid?

Question

If I do:

int j = ({int x = 7; x+3;});

In i686-apple-darwin10-gcc-4.2.1 (GCC) 4.2.1 (Apple Inc. build 5646) gcc it compiles just fine. The block in question ({int x = 7; x+3;}) returns the value of the last statement as the value of the block. If you remove the parenthesis it doesn't compile. Can I expect this to work in most C compilers?

Additionally, what is the name for this construct? I have had a lot of trouble searching for it because search engines don't index () or {} and C is a terrible search term. I also haven't been able to find anything about it in any of my books, probably because I don't know what to look for.

Answer 1

It's a GCC extension:

A compound statement enclosed in parentheses may appear as an expression in GNU C. This allows you to use loops, switches, and local variables within an expression.

Recall that a compound statement is a sequence of statements surrounded by braces; in this construct, parentheses go around the braces. For example:

 ({ int y = foo (); int z;
    if (y > 0) z = y;
    else z = - y;
    z; })

is a valid (though slightly more complex than necessary) expression for the absolute value of foo ().

The last thing in the compound statement should be an expression followed by a semicolon; the value of this subexpression serves as the value of the entire construct. (If you use some other kind of statement last within the braces, the construct has type void, and thus effectively no value.)...

Answer 2

If you remove the parenthesis it doesn't compile.

Without the parentheses, the compiler will treat this as an aggregate initialization block and will fail when it sees the int keyword. You cannot have keywords in initializer blocks.

6.7.8 Initialization

11 The initializer for a scalar shall be a single expression, optionally enclosed in braces. The initial value of the object is that of the expression (after conversion); the same type constraints and conversions as for simple assignment apply, taking the type of the scalar to be the unqualified version of its declared type.

6.2.5 Types

21 Arithmetic types and pointer types are collectively called scalar types. Array and structure types are collectively called aggregate types.

---

Can I expect this to work in most c compilers?

No. Looks like a non-standard GNU extension.

Additionally, what is the name for this construct?

I wonder if there is any. Actually, this is similar to what macros typically do.

Answer 3

You can expect it to work in most versions of GCC.

You can expect it to work almost nowhere else - it is a GCC extension.

The section of the GCC manual that describes the feature is titled 'Statements and Declarations in Expressions':

A compound statement enclosed in parentheses may appear as an expression in GNU C.

Later it says:

Any temporaries created within a statement within a statement expression will be destroyed at the statement’s end. This makes statement expressions inside macros slightly different from function calls.

So, 'statement expression' seems to be the name used in the documentation.