GCC 语句表达式中的执行顺序答案

【问题标题】：Execution order in GCC statement expressionsGCC 语句表达式中的执行顺序
【发布时间】：2020-10-26 02:52:38
【问题描述】：

我发现两个相似的语句之间有不同的执行顺序（唯一的区别是下面的语句多了一个;）。析构函数的顺序不同。 C++ 是否对此有相应的规范，或者它只是一种未指定的行为？

环境：GCC10

#include <iostream>

template <int num>
struct S {
  S() {std::cout << "S(" << num << ")\n"; }
  ~S() {std::cout << "~S(" << num << ")\n"; }
};

int main() {
  ({S<1>(), S<2>();});
  std::cout << "-----------------------------------\n";
  ({S<3>(), S<4>();;});
}

输出：

S(1)
S(2)
~S(1)
~S(2)
-----------------------------------
S(3)
S(4)
~S(4)
~S(3)

【问题讨论】：

这不是标准的 C++。这是一个 GCC 扩展，称为 statement expression
如果 C++ 是指 C++ 标准，那么它没有为这个程序指定任何特定的析构函数顺序，原因很简单，这个程序格式错误。
@IgorTandetnik 你是对的。所以我添加了一个没有语句表达式的新程序。
作为完整表达式求值的一部分而创建的临时对象在完整表达式的末尾以与构造相反的顺序被销毁。

标签： c++ gcc gcc-statement-expression

【解决方案1】：

这不是标准的 C++。这是一个 GCC 扩展，称为 statement expression。括号中的复合语句可以出现在允许表达式的地方。如果大括号括起来的块中的最后一条语句是一个表达式语句，那么这个表达式的值也是整个语句表达式的值；否则，语句表达式的类型为void 并且没有值。

你的第一个例子大致相当于

([](){ return S<1>(), S<2>(); })();

（这是一个创建然后立即调用的 lambda）。有一个逗号表达式可以创建 S<1> 和 S<2> 临时变量。 S<1> 被销毁，S<2> 在技术上被复制到返回值 - 但该副本被省略了。如果不是因为这个复制省略，你会看到

S<1>()
S<2>()
S<2>(S<2>&&)  // (1) move constructor
~S<2>()  // (2) the original temporary is destroyed
~S<1>()
~S<2>()  // the copy is destroyed outside of the lambda

但 (1)/(2) 对被省略，留下您在示例中观察到的序列。

在第二个示例中，大括号中的最后一条语句不是表达式，因此整个内容也没有值。大致相当于

([](){ S<3>(), S<4>(); return; })();

两个临时对象都在 lambda 中创建和销毁，并且适用通常的规则 - 临时对象以与构造相反的顺序被销毁。

【讨论】：