namespace/symbol/:keyword/::keyword in Clojure

来源:互联网 发布:赛思软件 编辑:程序博客网 时间:2024/05/17 09:36

1.关键字(:keyword/::keyword):
  最近在学习使用clojure.spec(验证数据的格式)这个库,但在使用clojure.spec/def定义一个spec时,必须使用双冒号如下:

    ;;引入clojure.spec库    (use '[clojure.spec :as s])    ;;定义一个名为::spec-test的spec    (s/def ::spec-test even?)

  当时比较懵逼,不知道为什么会这样写,还以为是spec这个库特有的,就急着去使用该库了。后来才发现这也是一种关键字(::keyword),在某命名空间下的关键字(在其它语言c++中,::不是表示全局作用域吗??),我们可以使用namespace函数和name函数解释其如下:

    (namespace ::spec-test)    ;;=> "my-clj.core"    (name ::spec-test)    ;;=> "spec-test"

  原来::keyword就是关键字,只是表示的是当前命名空间下的关键字,主要为了解决关键字重名问题,也可以在当前命名空间下显式的定义namespace keyword:

    ;;定义一个带有命名空间的关键字,该命名空间可以随意指定,不一定是已经存在命名空间    (def ns-keyword :hello/A)    ;;=> #'my-clj.core/ns-keyword    ;;获取其namespace是"hello"    (namespace ns-keyword)    ;;=> "hello"    ;;获取其name是"A"    (name ns-keyword)    ;;=> "A"

  也就是说,有两种关键字,一种是全局的单冒号关键字,一种命名空间下的关键字,对于后者,可以使用::来定义关键字,表示是在当前命名空间下的关键字,也可以显式的写出命名空间的定义方法。

2.符号(symbol):
  符号是一个标志,在使用时不对其进行解释,前面需要加一个引号,阻止对其求值,如下:

    ;;定义一个变量a=3    (def a 3)    ;;=> #'my-clj.core/a    ;;直接使用a会对其进行求值    a    ;;=> 3    ;;如果使用symbol的方式则不对其进行求值,返回符号本身    'a    ;;=> a

  symbol与keyword一样,也分全局的symbol和命名空间下的symbol,如下:

    ;;全局的symbol    (namespace 'A)    ;;=> nil    ;;命名空间下的symbol,可以避免重名    (namespace 'hello/A)    ;;=> "hello"

  符号(symbol)主要用于创建列表和宏定义时,如下:

    ;;创建一个新的列表时,为了阻止其当作函数求值    '(1 2 3)    ;;=> (1 2 3)    ;;定义宏时,阻止对if当作函数计算    (defmacro unless [expr form]      (list 'if expr nil form))    ;;=> #'my-clj.core/unless

3.symbol/keyword/string/namespace之间的转换:
  在实际使用中,我们经常会遇到keyword和string之间的转换,尤其是如果将map中的key由string变为keyword的时候,会带来很多好处,比如我们使用的IDE中的keyword可以高亮显示,而且keyword还可以作为函数,更重要是的对map的结构会带来很多方便,所以掌握keyword和string之间的转换尤为重要。

  • 使用name函数将“关键字”转换为“字符串”(考虑namespace):

  首先可以使用name函数获取一个keyword的string形式:

    (name :A)    ;;=> "A"    ;;如果一个keyword中遇到"/",name函数会将第一个"/"前的字符串作为namespace,所以其返回的第一个"/"后的字符串    (name :hello/A)    ;;=> "A"

  但是有时候我们不希望把第一个斜杠”/”前的内容当作namespace,尤其是在将map转换为json格式的字符串时,有些keyword中带有“/”,但是它不是命名空间下的关键字,这时候如果使用name就会出错,但是大部分类似map2json的函数都会使用name来解释,所以会导致意想不到的错误发生。

  • 使用str函数将“关键字”转换为“字符串”(不考虑namespace):
      鉴于以上情况,我们可以使用str函数将“关键字”转换为“字符串”,如下:
    ;;str函数返回的字符串会带有冒号    (str :hello/A)    ;;=> ":hello/A"    ;;在str函数的基础上调用.substring函数,则可以正确转换为我们想要的string    (.substring (str :hello/A) 1)    ;;=> "hello/A"
  • 使用namespace和name函数将“关键字”转换为“字符串”(不考虑namespace)
      可以使用另外一种方法获取和str方法效果一样,就是使用namespace函数和name函数的组合,namespace函数可以获取一个“关键字”或“符号”的命名空间的字符串表示,如果无命名空间则返回nil:
    ;;namespace函数的用法:    (namespace :a)    ;;=> nil    (namespace :A/a)    ;;=> "A"    ;;它只会把第一个"/"前的字符串当作命名空间    (namespace :A/B/a)    ;;=> "A"    ;;使用namespace和name函数将keyword转换为string    (str (namespace :A/a) "/" (name :A/a))    ;;=> "A/a"

  特别注意的是,在clojurescript中,不要使用第三种方法,因为namespace函数在遇到多个斜杠时,会出现奇怪的问题,尽量使用第二种方法。

  • 使用keyword函数将“字符串”转换为“关键字”
      将“字符串”转换为关键字,直接使用keyword函数便可,keyword函数可以接收一个参数或者两个参数,如果是两个参数的情况下,会把第一个参数当作命名空间,然后在两个参数中间加一个斜杠”/”:
    (keyword "a")    ;;=> :a    ;;keyword可以接收有斜杠的字符串    (keyword "A/a")    ;;=> :A/a    ;;其实接收两个参数和接收一个参数本质上没有太大的区别,可以把两个参数用str合并后再调用keyword,可能只是为了突出强调namespace而已    (keyword "A" "a")    ;;=> :A/a    (keyword "A/B" "a")    ;;=> :A/B/a
  • 与“符号”(symbol)之间的相关转换:

    (1)其中symbol函数和keyword函数类似,可以将“字符串”转换为“符号”,同样也可以接收一个或者两个参数,如下:

    (symbol "a")    ;;=> a    ;;如果两个参数,第一个参数作为命名空间    (symbol "A" "a")    ;;=> A/a

   (2)“符号”也可以作为namespace函数和name函数的参数,用法和“关键字”作为参数类似,可以将一个“符号”转换为“字符串”,如下:

    (namespace 'hello/A)    ;;=> "hello"    (name 'hello/A)    ;;=> "A"    ;;无命名空间时,namespace总是返回nil    (namespace 'A)    ;;=> nil    (name 'A)    ;;=> "A"

参考文章:
https://kotka.de/blog/2010/05/Did_you_know_III.html
http://stackoverflow.com/questions/2481984/when-should-clojure-keywords-be-in-namespaces

0 0