为什么我们不能在 Elixir 保护子句或宏中使用其他函数？

Question

下面的代码显示了我所询问的示例： 为什么 Map、Enum 等...不能在保护子句或我自己的宏中使用。

defmodule GuardMod do
    defmacro has_any_key(arg, keys) do
        quote do
            Map.keys(unquote(arg), unquote(keys)) |> Enum.any?
        end
    end
end

defmodule OtherMod do
    import GuardMod

    @doc """
    has_any_key/2 is allowed, but Map.keys or Map.any not
    """
    def fn1(list) when has_any_key(list, [:key1, :key2]), do: :nothing
end

Answer 1

让多功能头部调度“快速”是一种妥协。

守卫中允许的函数类型都具有有限的运行时间或减少计数。如果允许在警卫中使用任意函数，则必须处理在当前进程超过当前执行片之前警卫评估未完成的情况。 （或者可能更糟糕的情况是竞争条件，因为它需要来自另一个进程的输入）。