Elixir Registry.select用法及代碼示例

@spec select(registry(), spec()) :: [term()]

選擇使用完全匹配規範注冊的鍵、pid 和值。

spec 由三部分元組的列表組成，形狀為 [{match_pattern, guards, body}] 。

第一部分，匹配模式，必須是一個元組，它將匹配存儲在注冊表中的數據結構，即 {key, pid, value} 。原子:_ 可用於忽略給定值或元組元素，而原子:"$1" 可用於臨時將模式的一部分分配給變量以進行後續比較。這可以像 {:"$1", :_, :_} 一樣組合。

第二部分，守衛，是允許過濾結果的條件列表。每個守衛都是一個元組，它說明了應該由模式的指定部分通過的檢查。例如，$1 > 1 保護條件將表示為 {:>, :"$1", 1} 元組。請注意，保護條件僅適用於已分配的變量，如 :"$1" 、 :"$2" 等。

第三部分，主體，是返回條目的形狀列表。與守衛一樣，您可以訪問分配的變量，例如 :"$1" ，您可以將其與硬編碼值組合以自由調整條目的形狀 請注意，元組必須包裝在一個額外的元組中。要獲得類似 %{key: key, pid: pid, value: value} 的結果格式，假設您在匹配部分按順序綁定這些變量，您將提供類似 [%{key: :"$1", pid: :"$2", value: :"$3"}] 的主體。像守衛一樣，您可以使用:element之類的一些操作來修改輸出格式。

不要使用特殊匹配變量 :"$_" 和 :"$$" ，因為它們可能無法按預期工作。

請注意，對於具有許多分區的大型注冊表，這將是昂貴的，因為它通過連接所有分區來構建結果。

例子

此示例顯示如何從注冊表中獲取所有內容。

iex> Registry.start_link(keys: :unique, name: Registry.SelectAllTest)
iex> {:ok, _} = Registry.register(Registry.SelectAllTest, "hello", :value)
iex> {:ok, _} = Registry.register(Registry.SelectAllTest, "world", :value)
iex> Registry.select(Registry.SelectAllTest, [{{:"$1", :"$2", :"$3"}, [], [{{:"$1", :"$2", :"$3"}}]}])
[{"world", self(), :value}, {"hello", self(), :value}]

獲取注冊表中的所有鍵。

iex> Registry.start_link(keys: :unique, name: Registry.SelectAllTest)
iex> {:ok, _} = Registry.register(Registry.SelectAllTest, "hello", :value)
iex> {:ok, _} = Registry.register(Registry.SelectAllTest, "world", :value)
iex> Registry.select(Registry.SelectAllTest, [{{:"$1", :_, :_}, [], [:"$1"]}])
["world", "hello"]