可变参数列表解析

一、首先，我们来看一下main函数的参数，main函数的原型：

int main( int argc, char *argv[], char *envp[] ){     program-statements}

这里有三个参数：
第一个参数：argc是个整型变量，表示命令行参数的个数（含第一个参数）。
第二个参数：argv是个字符指针的数组，每个元素是一个字符指针，指向一个字符串。这些字符串就是命令行中的每一个参数（字符串）。
第三个参数：envp是字符指针的数组，数组的每一个原元素是一个指向一个环境变量（字符串）的字符指针。
假设我们写了如下代码：

#include<stdio.h>#include<windows.h>int main(int argc, char *argv[], char *envp[]){    int i = 0;    for (i = 0; i < argc; i++)    {        printf("%s\n", argv[i]);    }    system("pause");    return 0;}

输出结果如下：

可是当我们运行可执行程序 11_19.exe的时候加入参数hello、world两个参数后，产生的结果如下图：


结合画图和代码可也这么解释它：

注：argv数组的最后一个元素存放了一个NULL指针。
那第三个参数怎么解释呢？

#include<stdio.h>#include<windows.h>int main(int argc, char *argv[], char *envp[]){    int i = 0;    while (envp[i] != NULL)    {        printf("%s\n", envp[i]);        i++;    }    system("pause");    return 0;}

执行结果：

结果显示都是环境变量。（内容太多，截取部分）。
注：envp数组的最后一个元素也存放NULL指针。

二、可变参数列表解析
C语言中的可变参数是一个比较有意思的实现，通过将函数实现为可变参数的形式，可以使得函数可以接受1个以上的任意多个参数（不固定）。
先举个栗子：
实现一个函数可以求任意个参数的平均值

#include<stdio.h>#include<windows.h>int average(int n, ...){    va_list arg;    int i = 0;    int sum = 0;    va_start(arg, n);    for (i = 0; i < n; i++)    {        sum += va_arg(arg, int);    }    return sum / n;    va_end(arg);}int main(){    int a = 2;    int b = 4;    int c = 6;    int avg1 = average(2, a, c);    int avg2 = average(3, a, b, c);    printf("avg1 = %d\n", avg1);    printf("avg2 = %d\n", avg2);    system("pause");    return 0;}

声明一个 va_list 类型的变量 arg ，它用于访问参数列表的未确定部分。
这个变量是调用 va_start 来初始化的。它的第一个参数是 va_list 的变量名，第2个参数是省略号前最后一个有名字的参数。初始化过程把 arg 变量设置为指向可变参数部分的第一个参数。
为了访问参数，需要使用 va_arg ，这个宏接受两个参数： va_list 变量和参数列表中下一个参数的类型。在这个例子中所有的可变参数都是整型。va_arg返回这个参数的值，并使用 va_arg指向下一个可变参数。
最后，当访问完毕最后一个可变参数之后，我们需要调用 va_end 。

可变参数的限制：
可变参数必须从头到尾逐个访问。如果你在访问了几个可变参数之后想半途终止，这是可以的，但是，如果你想一开始就访问参数列表中间的参数，那是不行的。
参数列表中至少有一个命名参数。如果连一个命名参数都没有，就无法使用va_start。
这些宏是无法直接判断实际存在参数的数量。
这些宏无法判断每个参数的是类型。
如果在va_arg中指定了错误的类型，那么其后果是不可预测的。

如果有兴趣的话，可以研究一下可变参数实现的细节：
在VS的源码中我们可以看到

可变参数的实现过程是使用宏的封装。只要完成替换，我们就可以自行分析了。