Rust返回迭代器报临时值引用错误 加&切片可编译的原因

无&版本编译失败的本质 #

• match分支直接写数组字面量时，返回的是栈上创建的临时数组值，类型为[(isize, isize); 4]。在这个临时数组上调用.iter()生成的迭代器，内部保存了指向该栈内存的借用指针。
• Rust 对普通栈临时值的生命周期规则是：值的存活周期截止到当前所在语句执行结束。当函数准备返回时，这个临时数组会被立刻drop回收，此时返回的迭代器持有的是指向已释放内存的悬垂引用，违反内存安全要求，因此编译器抛出cannot return value referencing temporary value错误。

加&后编译通过的核心逻辑 #

• 写&[(0, 0), (0, 1)...]这种带引用的常量数组字面量时，触发了Rust的右值静态提升规则：如果数组内所有元素都是编译期就能确定的常量，编译器不会把数组创建在栈上作为临时值，而是直接将数组写入二进制文件的只读数据段，给它分配'static生命周期——也就是数组在程序整个运行期间都有效，不会被自动drop。
• 此时.iter()生成的迭代器，内部持有的是指向静态只读内存的指针，不存在函数返回后指向内存被回收的问题，完全满足生命周期校验要求，因此可以正常编译。

常见误区 #

不是所有带&的数组字面量引用都会触发静态提升。如果数组里包含运行时才能确定的值（比如局部变量、函数调用返回值），哪怕加了&，数组依然是栈上临时值，会触发相同的生命周期报错。

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