函数参数的秘密

函数参数的秘密（上）
函数参数：
(1)函数参数在本质上与局部变量相同在栈上分配空间
(2)函数参数的初始值是函数调用时的实参值

函数参数的求值顺序依赖于编译器的实现
实验分析：函数参数的求值顺序

#include <stdio.h>

int func(int i, int j)
{
    printf("i = %d, j = %d\n", i, j);
    return 0;
}

int f()
{
    return 1;
}

int g()
{
    return 2;
}

int main()
{
    int k = 1;
    func(k++, k++);
    printf("%d\n", k);
    k = f() * g();

    return 0;
}

程序中的顺序点：
(1)程序中存在一定的顺序点
(2)顺序点指的是执行过程中修改变量值得最晚时刻
(3)在程序到达顺序点的时候，之前所做的一切操作必须完成
每个完整表达式结束时，即分号处
&&，||，?:，以及逗号表达式的每个参数计算之后
函数调用时所有实参求值完成后(进入函数体之前)

下面程序运行结束后k的值为多少？
k = 6

int k = 2;
k = k++ + k++;

实验编程：程序中的顺序点

#include <stdio.h>

int main()
{
	int k = 2;
	int a = 1;

	k = k++ + k++;//(2 + 2),将4写回K代表的内存空间，但是有两个++,遇见分号顺序点已经到达，将悬挂着的++操作完成
    printf("k = %d\n", k); //k = 6

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

小结：
(1)函数的参数在栈上分配空间
(2)函数的实参并没有固定的计算次序
(3)顺序点是C语言中变量修改的最晚时机

函数的参数秘密(下)
参数入栈顺序
函数参数的计算次序是依赖编译器实现的，那么函数参数的入栈次序是如何确定的呢？

调用约定
当函数调用发生时:
参数会传递给被调用的函数
而返回值会返回给函数调用者
调用约定描述参数如何传递到栈中以及栈的维护方式
参数传递顺序
调用栈清理
调用约定是预定义的可理解为调用协议
调用约定通常用于库调用和库开发的时候
从右到左依次入栈：__stdcall，__cdecl，__thiscall
从左到右依次入栈：__pascal，__fastcall
当主程序需要调用第三方提供的库函数时需要考虑调用约定

实例分析：编写函数计算平均值
可变参数
(1)C语言中可以定义参数可变的函数
(2)参数可变函数的实现依赖于stdarg.h头文件
va_list 参数集合
va_arg 取具体参数值
va_start 标识参数访问的开始
va_end 标识参数访问的结束

#include <stdio.h>
float average(int array[], int size)
{
    int i = 0;
    float avr = 0.0;
    for(i = 0; i < size; i++)
    {
        avr += array[i];
    }
    return avr / size;
}

int main()
{
    int array[] = {1, 2, 3, 4, 5};
    printf("%f\n", average(array, 5));
}

#include <stdio.h>
#include <stdarg.h>

float average(int n, ...)
{
    va_list args;
    int i = 0;
    float sum = 0;
    
    va_start(args, n);
    
    for(i=0; i<n; i++)
    {
        sum += va_arg(args, int);
    }
    
    va_end(args);
    
    return sum / n;
}

int main()
{
    printf("%f\n", average(5, 1, 2, 3, 4, 5));
    printf("%f\n", average(4, 1, 2, 3, 4));
    
    return 0;
}

可变参数的限制：
(1)可变参数必须从头到尾按照顺序逐个访问，无法直接访问中间的参数值
(2)参数列表中至少要存在一个确定的命名参数
(3)可变参数无法确定实际存在的参数的数量
(4)可变参数函数无法确定参数的实际类型
注意：va_arg中如果指定了错误的类型，那么结果是不可预测的。