如何从clojure中的set中获取元素？

Question

我已经准备好

(def tableOfStates [{:_ '\a :q0 'q1 :q1 'q1 :q2 'q3 :q3 '\_ }
                    {:_ '\b :q0 'q2 :q1 'q3 :q2 'q2 :q3 '\_}
                    {:_ '\c :q0 'q3 :q1 'q3 :q2 '\_ :q3 '\_}
                    {:_ '\$ :q0 '\_ :q1 '\_ :q2 '\_ :q3 'pass}])

我想用这种方式得到元素

((get tableOfStates 0) ":q0")

但返回nil

我怎么做这个？

Answer 1

(get-in tableOfStates [0 :q0])

这将返回要查找的值，即与向量中第一个元素的键:q0相关联的值。

如果必须使用字符串，请执行以下操作：

(get-in tableOfStates [0 (keyword "q0")])

这首先将字符串转换为关键字。

来自REPL：

> tableOfStates
[{:_ \a, :q0 q1, :q1 q1, :q2 q3, :q3 \_}
 {:_ \b, :q0 q2, :q1 q3, :q2 q2, :q3 \_}
 {:_ \c, :q0 q3, :q1 q3, :q2 \_, :q3 \_}
 {:_ \$, :q0 \_, :q1 \_, :q2 \_, :q3 pass}]
> (get-in tableOfStates [0 :q0])
q1
> (keyword "str")
:str
> (get-in tableOfStates [0 (keyword "q0")])
q1
> 

Answer 2

如果您将tableOfStates ( 状态转换表 )从map_s的向量更改为地图的_map，则可以更整洁、更快地完成这一任务。

(def tableOfStates {'\a {:q0 'q1 :q1 'q1 :q2 'q3 :q3 '\_}
                    '\b {:q0 'q2 :q1 'q3 :q2 'q2 :q3 '\_}
                    '\c {:q0 'q3 :q1 'q3 :q2 '\_ :q3 '\_}
                    '\$ {:q0 '\_ :q1 '\_ :q2 '\_ :q3 'pass}})

我们这样使用它：

((get tableOfStates \a) :q0) ;q1

..。或者只是

((tableOfStates \a) :q0) ;q1

..。因为映射作为自己的get函数工作。

我们直接使用\a。我们不需要使用:_密钥来查找它。

我认为你的印象是键必须是关键字，反之亦然。不是这样的！事实上，各州代表的不同，取决于它们所扮演的角色：

• 作为关键字，它们是关键字:q0、:q1、:q2和:q3。
• 作为值，它们是对应的符号'q0、'q1 'q2和'q3。
• (假设)失败状态由字符\_表示。(顺便说一句，没有必要引用字符)。

让我们将它们全部表示为关键字。桌子变成..。

(def tableOfStates {\a {:q0 :q1, :q1 :q1, :q2, :q3, :q3 :_}
                    \b {:q0 :q2, :q1 :q3, :q2 :q2, :q3 :_}
                    \c {:q0 :q3, :q1 :q3, :q2 :_, :q3 :_}
                    \$ {:q0 :_, :q1 :_, :q2 :_, :q3 :pass}})

其他变化。

使用nil而不是:_来表示失败状态。那么，您就不需要失败的转换：

(def tableOfStates {\a {:q0 :q1, :q1 :q1, :q2 :q3}
                    \b {:q0 :q2, :q1 :q3, :q2 :q2}
                    \c {:q0 :q3, :q1 :q3}
                    \$ {:q3 :pass}})

例如,

((tableOfStates \$) :q0) ;nil

看起来，\$代表输入的结束。如果这是供应的，好的，好的。如果不是，那么最好用set #{:q3}测试最后的状态。