Rust中assert_eq!为何采用match实现？仅检查不等为何不足？

嘿，这个问题问到点子上了！咱们一步步来唠明白这事～

首先，先回忆下assert_eq!的核心作用：它不只是判断两个值是否相等，更重要的是在断言失败时给出清晰的调试信息——也就是告诉你左边和右边实际都是什么值。这也是它比手动写if left != right { panic!() }好用的关键原因。

那为什么用match而不是简单的条件判断呢？主要有这几个原因：

• 绑定变量，方便输出调试信息
  用match (&left, &right)的方式，能把左右值的引用绑定到模式变量里（比如(a, b)）。当匹配到a != b的分支时，我们可以直接用这些绑定的变量调用Debug trait，把两边的具体值打印出来。如果只是用if left != right，你要么得重复引用left和right（可能涉及所有权或重复计算），要么没法在panic时轻松捕获它们的状态。

• 清晰的分支语义，符合Rust习惯
  match天生就是Rust里处理分支逻辑的首选方式，成功分支（相等时）直接执行空操作=> ()，失败分支（不相等时）触发panic并输出详细信息。这种结构比if-else更直观，也更容易在宏里扩展（比如支持自定义错误消息的重载）。

• 避免所有权转移问题
  通过匹配引用&left和&right，我们只是借用了原变量的值，不会触发所有权转移。如果直接用match (left, right)，那原变量就会被移动，断言成功后也没法再使用——这显然不是开发者想要的行为。

那仅检查非相等性为啥满足不了需求？ #

说白了，assert_eq!的价值从来都不是“判断相等”这么简单。如果只是要检查相等，手动写个if就行，但开发者需要的是调试辅助。当断言失败时，你需要知道“左边是X，右边是Y，所以不相等”，而不是只知道“断言失败了”。简单的条件判断做不到这一点，而match能帮我们在失败分支里轻松捕获并输出两边的具体值，大大提升调试效率。

举个直观的例子，用match实现的assert_eq!失败时会输出：

thread 'main' panicked at 'assertion failed: `(left == right)`
  left: `5`,
 right: `3`', src/main.rs:4:5

而如果是简单的if判断，最多只能输出“断言失败”，完全没有调试价值。

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