clojure 新手指南（8）:参数和重载

如今咱们首先定义一个支持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的固定参数可不止这点能耐。咱们在上篇列出的定义函数时的脚手架其实并无列完整。请看下面一个更加完整的脚手架：

(defn variable-name
    "description"
    {metadata}
    ([argument-pattern #1]   ;;第一种参数形式
      body-of-expressions)
    ([argument-pattern #2]   ;;第二种参数形式
      body-of-expressions)
     more-patterns...  )

先让咱们用上面方式重构一下以前的add函数，看看怎么来支持2个、3个或4个参数的相加：

(defn add
   ( [v1 v2] ( + v1 v2))
   ( [v1 v2 v3] (+ v1 v2 v3))
   ( [v1 v2 v3 v4] (+ v1 v2 v3 v4))
)

上面咱们总共定义了三种不一样参数形式的add函数。这样调用的话(add 1 2)会匹配第一种形式，正确返回3。(add 1 2 3)会匹配第二种参数模式,返回结果6。这其实就是lisp中模式匹配的一种应用。是否是比java中的重载方式更加灵活呀。这只是固定参数的一种用法，下面再来看看clojure的可变参数用法。

可变参数

若是咱们的参数模式就两三种(例如上面只须要支持3种不一样个数的数字相加)，咱们能够采用固定参数+模式匹配来实现函数。可是若是咱们的参数模式个数不固定(例如支持任意个数字相加)，固定参数+模式匹配也拯救不了咱们了。不过不用担忧，clojure还给咱们提供了可变参数 。

咱们看一下如何使用可变参数来实现任意个数的数字相加：

(defn add [v1 v2 & others]  ;;&后面的是可变参数
   (+ v1 v2 
      (if others           ;;判断可变参数列表是不是空，若是不是累加列表中的值，不然返回0
          (reduce + 0 others)  ;;使用reduce函数计算others的数字之和。
           0
       )
    )
)

这里有几点须要注意一下，固定参数要写在一个“&”以后，只能有一个可变参数。&后的可变参数名表明的是由可变参数组成的列表。这里的reduce函数，先理解成对列表中的数字进行累加就行，本文目的主要是理解可变参数的用法。

如今咱们执行一下上面定义的函数：

=> (add 1 2)
    3

=> (add 1 2 3)
    6

=> (add 1 2 3 4 5 6)
    21

如今add已经支持任意个数字参数相加了。