【C语言：可变参数列表】

大家好，欢迎来到IT知识分享网。

1.什么是可变参数列表

此处的...就是可变参数列表，num表示传入参数的个数。
可变参数至少有一个明确的参数。…表示其它元素，其它元素可以有，也可以没有

那么如何使用可变参数列表呢？

2.可变参数列表的分析与使用

可变参数列表的使用需要借用四个宏。

• va_list
• va_start
• va_arg
• va_end

关于这四个宏的功能我们能后面会详细讲到。

2.1使用

注意事项：

1. 可变参数必须从头到尾逐个访问，如果你一开始就想访问中间的元素，这是办不到的。
2. 参数列表中至少有一个参数，如果一个都没有，则无法使用va_start
3. 这几个宏是无法直接判断实际存在参数的个数的，必须给他传递参数个数
   那不对呀，我们使用的printf就是使用的可变参数，那我们没有给它传递明确的参数呀？
   其实我们给它传递参了参数的个数，我们的%d，%c等格式控制符就说明了我传递了几个参数。
   
   
4. 这些宏无法判断每个参数的类型。

2.2分析原理

此时我们我们的最后压入栈中的元素5，也就是num就在内存中的该位置：

此时我们先猜测一下，我的num就是我最后压入栈中的元素（在栈中的地址较小），那先前压入的元素，就在num上面。既然我能找到num元素，那我取出num的地址再加上一，不就指向先前压入的元素了；那我就能访问他们，再继续让指针移动，就可以将他们全部访问到。那到底是不是这样实现的呢？而且地址+1是加4/8个字节，那其它类型（char、short）是怎么办的呢？

下面我们就先来测试一下对于char类型，它是怎么做的：

在调试过程中给你，我们可以发现，char类型的数据在入栈是也是压入4个字节，为什么会这样呢？
movsx是什么汇编指令？我们以前都是用的mov

看到这我就明白了，char类型的数据会整型提升为整型，然后在压入栈中。
这样就可以实现，无论外部数据如何变化，该函数都可以让指针+4/8个字节找到数据了。

因此，通过汇编我们可以看到，在可变参数场景下：

1. 实际传入的参数使char、short、float，在编译器编译的时候，会自动进行提升。
2. 函数内部使用的时候，根据类型提取数据（更多的是通过int、double来进行）

2.3分析原码

1. va_list

该类型，其实就是对char*的重命名，在此我们也就不赘述了。

2. va_end

该宏的作用就是将我们的arg指针置为NULL了，避免了野指针。

3. va_start

这里我们的编译器对它们进行了封装，而且该宏又调用了两个宏

将3个宏替换一下，就是下面的结果。

#define __crt_va_start_a(arg, num) ((void)(arg= (char*)(&(num)) + _INTSIZEOF(num))) 

• 这里的+4其实是为了让数据在内存中4字节对齐（向上取整）
  这个_INTSIZEOF宏我们稍后再看。
  

执行va_start(arg, num)，此时arg指针就指向了第一个元素

4. va_arg

#define __crt_va_arg(arg, int) (*(int*)((arg += _INTSIZEOF(int)) - _INTSIZEOF(int))) 

该宏先执行画红线的部分，即先将arg向下动，完成指向下一个元素的任务，然后再用arg减去刚才移动的距离，又回到刚才的位置（注意：arg没回来），最后通过强制转换，提取出符合类型大小的数据

该宏有两个功能：

• arg指向下一个元素
• 使arg回指，然后取出地址中的内容

5. 下面我们就来研究一下_INTSIZEOF宏是如何计算指针走

_INTSIZEOF(n)的意思就是：计算一个最小数x，满足x>=n && x % 4 == 0 其实就是一种4字节的对齐方式。
例如：

• n是1，2，3，4，对n进行sizeof(int)最小整数被取整的问题 就是4。
• n是5，6，7，8，对n进行sizeof(int)最小整数被取整的问题 就是8。

那为什么要这样做呢？

• 因为我们的数据在入栈的时候，都是按照4/8字节对齐的方式存储的，既然存的时候是按照4字节对齐的方式存的，那你取的也要按照4字节对齐的方式取。

那该宏是怎么办到的呢？

既然是对齐到4的最小整数倍处，那么本质是：n对应的4的最小整数倍 = 4*m。对n=7来说，m就是2，4的最小整数倍（对齐数）就是8。

• 如果n能整除4，那么m就是n/4
• 如果n不能整除4，那么m就是n/4+1

上面两种情况如何合并为一种情况呢？

（n + sizeof(int) - 1）/sizeof(int) ---->(n + 4 - 1) / 4 

• 如果n能整除4，那么m就是 (n+4-1)/ 4 —->(n+3)/4，此时+3就不起作用，就是n/4
• 如果n不能整除4，那么n=最大整除4的部分+R(R为n%4)， 1<=R<4。那么m就是 (n+4-1)/ 4 —->(最大整除4的部分+R+3)/4，其中 4<=R+3 <7，那最后m就等于了n/4 + (R+3 ) / 4——>n/4+1

知道了一个数x是4的最小几倍，那求x对应的4的对齐数就是：

（n + sizeof(int) - 1）/sizeof(int) * sizeof(int) ---->((n+4-1)*4)/4 --- 最小几倍 ---