一个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的汇编不熟,就暂时分析道这里。