Elixir中的Guard语句是什么

Guard语句是一种在Elixir中用于过滤和匹配函数参数的语法结构。Guard语句通常用于在函数定义中对参数进行条件检查，以确保函数能够正确地处理各种不同情况。

Guard语句由when关键字引导，它可以跟随在函数参数列表的后面，用于对参数进行条件判断。Guard语句可以包含各种条件表达式，如比较操作符、逻辑操作符、类型检查等。Guard语句只能包含不会引起副作用的表达式，如简单的数学运算或逻辑判断。

以下是一个简单的例子，演示了如何在函数定义中使用Guard语句：

defmodule Math do
  def add(a, b) when is_integer(a) and is_integer(b) do
    a + b
  end

  def add(a, b) do
    IO.puts "Error: both arguments must be integers"
  end
end

IO.puts Math.add(2, 3)   # 输出: 5
IO.puts Math.add(2.5, 3) # 输出: Error: both arguments must be integers

在上面的例子中，第一个add函数使用Guard语句来检查传入的参数a和b是否为整数，只有在满足条件的情况下才会执行加法操作。如果参数不是整数，则会执行第二个add函数中的错误处理逻辑。