83

I came across this weird C++ program.

#include <iostream>
using namespace std;
int main()
{
  int a = ({int x; cin >> x; x;});
  cout << a;
}

Can anyone explain what is going on? What is this construct called?

Elazar
  • 20,415
  • 4
  • 46
  • 67
Koshimitsu
  • 1,144
  • 1
  • 12
  • 19

4 Answers4

74

It assigns user input value to a and prints it out. it is done by using a Statement Expression.

Statement Expressions are a gnu gcc compiler extension and are not supported by the C/C++ standards. Hence, any code which uses statement expression is not standard conforming and non-portable.

The IBM XL C/C++ v7.0 also support Statement Expressions & its documentation explains them aptly:

Statement Expressions:

A compound statement is a sequence of statements enclosed by braces. In GNU C, a compound statement inside parentheses may appear as an expression in what is called a Statement expression.

         .--------------.
         V              |
>>-(--{----statement--;-+--}--)--------------------------------><

The value of a statement expression is the value of the last simple expression to appear in the entire construct. If the last statement is not an expression, then the construct is of type void and has no value.

Always compile your code by selecting a standard in GCC: use one of the options -ansi, -std=c90 or -std=iso9899:1990, -std=c++03, -std=c++0x; to obtain all the diagnostics required by the standard, you should also specify -pedantic (or -pedantic-errors if you want them to be errors rather than warnings).

Adrian Mole
  • 49,934
  • 160
  • 51
  • 83
Alok Save
  • 202,538
  • 53
  • 430
  • 533
58

It's a GCC extension. Compile your code with the -pedantic flag if you want to get rid of stuff like this (and you really do want to).

  • 11
    I suspect it got so many votes because many people got relieved after learning that something they hadn't heard of or used isn't standard anyway. – Blagovest Buyukliev Jun 10 '11 at 21:07
  • It appears to be not just a GCC extension nowadays. At least the C++ 2013 draft standard does define expression statements https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2013/n3797.pdf – Grwlf May 02 '23 at 16:48
18

It creates an inline scope, declares x within it, reads it from the standard input and the whole statement finally evaluates to x, which is assigned to a.

The comma operator works similarly, although it doesn't require a separate scope. For example:

int x;
int a = (cin >> x, x);

would do the same. All the statements connected with commas will be executed sequentially, and the result of the whole expression will be set to the value of the rightmost operand.

Blagovest Buyukliev
  • 42,498
  • 14
  • 94
  • 130
  • Is there any specific name for "({})"? – Koshimitsu Jun 10 '11 at 11:03
  • @Koshimitsu: There is not, because it is a combination of operators (if you'd like to call them that). The curly brackets {} define the start ({) and end (}) of a scope in this case. The regular brackets are just there to encapsulate the scope's definition and return value. I am not entirely sure about whether these regular brackets can be omitted in this case, however I would expect they can. – Rycul Jun 10 '11 at 11:10
  • 1
    @Koshimitsu: I'm not very familiar with C++, but in C it's perfectly legal, and I've used it many times. – Blagovest Buyukliev Jun 10 '11 at 11:10
  • 1
    @Neil: well, maybe it's because gcc is the only C compiler I use, hence I got mislead. – Blagovest Buyukliev Jun 10 '11 at 11:33
13

I don't believe that this is standard C++. It's probably a compiler-specific extension that allows an inner scope to evaluate to a value.

Oliver Charlesworth
  • 267,707
  • 33
  • 569
  • 680