clojure - 如何在 clojure 中迭代 ArrayMap？

Question

我对 clojure(昨天开始学习)和函数式编程完全陌生，所以请原谅我的无知。我一直在尝试阅读大量 clojure 文档，但其中大部分内容完全超出了我的理解范围。

我正在尝试迭代此设置的 ArrayMap:

{city1 ([[0 0] [0 1] [1 1] [1 0]]), city2 ([[3 3] [3 4] [4 4] [4 3]]), city3 ([[10 10] [10 11] [11 11] [11 10]])} 

(^希望语法是正确的，这就是我的终端正在打印的内容)

其中城市名称映射到向量向量，该向量定义构成该城市边界的点。我需要将所有这些点与外部点进行比较，以确定外部点是否位于这些城市之一，如果是，则位于哪个城市。

我正在使用光线转换算法详细here确定外部点是否在向量的向量内。

Answer 1

Maps 实际上实现了 clojure.lang.ISeq 接口(interface)，这意味着您可以在它们上使用所有更高级别的序列操作。单个元素是 [key value] 形式的对，因此，要查找与谓词 in-city? 匹配的第一个元素，您可以例如:使用一些:

(some
  (fn [[city-name city-points]]                  ;; the current entry of the map
    (when (in-city? the-other-point city-points) ;; check the borders
      city-name))                                ;; return the name of a matching city
  cities)

您还可以使用 keep 来查找与谓词匹配的所有元素，但我猜您的示例中的城市之间没有重叠。

---

更新:让我们退一步，因为处理序列很有趣。我不会深入研究所有序列类型，仅使用向量 ([1 2 3 ...]) 进行示例。

好吧，首先，让我们访问我们的向量:

(first [1 2 3]) ;; => 1
(rest [1 2 3])  ;; => [2 3]
(last [1 2 3])  ;; => 3
(nth [1 2 3] 1) ;; => 2

函数式编程的伟大之处在于，函数只是可以传递给其他函数的值。例如，您可能想要对序列中的每个元素应用一个函数(假设“数字加 2”)。这可以通过 map 完成:

(map
  (fn [x]
    (+ x 2))
  [1 2 3])
;; => [3 4 5]

如果您还没有看到，函数值有一个简写，其中 % 是第一个参数，%2 是第二个参数，依此类推:

(map #(+ % 2) [1 2 3]) ;; => [3 4 5]

这是简洁且有用的，您可能会在野外经常看到它。当然，如果您的函数有名称或存储在 var 中(例如通过使用 defn)，您可以直接使用它:

(map pos? [-1 0 1]) ;; => [false false true]

像这样使用谓词没有多大意义，因为您会丢失产生 bool 结果的实际值。下面的怎么样？

(filter pos? [-1 0 1]) ;; => [1]
(remove pos? [-1 0 1]) ;; => [-1 0]

这将选择或丢弃与您的谓词匹配的值。在这里，您应该能够看到与城市边界示例的连接:您想要查找 map 中包含给定点 p 的所有城市。但 map 不是序列，不是吗？事实上，他们是:

(seq {:a 0 :b 1}) ;; => [[:a 0] [:b 1]]

天哪，可能性!

(map first {:a 0 :b 1})                 ;; => [:a :b]
(filter #(pos? (second %)) {:a 0 :b 1}) ;; => [[:b 1]]

filter 检索所有匹配的城市(及其坐标)，但由于您只对名称感兴趣 - 这些名称存储为每对的第一个元素 - 您必须从每个元素中提取它，类似于以下(更简单的)示例:

(map first (filter #(pos? (second %)) {:a 0 :b 1})) 
:: => [:b]

实际上有一个结合了map和filter的功能。它称为“keep”并返回其谓词生成的每个非“nil”值。因此，您可以检查每对的第一个元素，然后返回第二个:

(keep
  (fn [pair]
    (when (pos? (second pair))
      (first pair)))
  {:a 0 b 1})
;; => [:b]

每当您发现自己使用了很多first和second，也许中间有一些rest时，您应该考虑< em>解构。它可以帮助您以简单的方式访问部分值，我不会在这里详细介绍，但它可以非常直观地与序列一起使用:

(keep
  (fn [[a b]] ;; instead of the name 'pair' we give the value's shape!
    (when (pos? b)
      a))
  {:a 0 :b 1})
;; => [:b]

如果您只对第一个结果感兴趣，当然可以直接访问它并编写类似 (first (keep ...)) 的内容。但是，由于这是一个非常常见的用例，您会得到 Clojure 提供的一些。它类似于 keep 但不会查看第一个匹配之外的内容。让我们深入研究您的城市示例，其解决方案现在应该开始有意义:

(some
  (fn [[city-name city-points]]
    (when (in-city? p city-points)
      city-name))
  all-cities)

所以，我希望这对您有用。