Clojure中为什么没有多重返回值

Question

Clojure中缺少多重返回值支持的原因是什么？ （Clojure似乎没有任何类似于Common Lisp的东西values/multiple-value-bind）

显式解构被认为在功能性编程风格中被认为更习惯，它与JVM有什么关系，还是它被简单地认为是收益太少，太复杂了？

Answer 1

这听起来像你已经熟悉了基本的Clojure的解构与载体&地图：

(defn calc-sqr-vec [x] 
    [ x (* x x) ])   ; returns a vector of 2 values 

(defn calc-sqr-map [x] 
    { :x x :y (* x x) }) ; returns a map of 2 entries 

(let [ [x y] (calc-sqr-vec 3) ] 
    (println (format "3^2 -> [%d,%d]" x y))) 

(let [ {:keys [x y]} (calc-sqr-map 3) ] 
    (println (format "3^2 -> [%d,%d]" x y))) 

vec: 3^2 => [3,9] 
map: 3^2 => [3,9] 

，你包裹返回值在单矢量x & y或地图，并且调用者在需要时拉出组件值。

我无法回答关于CL的why部分，但与Python风格的多重返回值相比，一个很大的好处是在用户没有指定所有返回值时该怎么做的问题。例如：

q, r = divmod(22, 7) 
q => 3 
r => 1 

q = divmod(22, 7) 
q => (3,1) 

所以，在Python相同的表达divmod(22, 7)生成不同结果依赖于该语句的“接收”部分。通过始终返回相同的单个值并允许调用者选择何时提取所需位（并忽略不需要的位），可以避免此类复杂性。

---

更新

有趣的是，这个话题今天来，因为就在昨天，我与需要回到一堆独立值的函数工作。我写了一个简短的宏使其更容易。单元测试显示它在行动：

(dotest 
    (let [some-fn (fn [] 
        (let [a 1 
         b 2 
         c 3 
         d 4 
         e 5] 
        (label-value-map a b c d e))) ] 
    (is= {:a 1 :b 2 :c 3 :d 4 :e 5} (some-fn)) 
    (let [ {:keys [a b c d e]} (some-fn) ] 
     (is= [a b c d e] [1 2 3 4 5])))) 

因此，使用label-value-map和纯老{:keys [a b c d e]}解构，你可以从一个地方到另一个地方用更少的打字转移一堆标量值。 :)

Answer 2

我想答案为什么是因为它没有需要多重价值支撑，原因是不需要一个是因为一个可以与宏很容易写。我主要在Common Lisp中工作，并且了解一些Clojure，但似乎你可能是正确的，因为它更具惯用性。 Clojure在哪里有更多的支持地图和矢量和解构他们比Common Lisp，所以它更容易，更安全，可能更有效的手动解构，而不是包括multiple-value-bind和values版本。

在一个侧面说明，我很少用values和multiple-value-bind时，它使更多的惯用意义上的功能将“自然”在(mod 5 4)，这里只是有时我想第二个值的情况下返回一个值，如除。

Answer 3

我们可以推测为什么，但是看看Clojure在这方面的功能，我认为我们可以说它并不需要多个返回值。

开箱即用，在Clojure中有两种模拟多重回报的基本方法：解构的复合值和动态绑定的辅助回报。

这里是解构风格，所有的结果都急切地返回，并且可以根据需要被调用者解构：

(defn foo 
    "Returns a map with results at keys :ret and :aux." 
    [] 
    {:ret :primary, :aux :auxiliary}) 

(let [{:keys [ret]} (foo)] 
    (vector ret))     ; => [:primary] 
(let [{:keys [ret aux]} (foo)] 
    (vector ret aux))    ; => [:primary :auxiliary] 

这里是动态无功返回辅助的风格，可选结果选入（呼叫者兴趣的信号），并通过侧通道返回：

​​

根据风格，结果被计算并急切返回，或EXP由呼叫者合法地要求并因此按需求计算。这两种风格都允许呼叫者选择并选择点菜结果。