scala – 与并发多重映射等效的功能
发布时间:2020-12-16 18:40:30 所属栏目:安全 来源:网络整理
导读:在 another question,我询问了Java的并发多图. 是否有一些函数式编程(不可变)模式可以在Scala或Clojure程序中使用?我认为Scala解决方案可能涉及演员和clojure一个原子,参考或代理,但可能有更好的方法.由于两种语言都允许“回退”到Java互操作并只使用Java解
在
another question,我询问了Java的并发多图.
是否有一些函数式编程(不可变)模式可以在Scala或Clojure程序中使用?我认为Scala解决方案可能涉及演员和clojure一个原子,参考或代理,但可能有更好的方法.由于两种语言都允许“回退”到Java互操作并只使用Java解决方案,我可以使用我在第一个问题中得到的任何答案,但这不符合函数式编程范例. Haskell程序员如何解决这个问题? 解决方法
标准Clojure映射和集合是不可变的(和持久的)[1],因此它们在并发程序中也能正常工作.您可能希望将它们存储在ref / agent / var / atom中,具体取决于您的要求,您可以像以前一样更新ref / agent / var / atom.
如果值实际为refs,则可以使用更可变的映射,如下所示: {:a (ref #{1 2 3}) :b (ref #{4 5 6})} 在这种情况下,您将能够实际向现有密钥添加值(当然在事务中).添加和删??除键仍将返回新的地图,这些地图将与原始地图共享相同的引用,因此其他地图的更改将对其他地方可见: user=> (def mmap {:a (ref #{1 2 3}) :b (ref #{4 5 6})}) #'user/mmap user=> mmap {:a #<Ref@be0446: #{1 2 3}>,:b #<Ref@10aa282: #{4 5 6}>} user=> (def mmap2 (assoc mmap :c (ref #{7 8 9}))) #'user/mmap2 user=> mmap2 {:c #<Ref@405f6: #{7 8 9}>,:a #<Ref@be0446: #{1 2 3}>,:b #<Ref@10aa282: #{4 5 6}>} user=> mmap {:a #<Ref@be0446: #{1 2 3}>,:b #<Ref@10aa282: #{4 5 6}>} user=> (dosync (alter (:a mmap2) conj 0)) #{0 1 2 3} user=> mmap {:a #<Ref@be0446: #{0 1 2 3}>,:b #<Ref@10aa282: #{4 5 6}>} user=> mmap2 {:c #<Ref@405f6: #{7 8 9}>,:a #<Ref@be0446: #{0 1 2 3}>,:b #<Ref@10aa282: #{4 5 6}>} [1]也就是说,添加/删除/修改键,值实际上返回一个新地图,而不更改原始地图. (编辑:李大同) 【声明】本站内容均来自网络,其相关言论仅代表作者个人观点,不代表本站立场。若无意侵犯到您的权利,请及时与联系站长删除相关内容! |