Elixir中Guard使用!is_list(t)报错，移除!则正常的问题咨询

这其实是Elixir guard规则里的一个常见小坑，我来给你拆解明白：

核心问题：! 不属于Guard允许的合法语法 #

在Elixir里，when后面的guard语句有严格的限制——只能使用官方明确允许的内置函数和操作符，这么做是为了保证guard的行为确定无副作用，还能被编译器优化。

你用的!其实是Kernel.!/1函数，它并不在Guard允许的函数列表里。而is_list/1是符合要求的Guard内置函数，所以单独写when is_list(t)完全没问题，但加上!之后，相当于在Guard里调用了一个不被允许的普通函数，自然触发了错误。

为什么报错信息看起来跑偏了？ #

你提到的报错内容“Invalid expression in guard, case is not allowed in guards”确实有点误导人，这大概率是Elixir的语法解析器在处理!is_list(t)时出现了歧义，导致错误提示不准确，并不是你的代码真的把case写到了Guard里。

正确的写法 #

如果要在Guard里实现取反逻辑，应该用官方支持的布尔操作符not，而不是!函数：

case test do
  t when not is_list(t) -> false
  # 其他分支逻辑...
end

这样写既符合Guard的规则，也能完美实现你想要的“判断t不是列表”的效果。

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