44、函数参数的秘密（上）

1、函数参数

• 函数参数在本质上与局部变量相同在栈上分配空间
• 函数参数的初始值是函数调用时的实参值
• 函数参数的求值顺序依赖于编译器的实现，不一定是从左向右，也不一定是从右向左。
  下面的程序输出什么？为什么？

#include <stdio.h>
#include <malloc.h>
void func(int i, int j)
{
	printf("%d,%d\n", i, j);
}
int main()
{
	int k = 1;
	func(k++, k++);
	printf("%d\n", k);

	return 0;
}

可能我们以为程序是从左向右执行程序，但是从这里我们可以看出，求值顺序是先求第二个k++，再求第一个k++。

2、程序中的顺序点

• 程序中存在一定的顺序点
• 顺序点指的是执行过程中修改变量值的最晚时刻
• 在程序达到顺序点的时候，之前所做的一切操作必须完成

C语言中的顺序点

• 每个完整表达式结束时，即分号处
• &&，||，？：，以及逗号表达式的每个参数计算之后
• 函数调用时所有实参求值完成后（进入函数体之前）
  下面的程序运行结束后k的值为多少？

#include <stdio.h>


int main()
{
	int k = 2;
	int a = 1;
	k = k++ + k++;
	printf("%d\n", k);

	if (a-- && a--)
	{
		printf("%d\n", a);
	}
	printf("a = %d\n", a);
	return 0;
}

分析：虽然工程开发不会写类似 k = k++ + k++；这种代码，但是深入探讨还是有必要。在这里我们把分号看做一个顺序点，所以在分号之前，所有对内存的操作必须完成。所以2个k值相加以及两个++的操作必须完成，所以结果为6。在后面的程序，&&可以看做一个顺序点，对于a-- && a–，&&之前或&&之后的内存操作必须马上完成，所以在&&前a的值就已经等于0了。但是这里的临时值还是为1，&&通过。后面&&后a的值就已经等于-1了。但是这里的临时值还是为0，if 语句不执行，但是a值为-1。