如何用C++编译"({expr1; expr2;})"？

Question

我曾经使用但从未理解的东西是C++编写代码的能力:

#include <stdio.h>

void sideEffect()
{
    printf("Hello, I'm a side effect\n");
}

int main()
{
    printf(({sideEffect(); "Hello side effect\n";}));
    return 0;
}

这打印:

Hello, I'm a side effect
Hello side effect

该({ expr1; expr2; })部分似乎运行块并用最后一个值"替换"整个事物.

这只是运营商优先级的结果,我没有得到,还是还有其他事情发生？

UPDATE

不明显的(对我来说)是最后一个表达式被复制,即使它正在返回一个引用.我添加了一个简单的Foo类,当它被复制到上面的例子时打印:

...

struct Foo
{
    Foo()
    {}
    Foo(const Foo&)
    {
        printf("Copying Foo...\n");
    }
};

const Foo& getFoo()
{
    static Foo f;
    return f;
}

int main()
{
    const Foo& foo = ({sideEffect(); getFoo();});
    return 0;
}

输出:

Hello, I'm a side effect
Copying Foo...

如果Foo是不可复制的,则无法编译

Answer 1

这是GCC实现的C和C++语言的扩展.它叫做Statement Expressions.

我将从他们的文档中复制一下:

回想一下复合语句是由大括号包围的一系列语句; 在这个结构中,括号围绕括号.例如:

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

对于foo()的绝对值,它是一个有效的(虽然比必要的稍微复杂一些)表达式.

复合语句中的最后一件事应该是一个后跟分号的表达式; 此子表达式的值用作整个构造的值.(如果你在大括号中最后使用了一些其他类型的语句,那么构造的类型为void,因此实际上没有值.)

正如GCC的文档所述,它经常用于宏:

#define maxint(a,b) \
   ({int _a = (a), _b = (b); _a > _b ? _a : _b; })