勿忘初心

个人签名

529篇博客

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

勿忘初心2018-11-14 13:40

此文已由作者张佃鹏授权网易云社区发布。

欢迎访问网易云社区,了解更多网易技术产品运营经验。


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


免费体验云安全(易盾)内容安全、验证码等服务

更多网易技术、产品、运营经验分享请点击




相关文章:
【推荐】 如何玩转基于风险的测试
【推荐】 不再任人欺负!手游安全的进阶之路
【推荐】 Android标题栏(2)