printf：函数参数计算从右向左，从左向右？

造冰箱的大熊猫@cnblogs 2019/8/3

1、问题

某天写了如下代码：

unsigned char ReadByteFromFile ( FILE * fp )
{
  unsigned char ch;
  ...
  fread ( &ch, , , fp );
  ...
  return ch;
}

void main()
{
  ...
  printf ( "first byte = 0x%02x, second byte = 0x%02x\n", ReadByteFromFile ( fp ), ReadByteFromFile ( fp ) );
  ...
}

printf所在行的代码本意是从文件中连续读两个字节并打印出来。假设被读取文件的内容为“0x01 02 03 04 ... ...”，那么预期的运行结果是：

first byte = 0x01, second byte = 0x02

但实际运行结果（Ubuntu，gcc编译）却颠倒了个：

first byte = 0x02, second byte = 0x01

2、解答

嗯嗯，有意思。回想了很久以前上课内容并上网搜索一番，发现C标准里没有规定编译器在计算函数参数的次序（This form of argument-passing is known as call by value. The standard does not specify any order for the
evaluation of the arguments.）。也就是说，原想着printf()在运行时按照从左向右的顺序计算参数值，在这里也就顺序读取了文件中的两个字节。但实际上，编译器输出的结果却是printf()函数按照从右向左的次序计算参数，这就导致了printf()中第一个ReadByteFromFile()函数（从左向右数）后读取文件，而第二个ReadByteFromFile()却先读取文件，最终输出结果与预想的次序颠倒。

或者用Stackoverflow上某个用户提出的问题更好地说明这一问题：为什么下面代码输出结果是“4 5 5 4 5”。

main()
{
    int i = 5;
    printf ( "%d %d %d %d %d %d", i++, i--, ++i, --i, i);
}

因此，在使用函数中如果涉及对同一变量/对象的多次操作，一定要考虑到编译器在处理函数参数计算时次序的不确定性。建议遇到这种情况时，还是现在函数外完成计算，再将计算结果传递给printf()。当然，如果能够约定编译器中参数计算次序（最好从左向右，与日常习惯相符），还是能省些事情，让代码看起来/写起来简洁一些。

2019.8.5补充：现在回想，好像当年上课的时候有过讲授这方面的知识还有对应的考题，但真的太久远了都忘记了。