pattern-matching - probar - expresiones regulares java pdf

Función de coincidencia de patrón contra el mapa vacío

Question

Estoy jugando con el patrón de coincidencia y descubrí que no es fácil modelar los parámetros de coincidencia de un método contra un mapa vacío. Pensé que sería algo como esto:

defmodule PatternMatch do
def modify(%{}) do
%{}
end
def modify(map) do
# expensive operation
%{ modified: "map" }
end
end

Pero parece que la primera cláusula de función coincide con los mapas arbitrarios:

iex> PatternMatch.modify(%{a: "map"})
==> %{}

¿Hay alguna otra forma de verificar los mapas vacíos?

Answer 1

Además de la respuesta de @ PatrickOscity (que usaría para un mapa vacío), puede usar map_size/1 guard para que coincida con los mapas con varias teclas:

defmodule PatternMatch do
def modify(map) when map_size(map) == 0 do
%{}
end
def modify(map) when map_size(map) == 1 do
#something else
end
def modify(map) do
# expensive operation
%{ modified: "map" }
end
end

Aquí hay una salida de iex usando Kernel.match?/2 para mostrar map_size/1 en acción:

iex(6)> Kernel.match?(map when map_size(map) == 1, %{})
false
iex(7)> Kernel.match?(map when map_size(map) == 1, %{foo: "bar"})
true

Answer 2

Además de todas las respuestas geniales proporcionadas hasta ahora, también puede considerar el uso del operador de pin único que parece un sombrero o un punto de flecha superior. Lo usa para prefijar una variable con él para asegurar que coincida con su valor, como se indica en la documentación relevante:

Utilice el operador pin ^ cuando desee que el patrón coincida con el valor de una variable existente en lugar de volver a enlazar la variable

A continuación se muestra un ejemplo:

defmodule A do
def determine_map_volume(some_map) do
an_empty_map = %{}
some_map
|> case do
^an_empty_map -> :empty # Application of pin operator
_ -> :not_empty
end
end
end

Que se puede verificar de la siguiente manera:

A.determine_map_volume(%{})
:empty
A.determine_map_volume(%{a: 1})
:not_empty

El método que pretenda utilizar depende de su preferencia personal / organizacional para la legibilidad de su código.

Answer 3

Funciona de esta forma por diseño, pero admite que puede ser un poco confuso a primera vista. Esta característica le permite desestructurar mapas usando la coincidencia de patrones, sin tener que especificar todas las claves. Por ejemplo:

iex> %{b: value} = %{a: 1, b: 2, c: 3}
%{a: 1, b: 2, c: 3}
iex> value
2

En consecuencia, %{} coincidirá con cualquier mapa. Si desea hacer coincidir un mapa vacío en una función, debe usar una cláusula de guardia:

defmodule PatternMatch do
def modify(map) when map == %{} do
%{}
end
def modify(map) do
# ...
end
end