为何Elixir中守卫语句里的Range相等判断不生效？

核心原因拆解 #

• 守卫表达式有严格限制：Elixir的守卫里不能动态创建新的数据结构，包括用..生成Range。你第一个代码里的range == n..n，本质是试图在守卫里动态生成一个n..n的Range再做比较，但这违反了守卫的规则——守卫只允许使用预定义的纯函数、操作符和常量值，不能运行构造数据结构的代码。新版本Elixir直接会报编译错误，旧版本可能会把这个表达式解析成无效内容，导致比较结果为false。

• 模式匹配是直接解构：在函数参数位置写n..n属于模式匹配，它会直接拆解传入的Range结构体，检查其start和end字段是否都等于参数n，不需要创建新的Range，完全符合Elixir的匹配逻辑，所以能正确识别1..1这种情况。

• 为什么range == 1..1能生效？
  因为1..1是编译时就确定的常量Range，不是动态生成的，守卫允许用常量结构体做相等比较。但这种写法只能匹配固定值，没办法像模式匹配那样动态适配参数n。

额外提示 #

你自己定义的Range模块和Elixir标准库的Range重名了，虽然这不是本次问题的直接原因，但容易引发其他混淆，建议换个模块名（比如RangeChecker）。

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