ATS语言中如何对-1进行模式匹配？问题与方案探讨

咱们来聊聊ATS里给-1做模式匹配的那些坑——这事儿看起来简单，实际尝试起来容易踩各种语法和语义的坑，我来逐个拆解那些失败的尝试，再说说靠谱的解决方案。

那些失败的尝试 #

1. 直接用~1作为模式

先看这段代码：

#include "share/atspre_staload.hats"
implement main0() = case ~1 of
  | ~1 => println!("ok")
  | _ => ()

运行直接报错：the pattern is expected to be formed with a constructor (of datavtype)

为啥？因为ATS里的~在这里不是你以为的负号运算符，而是被识别为线性构造函数的free()语法，所以这个模式根本不被当成数值-1来处理，自然通不过类型检查。

2. 用-1作为模式

那换成-1试试？

#include "share/atspre_staload.hats"
implement main0() = case ~1 of
  | -1 => println!("ok")
  | _ => ()

结果还是报错：operator fixity cannot be resolved

哪怕给-1加括号（比如(-1)）或者改成二元运算形式（比如0-1）也没用——ATS的case模式匹配语法本身就不支持直接把带前缀负号的数值字面量作为模式，这是语法层面的限制。

3. 用绑定变量作为模式

有人可能想先把-1绑定到变量，再用变量做模式：

#include "share/atspre_staload.hats"
implement main0() = let
  val negative_one = ~1
in
  case ~2 of
    | negative_one => println!("unintend match")
    | _ => () // error: this pattern match clause is redundant
end

这也不行！ATS里case的模式变量是新的绑定，不是引用之前定义的negative_one。这里的negative_one会匹配任何值，导致第二个分支直接被标记为冗余，而且会意外匹配到~2这种不是-1的数值，完全达不到预期效果。

可行的解决方案：用ifcase做值匹配 #

最后看这段能正常运行的代码：

#include "share/atspre_staload.hats"
implement main0() = let
  val negative_one = ~1
in
  ifcase
    | negative_one = ~1 => println!("this works")
    | _ => ()
end

这确实是最接近你需求的方案了：

• ATS的case主要是为代数数据类型的构造器匹配设计的，而ifcase支持直接的值相等性检查，刚好适配你要匹配特定数值的场景。
• 写法上也保持了类似模式匹配的风格，符合你的预期。

关于性能的疑问

完全不用担心性能损耗！ATS编译器会对这种简单的相等性检查做极致优化，编译后的代码和你手写if negative_one = ~1 then ... else ...几乎没有区别。ifcase在这里本质就是语法糖，帮你把值匹配写得更优雅而已，不会带来额外的性能开销。

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