Rust中为何对常量的引用比较可生效，对同值变量的引用比较却无效？

咱们先把代码里的核心逻辑拆明白：is_five函数根本不是在比较数值，而是在比较两个指针的内存地址是否完全相同——它把传入的引用转成原始指针，再和&5的指针做对比。搞懂这一点，问题就迎刃而解了。

1. 为什么is_five(&5)会返回true？ #

字面量5属于Rust里的编译期常量，编译器会把它分配到程序的静态内存区域（比如程序启动就存在的全局data段）。而且为了优化，Rust会让所有对这个字面量的引用都指向同一个内存地址——不管你在代码里写多少次&5，它们指向的都是同一块存着5的静态内存。所以当函数里的&5 as *const i32和你调用时传的&5指针对比，地址完全一致，结果就是true。

2. 为什么is_five(&x)会返回false？ #

你在main里声明的变量let x = 5;，是被分配在栈内存上的——这是函数运行时临时分配的内存区域，和静态内存是完全分开的两块空间。哪怕x的值是5，它的内存地址和静态内存里那个5的地址半毛钱关系都没有。所以&x转成的指针，和函数里的&5指针地址完全不同，对比结果自然是false。

关于引用比较的疑问：为什么常量有效、同值变量无效？ #

本质原因就是内存分配的位置和方式不同：

• 编译期常量（比如字面量、const声明的常量）会被编译器优化为全局唯一的实例，所有对它的引用都共享同一个内存地址，所以指针对比会相等。
• 变量是独立的内存实例：哪怕值和常量一样，它也是在栈/堆上单独分配的新内存，地址是独一无二的，指针对比当然不会相等。

最后要提醒一句：这种通过指针地址判断值的写法是非常不推荐的！Rust的内存模型不保证相同值的实例一定在同一地址，而且编译器的优化策略可能随时改变这种行为，代码很容易出现不可预测的问题。

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