Vec::push 处理自引用类型的机制及对象有效性保证

先把你提到的Vec::push的实现贴出来：

pub fn push(&mut self, value: T) {
    // This will panic or abort if we would allocate > isize::MAX bytes
    // or if the length increment would overflow for zero-sized types.
    if self.len == self.buf.capacity() {
        self.buf.reserve_for_push(self.len);
    }
    unsafe {
        let end = self.as_mut_ptr().add(self.len);
        ptr::write(end, value);
        self.len += 1;
    }
}

首先得明确一个核心前提：在安全的Rust代码里，自引用类型本身就是不被允许存在的。Rust的借用规则会死死拦住你——比如你没法在一个结构体里同时持有自身的可变引用和内部数据，编译器直接就报错了。所以这个问题其实更多是针对那些用unsafe手工构造的自引用类型来说的。

那回到问题本身：当你把一个自引用类型的实例传给push后，怎么保证ptr::write之后end指针指向的位置是有效的对象？

咱们拆解来看：

• 首先，push开头的容量检查和扩容逻辑，已经确保了end指针指向的是Vec分配好的、未初始化的内存区域，这部分是Vec自己管理的，不存在越界或非法内存的问题。
• 然后看ptr::write这个操作：它的作用是把传入的value直接写入到指定的原始指针位置，不会调用目标位置的析构函数（因为目标位置本来就是未初始化的），但它要求传入的value本身是一个合法有效的T实例。

这里的关键点在于：
如果你的自引用类型是用unsafe构造的，那你必须保证这个value在被移动到Vec的内存后，它的自引用仍然有效。举两个典型例子：

• 要是你的自引用是用相对偏移量实现的（比如记录的是内部字段相对于结构体起始地址的偏移，而不是绝对指针），那移动到新的内存位置后，偏移量还是有效的，这个实例自然也是合法的。
• 但如果你的自引用是绝对指针（比如直接指向原来的栈地址或者旧的堆地址），那当ptr::write把实例移动到Vec的内存后，这个指针就指向了错误的位置，此时这个实例就变成无效的了——而Vec后续的任何操作（比如drop、访问元素）都会触发未定义行为。

换句话说，Vec::push的unsafe块本身是安全的，它只负责把一个有效的T实例写入到正确的内存位置，并标记为已初始化。而保证自引用类型移动后仍然有效的责任，完全在创建这个自引用实例的人身上——这也是为什么Rust安全代码不允许自引用类型的原因：移动会破坏它们的不变量，而编译器没法帮你检查这一点。

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