一个C笔试题引出一系列的问题

一个C笔试题引出一系列的问题

下段代码的输出是什么？(这是我做过的一个C笔试题目，当时213了，没有给出完全正确的答案，现在来分析总结一下，防止下次再出现这种213的错误)

int main(void)

{
        int a[] = {6, 7, 8, 9, 10};
        int *p = a;
        *(p++) += 123;   /* 其实没必要把p++扩起来，*和++在同一优先级，从右到左的结合顺序 */

        printf("%d, %d\n", *p, *(++p));


        return 0;
}

输出是：8,8

来解释一下为什么是这个结果，主要注意两个地方：

     1、*(p++) += 123;在这个题目里，这行代码其实是忽悠你的，简化就是p++；

     2、第二点就需要注意函数参数的传递，函数参数传递是通过栈来实现(大部分是通过栈，还有些是通过寄存器)，栈的操作方式是FILO，传递参数的时候是第N个参数先入栈，然后是第N-1个，然后.....第1个。为什么不按参数列表的顺序来入栈呢？下面是《C和指针》上的解释：

     虽然像printf("%d, %d\n", *p, *(++p));这样的代码，平常是会被鄙视的，不提倡这样的代码风格和写法，但是作为笔试题还是挺考验基本功的。

到这里这个题目算是做完了，但是我来深入分析一下：

     1、*(p++) += 123;这行代码产生了什么样的影响？

     a[0] 的值变为129；

     p指针向后移动一个单位。

      ++i和i++有什么区别，++i在i存储的值上增加一并向使用它的表达式"返回"新的(增加后的值)；而i++对i增加一，但返回原来的是未增加的值。国内的很多书上都没把这点说清楚 - -|。所以我们这个地方p++只会对下一个语句产生影响。

     2、 a += b 是否和a = a+b等效？

     大部分情况下是等效的，但是也有特例。就是我们下面的情况：

*(p++) += 123;

     不等效于

*(p++) = *(p++) + 123;

如果讲第一行代码替换为第二行，输出结果为 9,9。

3、函数参数入栈顺序是不是真的与按照参数列表顺序相反呢？口说无凭，来看下实验

下面是编写的一段测试代码：

int foo(int i, int j, int k)
{
        return (i + j + k);
}

int main(void)
{
        int a = 1, b = 2, c = 3;
        foo(a, b, c);
        return 0;
}

然后编译成汇编文件(指令：gcc -c -g -Wa,-adlhn source.c > source.s)，我只截取重要的部分：

   9:source.c      ****         int a = 1, b = 2, c = 3;
  50                            .loc 1 9 0
  51 0017 C745FC01              movl    $1, -4(%ebp)
  51      000000
  52 001e C745F802              movl    $2, -8(%ebp)
  52      000000
  53 0025 C745F403              movl    $3, -12(%ebp)
  53      000000
  10:source.c      ****         foo(a, b, c);
  54                            .loc 1 10 0
  55 002c 8B45F4                movl    -12(%ebp), %eax
  56 002f 89442408              movl    %eax, 8(%esp)    /* 把参数c压入到[esp+8] */
  57 0033 8B45F8                movl    -8(%ebp), %eax
  58 0036 89442404              movl    %eax, 4(%esp)    /* 把参数b压入到[esp+4] */
  59 003a 8B45FC                movl    -4(%ebp), %eax
  60 003d 890424                movl    %eax, (%esp)     /* 把参数a压入到[esp],也就是栈顶 */
  61 0040 E8FCFFFF              call    foo

这里的栈是向低地址增长，esp是栈顶指针。对X86的汇编不熟，就暂时分析道这里。