Rust 带引脚和不带引脚的比较功能

发布于08月17日

我正在努力理解《铁 rust https://doc.rust-lang.org/std/pin/》中的Pin.

大意是明确的一百零二

我正在为Box写一个带Pin和不带Pin的函数.我得到了完全相同的结果.如何更改代码才能看到Pin的效果？

use std::fmt::{self, Debug};
use std::pin::Pin;

fn foo_pin<T: Debug>(s: Pin<Box<T>>) {
    let copys = s;
    println!("Hi from Box: {:?}", copys); 
    //println!("Hi from Box: {:?}", s); // ERROR borrow of moved value: `s`
}

fn foo<T: Debug>(s: Box<T>) {
    let copys = s;
    println!("Hi from Box: {:?}", copys); 
    //println!("Hi from Box: {:?}", s); // ERROR borrow of moved value: `s`
}

fn main() {
    // i32
    let b = Box::new(1);
    foo_pin(Pin::new(b));

    let b2 = Box::new(2);
    foo(b2);

    /*
    // &str
    let b = Box::new("abc");
    foo_pin(Pin::new(b));

    let b2 = Box::new("123");
    foo(b2);
    */
}

推荐答案

不是指针不能移动，而是它指向的数据.

例如:

fn foo_pin<T: Debug + Default>(mut s: Pin<Box<T>>) {
    let data_inside: T = std::mem::take(&mut *s); // Can't make this work.
    println!("Hi from Box: {:?}", data_inside);
}

fn foo<T: Debug + Default>(mut s: Box<T>) {
    let data_inside: T = std::mem::take(&mut *s); // Can move the data.
    println!("Hi from Box: {:?}", data_inside);
}

但是，请注意，固定约定仅适用于不实现Unpin的类型，因此不适用于i32或&str之类的类型.但是，这些函数是泛型的，不需要Unpin，因此这仍然证明了这一 idea .如果我们需要Unpin，这是可行的:

fn foo_pin<T: Debug + Default + std::marker::Unpin>(mut s: Pin<Box<T>>) {
    let data_inside: T = std::mem::take(&mut *s); // +Works
    println!("Hi from Box: {:?}", data_inside);
}