给定以下函数调用：
f(g(), h())
由于未指定函数参数的求值顺序（据我所知，仍然是C ++ 11中的情况），理论上可以执行g()并h()并行执行吗？
这种并行化只能踢都g和h已知相当琐碎（最明显的情况下，仅访问数据的本地，以自己的身体），以免引入并发问题，但是，除此之外，限制我什么都看不到，禁止它。
那么，标准允许吗？即使仅按常规规则进行？
（在此答案中，Mankarse主张相反；但是，他没有引用该标准，而且我的通读[expr.call]并未显示任何明显的措辞。）
g和h（在这种情况下，编译也许可以证明它是相当于有些人的序贯评价反正），然后就不会真正有多大的好处：创建一个线程可能会更贵而不是评估任何一个功能。—如果具有更大的功能，则原则上可以极大地提高性能，将很难保持对递归线程生成可能爆发的控制。甚至Haskell都不这样做，因为它在任何地方都具有评估顺序的自由度，并且具有轻量级线程。
pure函数说明符，告诉实现函数所说的函数不访问（可能）共享状态（又称没有副作用），那么将来可能会实现。
Answers:
要求来自[intro.execution]/15：
...调用函数时...在执行被调用函数的主体之前或之后，未按其他方式专门排序的调用函数中的每个评估（包括其他函数调用）都将不确定地按顺序执行称为函数[注：换句话说，函数执行不会相互交织。]。
因此，的主体的任何执行都g()必须不确定地与h()（由于h()在调用函数中是一个表达式）的求值顺序（即，不与之求值）重叠。
这里的关键点是，g()并且h()都是函数调用。
（当然，按条件规则意味着不能完全排除这种可能性，但绝不应以可能影响程序可观察行为的方式发生这种可能性。最多，这种实现只会改变程序的性能特征。编码。）
g()vsf()和h()vs f()，很容易被吓倒，但实际上，最终的结果是不能将g()和和h()交错。
g()和h()带任何参数。如果已经存在，则对这些参数的评估（为执行f或做准备h）不会不确定地相互排序（因此它们可以被交错），尽管它们相对于另一个主体的主体可以不确定地排序。的f和h。
只要您不知道，编译器为评估这些功能所做的一切完全取决于编译器。显然，对功能的评估不能涉及对共享的可变数据的任何访问，因为这会引入数据竞争。基本指导原则是“好像”规则和可观察的基本操作，即访问volatile数据，I / O操作，访问原子数据等。相关部分为1.9 [intro.execution]。
除非编译器确切知道，和它们调用的内容g()，否则不然h()。
这两个表达式是函数调用，可能会有未知的副作用。因此，将它们并行化可能会导致这些副作用的数据争夺。由于C ++标准不允许参数求值引起表达式的任何副作用，因此，编译器仅在知道不可能进行此类数据竞争的情况下才能并行化它们。
这意味着要遍历每个函数并仔细查看它们的作用和/或调用，然后跟踪这些函数，等等。在一般情况下，这是不可行的。
s/were g and h fairly trivial/were g and h known to be fairly trivial/在一个问题上。
容易回答：对函数进行排序时，即使不确定地对它们进行排序，也不可能在两者之间出现竞争状态，如果将它们并行化，那是不正确的。甚至一对单行“琐碎”功能也可以做到这一点。
void g()
{
*p = *p + 1;
}
void h()
{
*p = *p - 1;
}
如果p是g和共享的名称h，则按任意顺序依次调用g和h将导致所指向的值p不变。如果将它们并行化，*p则可以在两者之间任意交错读取和分配它：
g读取*p并找到值1。f读取*p并找到值1。g将2写入*p。f，仍然使用之前读取的值1，会将0写入*p。因此，并行化时的行为是不同的。