参数绑定是否在参数求值后排序？

Question

假设我有以下函数：

void foo(std::vector<int> vec, int n);

如果我像这样调用该函数：

std::vector<int> numbers { 2, 3, 5, 7, 11, 13, 17, 19 };
foo(std::move(numbers), numbers[0]);

所有参数在绑定到其参数之前是否已完全评估？在这种情况下，std::move 是无害的，因为它只是产生一个引用数字的 xvalue。或者每个单独的参数在被求值后是否可以立即绑定到它的参数？在这种情况下，numbers[0] 可能会导致未定义的行为，因为 numbers 可能已被移至 vec 中。

Answer 1

在 §1.9/15 中，我们被告知：

调用函数时（无论函数是否内联），每个值的计算和副作用
与任何参数表达式或指定被调用函数的后缀表达式相关联的是
在执行被调用函数体中的每个表达式或语句之前排序。 （...）

以及第 5.2.2/4 节：

(...) 每个参数的初始化和销毁​​发生在
调用函数。 （...）

我在最终草案中找不到任何其他相关文本。由于这没有明确定义参数求值和参数初始化之间的先序关系，因此它们未排序并且std::move代码>并非无害。

此问题的解决方案是强制使用临时变量的序列：

std::vector<int> numbers { 2, 3, 5, 7, 11, 13, 17, 19 };
int num = numbers[0];
foo(std::move(numbers), num);