Rust 指针与向量的尊重

Question

我不明白为什么println是*p1.offset（0）给我0。有什么想法吗？

fn main() {
        let p1 : *const u8 = vec![17u8,2u8].as_ptr();
        let p2 : *const u8 = "123".as_ptr();
        
        unsafe{
        println!("{}", *p1.offset(0) as u8);//should get 17, but I get 0
        println!("{}", *p2.offset(0) as char);
        }
}

这是游乐场的链接。https://play.rust-lang.org/?version=stable

Answer 1

这是一个工作版本。

fn main() {
        let data = vec![17u8,2u8];
        let p1 : *const u8 = data.as_ptr();
        let p2 : *const u8 = "123".as_ptr();
        
        unsafe{
        println!("{}", *p1.offset(0) as u8); // not get 17 instead of 0
        println!("{}", *p2.offset(0) as char);
        }
}

我不知道为什么需要提取向量来分离变量

Answer 2

指针并不拥有它们所指向的对象，所以当你这样做时:

let p1 : *const u8 = vec![17u8,2u8].as_ptr();

发生的事件顺序是：

• 构建了一个Vec，在堆上分配了一个缓冲区
• 调用as_ptr（），返回指向缓冲区的指针。
• Vec被丢弃，因为没有任何东西拥有它，因此缓冲区被释放。
• 稍后取消对指针的引用时，将调用未定义的行为

第二种情况工作正常：

let p2 : *const u8 = "123".as_ptr();

因为“123”是字符串文本，而字符串文本具有“静态生存期 ” - 它们的持续时间与程序本身一样长。