C++ 是否保证参数评估的原子性？

Question

int a()
{
    return 1;
}

int b()
{
    return 2;
}

int c()
{
    return 3;
}

int g(int, int)
{
    return 0;
}

void f(int, int)
{}

int main()
{
    f(g(a(), b()),
      c());
}

我知道根据 C++ 标准未指定函数参数的评估顺序。

换句话说，实际的评估顺序可能是：

1. a(), b(), c()
2. c(), a(), b()
3. b(), a(), c()
4. c(), b(), a()

我只是想知道：

C++ 标准是否保证c() 永远不会在a() 和b() 之间被调用？

Answer 1

我猜它是从 C++17 开始保证的。 N4659（2017 年 3 月 Kona 后工作草案/C++17 DIS）[intro.execution]/18，reads：

对于每个函数调用 F，对于在 F 内发生的每个评估 A 以及在 F 内不发生但在同一线程上评估并作为同一线程的一部分的每个评估 B信号处理程序（如果有），A 在B 之前排序或B 在A 之前排序。换句话说，函数执行不会相互交错。

在 C++17 之前，我们没有这样的保证。