可变参数

在定义可变参数的函数之前，先来理解一下函数参数的传递原理： 1、函数参数是以栈这种数据结构来存取的，在函数参数列表中，从右至左依次入栈。 2、参数的内存存放格式：参数的内存地址存放在内存的堆栈段中，在执行函数的时候，从最后一个（最右边）参数开始入栈。因此栈底高地址，栈顶低地址，举个例子说明一下： void test(int a, float b, char c); 那么，在调用test函数的时候，实参char c先进栈，然后是float b，最后才是int a，因此在内存中变量的存放次序是c->b->a，因为从理念上来说，我们只要探测到任意一个变量的地址，并且知道其它变量的类型，通过指针移位运算，就可以顺藤摸瓜找到其它的输入变量。 实现一个可变参数的函数，需要用到以下几个宏： typedef char* va_list; // 用于声明一个指向参数列表的字符型指针变量 void va_start(va_list ap, prev_param); // 第一个参数为指向可变参数字符指针变量，第二个参数是可变参数的第一个参数，通常用于指定可变参数列表中参数的个数 void va_arg(va_list ap, type); // 第一个参数为指向可变参数字符指针变量，第二个参数是可变参数的数据类型 void va_end(va_list ap);// 将存放可变参数字符串的变量清空

需求：我要写一个求和功能，但是不清楚有几个数据，只有在调用的时候才会知道。 这就需要用到可变参数。 public static void main(String[] args) { System.out.println(sum(1, 2));// 3 System.out.println(sum(1, 2, 3));// 6 System.out.println(sum(1, 2, 3, 4));// 10 System.out.println(sum(1, 2, 3, 4, 5));// 15 System.out.println(sum(1, 2, 3, 4, 5, 6));// 21 } /** * 可变参数求和 * @param num * @return */ public static int sum(int... num){ int sum = 0; for(int a : num){ sum += a; } return sum; } 注意： 这里的变量num其实是一个数组 如果一个方法有可变参数，并且有多个参数，那么，可变参数肯定是最后一个 来源： oschina 链接： https://my.oschina.net/u/3734690/blog/1808552

现在我们首先定义一个支持4个参数相加的函数： (defn add [ v1 v2 v3 v4] (+ v1 v2 (if v3 v3 0) (if v4 v4 0) )) 我们想达到这样一种效果。如果我们调用(add 1 2 3 4)，则正常返回10。如果我们调用(add 1 2 3)能得到结果6。或者调用(add 1 2)能得到3。 我们执行后发现： => (add 1 2 3 4) 10 => (add 1 2) ... ArityException Wrong number of args (2) passed to: user$add ... 当参数数量和我们定义函数时的参数数量一致时能得到正确的值。否则会抛出参数数量不匹配异常。看来这个和我们预想的不一样啊。 固定参数 我们之前定义函数时，使用的都是固定参数方式。调用函数时，只要我们传入参数的数量不符合定义时的参数数量，clojure都会提出抗议（抛出参数数量不匹配异常）。像上面我们可以这么调用（add 1 2 3 nil),这样会返回6。 (if v4 v4 0)的含义是，如果v4 不为nil或false，就返回v4，否则返回0。我们传入的正是nil。所以函数会正确返回6。当然(add 1 2 nil nil )也会正确返回3。 难道clojure就这么点能力？当然不是，clojure的固定参数可不止这点能耐