带守卫子句的Elixir宏对负值处理不符合预期问题

问题重现 #

你编写了以下带有守卫子句的宏，测试正整数和0时正常，但传入负值-1时触发FunctionClauseError：

defmodule IntegerChecker do
  defmacro is_negative_or_zero(number)
    when is_integer(number) and number <= 0, do: true
  
  defmacro is_negative_or_zero(number)
    when is_integer(number), do: false
end

测试输出：

> import IntegerChecker

> is_negative_or_zero(0)
true

> is_negative_or_zero(1)
false

> is_negative_or_zero(20)
false

> is_negative_or_zero(-1)
** (FunctionClauseError) no function clause matching in IntegerChecker.is_negative_or_zero/1
    expanding macro: IntegerChecker.is_negative_or_zero/1

原因分析 #

宏的守卫是在编译阶段执行的，此时传入的参数是AST（抽象语法树）节点，而非运行时的实际数值：

• 当传入0、1这类正整数/零时，它们是直接的整数字面量，对应的AST就是整数本身，所以守卫is_integer(number)会返回true，能匹配对应的子句。
• 当传入-1时，它不是一个直接的整数字面量，而是表示“取负操作”的AST节点（结构为{:-, [context: Elixir, import: Kernel], [1]}），此时number是一个元组而非整数，守卫is_integer(number)返回false，导致没有匹配的宏子句，触发错误。

解决方法 #

方法一：改用函数（推荐） #

如果不需要操作AST的宏特性，这种简单的数值判断用函数更合适。函数的守卫在运行时评估参数的实际值，不会受AST结构影响：

defmodule IntegerChecker do
  def is_negative_or_zero(number)
    when is_integer(number) and number <= 0, do: true
  
  def is_negative_or_zero(number)
    when is_integer(number), do: false
end

方法二：调整宏的实现（必须用宏时） #

如果确实需要使用宏，可以在编译时解析AST节点，处理负整数的情况：

defmodule IntegerChecker do
  defmacro is_negative_or_zero(number) do
    case number do
      # 匹配非负整数字面量（<=0）
      num when is_integer(num) and num <= 0 -> true
      # 匹配负整数字面量（-正整数）
      {:-, _, [num]} when is_integer(num) and num > 0 -> true
      # 匹配正整数字面量
      num when is_integer(num) -> false
      # 处理非整数字面量的情况
      _ -> raise ArgumentError, "Expected an integer literal"
    end
  end
end

或者通过Code.eval_quoted在编译时计算参数的实际值（注意：这种方式可能存在安全风险，若参数包含动态代码需谨慎使用）：

defmodule IntegerChecker do
  defmacro is_negative_or_zero(number) do
    {value, _} = Code.eval_quoted(number, __CALLER__.env)
    if is_integer(value) and value <= 0, do: true, else: false
  end
end

内容的提问来源于stack exchange，提问作者jfcalvo