在Rust中将模板约束为Copy

eqqqjvef 于 2023-04-21 发布在其他

关注(0)|答案(1)|浏览(118)

std::mem::replace的Rust文档引用了以下无法编译的代码示例。

struct Buffer<T> { buf: Vec<T> }

impl<T> Buffer<T> {
    fn replace_index(&mut self, i: usize, v: T) -> T {
        // error: cannot move out of dereference of `&mut`-pointer
        let t = self.buf[i];
        self.buf[i] = v;
        t
    }
}

https://doc.rust-lang.org/std/mem/fn.replace.html
有没有可能约束模板类型参数T，使我们强制T是可复制的，从而使此代码法律的？

rust

来源：https://stackoverflow.com/questions/76068380/constraining-a-template-to-be-copy-in-rust

1条答案

按热度按时间

h43kikqp1#

你试过这样做吗？你可以像下面这样指定类型参数。

#[derive(Debug)]
struct Buffer<T: Copy> { buf: Vec<T> }

impl<T: Copy> Buffer<T> {
    fn replace_index(&mut self, i: usize, v: T) -> T {
        let t = self.buf[i];
        self.buf[i] = v;
        t
    }
}

然后，你可以写一段这样的代码：

fn main() {
    let mut buf = Buffer::<u8> { buf: vec![1,2,3,4,5] };
    
    println!("before: {:?}", buf);
    
    buf.replace_index(0, 10);

    println!("after: {:?}", buf);
}

上面代码的输出是：

before: Buffer { buf: [1, 2, 3, 4, 5] }
after: Buffer { buf: [10, 2, 3, 4, 5] }

赞(0）回复(0）举报 2023-04-21

我来回答

在Rust中将模板约束为Copy

1条答案

相关问题

热门标签

最新问答