Clojure 学习 —— binding

clojure Binding简单介绍及示常见示例

Clojure里面是不支持变量的。Binding跟变量有点像,但是在被赋值之前是不允许改的,包括:全局binding, 线程本地(thread local)binding, 以及函数内的本地binding, 以及一个表达式内部的binding

def 这个special form 定义一个全局的 binding,并且你还可以给它一个”root value” ,这个root value在所有的线程里面都是可见的,除非你给它赋了一个线程本地的值.def。也可以用来改变一个已经存在的bindingroot value —— 但是这是不被鼓励的,因为这会牺牲不可变数据所带来的好处。

函数的参数是只在这个函数内可见的本地binding

let 这个special form 创建局限于一个 当前formbindings. 它的第一个参数是一个vector, 里面包含名字-表达式的对子。表达式的值会被解析然后赋给左边的名字。这些binding可以在这个vector后面的表达式里面使用。这些binding还可以被多次赋值以改变它们的值,let命令剩下的参数是一些利用这个binding来进行计算的一些表达式。

注意: 如果这些表达式里面有调用别的函数,那么这个函数是无法利用let创建的这个binding的。

bindinglet 类似, 但是它创建的本地binding会暂时地覆盖已经存在的全局binding. 这个binding可以在创建这个bindingform以及这个form里面调用的函数里面都能看到。但是一旦跳出了这个binding那么被覆盖的全局binding的值会回复到之前的状态。

Clojure 1.3开始, binding只能用在 动态变量(dynamic var)上面了. 下面的例子演示了怎么定一个dynamic var。另一个区别是let 是串行的赋值的, 所以后面的binding可以用前面binding的值, 而binding 是不行的.

要被用来定义成新的、本地线程的、用binding来定义的binding有它们自己的命名方式:她们以星号开始,以星号结束。在这篇文章里面你会看到:*command-line-args*,*agent*,*err*,*flush-on-newline*,*in*,*load-tests*,*ns*,*out*,*print-length*,*print-level* and *stack-trace-depth*.要使用这些binding的函数会被这些binding的值影响的。比如给*out*一个新的binding会改变println函数的输出终端。

下面的例子介绍了def,letbinding的用法:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35

; clojure connect to mysql
; ithomer.net
; 2013.12.10

(ns myClojure.syntax.binding)

(def ^:dynamic v 1) ; v is a global binding

(defn f1 []
(println "f1: v =" v)) ; global binding of 1


(defn f2 []
(println "f2: before let v =" v) ; global binding
(let [v 2] ; creates local binding v that shadows global one
(println "f2: in let, v =" v) ; local binding of 2
(f1)) ; of 1

(println "f2: after let v =" v)) ; global binding of 1


(defn f3 []
(println "f3: before binding v =" v) ; global binding of 1
(binding [v 3] ; same global binding with new, temporary value
(println "f3: in binding, v =" v) ; global binding of 3
(f1)) ; of 3

(println "f3: after binding v =" v)) ; global binding of 1


(defn f4 []
(def v 4) ; changes the value of the global binding
(println "f4: after binding v =" v) ; of 4
(f1)) ; of 4


(f2)
(f3)
(f4)
(println "after calling f4, v =" v) ; of 4

运行结果:

1
2
3
4
5
6
7
8
9
10
11
12

f2: before let v = 1
f2: in let, v = 2
f1: v = 1
f2: after let v = 1
f3: before binding v = 1
f3: in binding, v = 3
f1: v = 3
f3: after binding v = 1
f4: after binding v = 4
f1: v = 4
after calling f4, v = 4

参考推荐:

Clojure入门教程
Clojure 基本语法
Clojure 学习入门(13)—— binding

文章目录