在 C 和 C++ 中，对函数的参数求值是否有固定的顺序？我的意思是，标准是怎么说的？是left-to-right 还是right-to-left？
我从书中得到了令人困惑的信息。
function call 是否需要使用stack only 来实现？ C 和 C++ 标准对此有何规定？
【问题讨论】：
C 和 C++ 是两种完全不同的语言；不要假设相同的规则总是适用于两者。但是，在参数评估顺序的情况下：
C99：
6.5.2.2 函数调用
...
10 函数指示符的评估顺序、实际参数和 实际参数中的子表达式未指定，但有一个序列点 在实际通话之前。
[编辑] C11（草案）：
6.5.2.2 函数调用
...
10 功能指示符和实际值评估后有一个序列点 参数，但在实际调用之前。调用函数中的每个评估（包括 其他函数调用）在之前或之后没有特别排序的 被调用函数体的执行顺序是不确定的 被调用函数的执行。94)
...
94) 换句话说，函数执行不会相互“交错”。
C++：
5.2.2 函数调用
...
8 参数的评估顺序未指定。参数表达式求值的所有副作用生效 在输入函数之前。后缀表达式和参数表达式列表的求值顺序是 未指定。
这两个标准都没有强制要求使用硬件堆栈来传递函数参数；这是一个实现细节。 C++ 标准使用术语“展开堆栈”来描述在从 try 块到 throw-expression 的路径上为自动创建的对象调用析构函数，但仅此而已。大多数流行的架构确实通过硬件堆栈传递参数，但它不是通用的。
[编辑]
我从书中得到了令人困惑的信息。
这一点也不奇怪，因为 90% 的关于 C 的书籍很容易垃圾。
虽然语言标准对于学习 C 或 C++ 而言都不是很好的资源，但最好能方便地解决此类问题。官方™ 标准文档需要花费真金白银，但有些草稿可以在线免费获得，对于大多数用途来说应该足够了。
最新的 C99 草案（自原始发布以来有更新）可通过here 获得。最新的预发布 C11 草案（去年正式批准）可在here 获得。可以通过here 获得公开可用的 C++ 语言草稿，尽管它明确声明某些信息不完整或不正确。
【讨论】：
保持安全：标准将其留给编译器来确定评估参数的顺序。所以你不应该依赖于特定的订单被保留。
【讨论】：
foo 之前调用 goo。
在 C/C++ 中，对函数的参数求值有固定的顺序。我的意思是标准所说的是从左到右或从右到左。我从书中得到了令人困惑的信息。
不，函数参数（以及任何表达式中的两个子表达式）的求值顺序在 C 和 C++ 中是未指定的行为。用简单的英语来说，这意味着可以首先评估最左边的参数，也可以是最右边的参数，您无法知道哪个顺序适用于特定编译器。
例子：
static int x = 0;
int* func (int val)
{
x = val;
return &x;
}
void print (int val1, int val2)
{
cout << val1 << " " << val2 << endl;
}
print(*func(1), *func(2));
这段代码很糟糕。它依赖于打印参数的评估顺序。它将打印“1 1”（从右到左）或“2 2”（从左到右），我们不知道是哪个。该标准唯一保证的是对 func() 的调用都在调用 print() 之前完成。
对此的解决方案是注意顺序是未指定的，并编写不依赖于评估顺序的程序。例如：
int val1 = *func(1);
int val2 = *func(2);
print(val1, val2); // Will always print "1 2" on any compiler.
函数调用是否必须只使用堆栈来实现。 C/C++ 标准对此有何规定。
这被称为“调用约定”，标准没有规定任何内容。如何传递参数（和返回值）完全取决于实现。它们可以通过 CPU 寄存器或堆栈或其他方式传递。调用者可能是负责在堆栈上推送/弹出参数的人，也可能是函数负责。
函数参数的求值顺序仅与调用约定有一定的关联，因为求值发生在函数调用之前。但另一方面，某些编译器可以选择将最右边的参数放在 CPU 寄存器中，而将其余参数放在堆栈中，例如。
【讨论】：
仅针对C语言而言，函数参数内部的求值顺序取决于编译器。出自 Brian Kernighan 和 Dennis Ritchie 的 The C Programming Language；
同样，函数参数的计算顺序不是 指定，所以声明
printf("%d %d\n", ++n, power(2, n)); /*WRONG */可以用不同的编译器产生不同的结果， 取决于 n 在调用 power 之前是否增加。这 解决办法当然是写
++n;
printf("%d %d\n", n, power(2, n));
【讨论】：
据我所知，函数printf这里有一个例外。
对于普通函数foo，foo(bar(x++), baz(++x)) 的求值顺序未定义。正确的！然而printf，作为一个省略号函数有一个更明确的评估顺序。
实际上，标准库中的printf 没有关于已发送到的参数数量的信息。它只是试图从字符串占位符中找出变量的数量；即，来自字符串中百分比运算符 (%) 的数量。 C 编译器开始从最右边向左边推送参数；并且字符串的地址作为最后一个参数传递。由于没有关于参数数量的确切信息，printf 评估最后一个地址（字符串）并开始用堆栈中相应地址的值替换%（从左到右）。也就是说，对于像下面这样的printf；
{
int x = 0;
printf("%d %d %f\n", foo(x), bar(x++), baz(++x));
}
求值顺序为：
x = 1 调用；返回值被压入堆栈，x = 1调用函数栏；返回值被压入堆栈，x = 2 调用；返回值被压入堆栈，现在，printf 没有关于已发送到的参数数量的信息。而且，如果在编译时没有发出-Wall，编译器甚至不会抱怨参数数量不一致。那是;字符串可能包含 3 个%，但printf 行中的参数数量可以是 1、2、3、4、5，甚至可以只包含字符串本身，根本不包含任何参数。
假设，字符串有 3 个占位符，并且您发送了 5 个参数 (printf("%d %f %s\n", k1, k2, k3, k4, k5))。如果关闭编译警告，编译器将不会抱怨参数数量过多（或占位符数量不足）。知道堆栈地址，printf就会；
【讨论】：