可变参函数的工作原理

函数调用时先用寄存器R0 ~R3 存放参数，如果不够放还要使用到堆栈，参数列表的形参从右到左依次入栈，弹栈时就是从左到右的顺序。
如果函数参数的个数固定，编译器就可以很清楚地在函数运行时依次从堆栈中弹出多少个参数压栈，清楚使用参数时弹栈多少个参数。
如果函数参数不固定，编译器就不知道参数的个数了，入栈弹栈时也就不知道操作多少个参数了。

所以使用可变参函数应该携带参数个数信息：void foo(int n, ...);
通常将个数信息放在可变参函数列表中的第一个，入栈时会保存在栈顶，使用参数时，弹栈的第一个参数就是个数信息了！
像printf这样的函数，第一个参数是字符串，其实其中包含了更多信息：打印格式，打印信息，还有我们说必须的 可变参个数的信息

标准可变参函数的实现

va_list就是定义一个变参变量argv
va_start宏获取可变参数列表的第一个参数的确切地址，赋值给argv变量，argv成功指向函数test_vparameter参数堆栈的栈顶
va_arg(argv, int) 每次运行都让指向argv的指针像栈底方向偏移一个int类型的长度。
va_arg让指向argv的指向指向栈底的时候就要调用va_end(argv)结束对va_list变量的操作
在这里插入图片描述

void test_num(int num){
    *(char *)0xd0000020=num+'0';
}

void test_vparameter(int i,...){
    int c;
    va_list argv;
    va_start(argv,i);
    while(i--){
        c=va_arg(argv,int);
        test_num(c);
    }
    va_end(argv);
}

实现细节

   typedef char* va_list;
   #define _INTSIZEOF(n) ((sizeof(n)+sizeof(int)-1)&～(sizeof(int)-1))
   #define va_start(ap,v)    ( ap = (va_list)&v + _INTSIZEOF(v))
   #define va_arg(ap,t)  (*(t*)((ap+=_INTSIZEOF(t)) - _INTSIZEOF(t)))
   #define va_end(ap)    ( ap = (va_list)0 )

其中

_INTSIZEOF(n) ((sizeof(n)+sizeof(int)-1)&～(sizeof(int)-1))

1.~是位取反的意思。 ~(sizeof(int) - 1) )就应该为 ~（4-1）= ~（00000011b）=11111100b，这样任何数& ~(sizeof(int) - 1) )后最后两位肯定为0，就肯定是4的整数倍了。

2.(sizeof(n) + sizeof(int) - 1）就是将大于4m但小于等于4（m+1）的数提高到大于等于4（m+1）但小于4(m+2)，这样再& ~(sizeof(int) - 1) )后就正好将原长度补齐到4的倍数了。

用来计算各种数据类型按照4字节对齐后的结果

va_start(ap,v) ( ap = (va_list)&v + _INTSIZEOF(v))

va_start(ap,v)实际上就是在对变量ap进行赋值，其值为变量v的地址加上v的类型按照4字节对齐后的偏移。因为参数在内存中的分布是连续的，又因为传递给宏va_start的参数v都是变参函数里可变参数列表中的前一个参数。所以，变量ap最终的结果是一个指向变参列表首地址的指针。

va_arg(ap,t) ((t)((ap+=_INTSIZEOF(t)) - _INTSIZEOF(t)))

宏va_arg(ap,t)中的参数t只能输入变量类型，该宏恰恰也是根据变量的类型来正确提取参数的。首先，宏va_arg将变量ap的值在原有的基础上加上一个对齐后的偏移，此时，ap已经指向变参到表中的下一个变量了，然后表达式在减去一个同样的值后被强行转成t类型，此时我们正好取出了变量ap所指向的那个参数，同时更新变量ap，让它指向参数列表中的下一个参数以便下次使用。