为什么这段Rust代码中的&item不是悬垂指针？

核心推导错误点 #

1. 对for循环迭代器的生命周期认知错误
   bytes.iter().enumerate() 生成的迭代器实例会在整个for循环运行期间持续存活，并不是执行一次就销毁。这个迭代器本身持有对bytes的不可变引用，Rust的借用检查器会自动将bytes的作用域延长到迭代器销毁（也就是for循环结束），所以循环运行期间bytes始终有效。
2. 对for (i, &item)的模式匹配语义认知错误
   bytes.iter() 产出的迭代元素类型是&u8，这里的&item是模式匹配解构：相当于把迭代得到的&u8引用解引用，item本身是u8类型的栈上拷贝值，根本就不是引用，自然不存在悬垂引用的问题。
   就算你不写&，直接用item接收迭代值，此时item是&u8类型，它的生命周期也和迭代器绑定，迭代器存活期间item指向的内存（也就是bytes对应的底层字节数组）始终有效，不会悬空。

bytes和s的关联逻辑 #

Rust编译器必然会记住二者的关联：String::as_bytes() 方法的签名符合生命周期省略规则，返回的&[u8]生命周期和输入的&String生命周期完全绑定，只要s有效，bytes就始终有效。你写的接收独立&[u8]参数的版本同理，输入引用的生命周期至少覆盖整个函数执行周期，迭代器持有它的引用期间不会失效。

生命周期测试代码的错误说明 #

你看到的编译错误是类型不匹配错误，还没触发生命周期检查逻辑：你把&[u8]类型的bytes赋值给了&'x_lifetime ()类型的变量，二者指向的目标类型完全不同，编译器直接报类型错误，不会继续检查生命周期。
所有Rust引用都自带生命周期，只是默认开启了生命周期省略规则，不需要手动标注的场景下编译器不会在错误信息里额外显示生命周期，不代表bytes没有生命周期关联。

术语补充 #

Rust语境下更常用「值」或者「类型实例」来指代内存中的数据，不过用「对象」也不会有理解障碍，不属于错误用法。

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