函数反向传递参数

Question

这是我的函数：

void abc(char  *def, unsigned int w, unsigned int x, unsigned int y, unsigned int z)
{
   printf("val 1 : %d\n", w);
   printf("val 2 : %d\n", x);
   printf("val 3 : %d\n", y);
   printf("val 4 : %d\n", z);
}

这是我调用该函数的地方：

unsigned int exp[4] = { 1, 2, 3, 4 };
unsigned short count = 0;
abc(anyarray, exp[count++], exp[count++], exp[count++], exp[count++]);

这是我期望的输出：

val1 : 1
val2 : 2
val3 : 3
val4 : 4

但我得到的与它完全相反：

val1 : 4
val2 : 3
val3 : 2
val4 : 1

我不知道为什么？任何帮助将不胜感激。

Answer 1

根据标准文档，5.4

除非另有说明，各个运算符的操作数和各个表达式的子表达式的求值顺序，
并且副作用发生的顺序未指定58) 在上一个和下一个序列点 a 之间
标量对象的存储值最多应通过表达式的求值修改一次。此外，之前的
仅应访问值以确定要存储的值。应满足本段的要求
完整表达式的子表达式的每个允许的排序；否则行为未定义。

标准文档本身的一个示例，

i = v[i ++]; // 行为未定义

其原因与

abc(anyarray, exp[count++], exp[count++], exp[count++], exp[count++]); 未定义..

Answer 2

您不应在同一语句中多次使用 ++ 运算符对同一变量进行操作。未定义执行操作的顺序。

尝试：

abc(anyarray, exp[count], exp[count+1], exp[count+2], exp[count+3]);  
count += 4; 

Answer 3

您通过多次修改 count 且没有插入 序列点来调用未定义的行为。

Answer 4

您正在依赖从左到右评估的参数。您不能对它们的评估顺序做出任何假设。在这种情况下，编译器看起来是从右到左对它们求值。

另外，您可能想要查找序列点，因为您可能不应该以这种方式使用 ++ 运算符。

Answer 5

abc(anyarray, exp[count++], exp[count++], exp[count++], exp[count++]);

abc 参数的求值顺序为 未指定，但表达式会调用未定义的行为，因为您试图在两个序列点之间多次修改变量count。

此外，在 printf() 中使用不正确的格式说明符也会调用 UB。请确保您在 printf() 中使用了正确的格式说明符（即 %u 表示 unsigned int）。

Answer 6

你得到这个是因为你根据你的问题调用了adb(exp,a,b,c,d)，但是在调用函数d期间首先被推入堆栈，然后c ,b 相对而言。当您在最后一个参数传递 exp[count++] 时，该参数将首先处理以推入堆栈，这意味着先推入 1，然后推入 2，然后推入 3，然后推入 4。在被调用的函数中执行 pop，这样您会得到 w =4 x=3 y=2 z=1 就是这样。

Answer 7

这是因为调用约定。在 _cdecl 中，c/c++ 程序的默认调用约定（根据 microsoft），参数以相反的顺序在堆栈上传递给函数。因此，参数也按相反的顺序求值。