我试图写一个像Vec
这样的具有固定大小的对象,以便在堆栈上使用。
这是我正在尝试完成Assignment 1, Phase 2A的在线类(class)的一部分。
我在实现IntoIterator
特征时遇到问题。StructVec
的代码
#![no_std]
pub struct StackVec<'a, T: 'a> {
storage: &'a mut [T],
len: usize
}
impl<'a, T: 'a> StackVec<'a, T> {
pub fn new(storage: &'a mut [T]) -> StackVec<'a, T> {
StackVec { storage, len: 0 }
}
pub fn with_len(storage: &'a mut [T], len: usize) -> StackVec<'a, T> {
StackVec { storage, len }
}
pub fn capacity(&self) -> usize {
self.storage.len()
}
pub fn truncate(&mut self, len: usize) {
if len < self.len {
self.len = len;
}
}
pub fn into_slice(self) -> &'a mut [T] {
&mut self.storage[..self.len]
}
pub fn as_slice(&self) -> &[T] {
&self.storage[..self.len]
}
pub fn as_mut_slice(&mut self) -> &mut [T] {
&mut self.storage[..self.len]
}
pub fn len(&self) -> usize {
self.len
}
pub fn is_empty(&self) -> bool {
self.len == 0
}
pub fn is_full(&self) -> bool {
self.len == self.storage.len()
}
pub fn push(&mut self, value: T) -> Result<(), ()> {
if self.is_full() {
return Err(());
}
self.storage[self.len] = value;
self.len += 1;
Ok(())
}
}
我能够通过返回基础数组的迭代器来实现
IntoIterator
特性:impl<'a, T: 'a> IntoIterator for StackVec<'a, T> {
type Item = &'a mut T;
type IntoIter = core::slice::IterMut<'a, T>;
fn into_iter(self) -> Self::IntoIter {
self.storage.into_iter()
}
}
但是,这并不是我真正想要的,因为它会遍历整个数组,而不仅仅是遍历放入数组中的项。
我试过从基础数组的数组切片返回迭代器,但是我被生命周期困住了:
impl<'a, T: 'a> IntoIterator for StackVec<'a, T> {
type Item = &'a T;
type IntoIter = core::slice::Iter<'a, T>;
fn into_iter(self) -> Self::IntoIter {
self.as_slice().into_iter()
}
}
无法编译错误
error[E0597]: `self` does not live long enough
--> src/lib.rs:165:9
|
165 | self.as_slice().into_iter()
| ^^^^ borrowed value does not live long enough
166 | }
| - borrowed value only lives until here
|
note: borrowed value must be valid for the lifetime 'a as defined on the impl at 160:1...
--> src/lib.rs:160:1
|
160 | / impl<'a, T: 'a> IntoIterator for StackVec<'a, T> {
161 | | type Item = &'a T;
162 | | type IntoIter = core::slice::Iter<'a, T>;
163 | |
... |
166 | | }
167 | | }
| |_^
我也尝试过完全创建一个新的
Iterator
,但是我又被发现了!struct Iter<'a, T: 'a> {
stack_vec: StackVec<'a, T>,
start: usize,
}
impl<'a, T: 'a> Iterator for Iter<'a, T> {
type Item = T;
fn next(&mut self) -> Option<Self::Item> {
let start = self.start;
if start < self.stack_vec.len {
self.start += 1;
Some(self.stack_vec[start])
} else {
None
}
}
fn size_hint(&self) -> (usize, Option<usize>) {
let size = self.stack_vec.len - self.start;
(size, Some(size))
}
}
无法编译并显示以下错误:
error[E0508]: cannot move out of type `[T]`, a non-copy slice
--> src/lib.rs:148:18
|
148 | Some(self.stack_vec[start])
| ^^^^^^^^^^^^^^^^^^^^^ cannot move out of here
我尝试查看做同样事情的 crate ,但它们要么使用了我无法用于此分配的
std
库,要么不了解如何将其代码移植到我的库中。https://github.com/bluss/arrayvec
https://github.com/danielhenrymantilla/stackvec-rs/blob/master/src/stackvec/traits/into_iter.rs
我究竟做错了什么?
最佳答案
作为您原始想法的相当简单的扩展,您可以使用take
方法来限制迭代器可以返回的元素数量。这将使您的IntoIterator
实现变成:
impl<'a, T: 'a> IntoIterator for StackVec<'a, T> {
type Item = &'a mut T;
type IntoIter = std::iter::Take<core::slice::IterMut<'a, T>>;
fn into_iter(self) -> Self::IntoIter {
self.storage.into_iter().take(self.len)
}
}
您在尝试实现
IntoIterator
的其他尝试中遇到了问题,因为into_iter
方法获得了self
的所有权。这意味着一旦函数退出,您需要确保已从self
中移走或复制了要在迭代器中使用的所有对象。由于as_slice
仅借用,因此您无法从函数中将迭代器返回给切片(借用的数据将被丢弃)。impl<'a, T: 'a> IntoIterator for StackVec<'a, T> {
type Item = &'a T;
type IntoIter = core::slice::Iter<'a, T>;
fn into_iter(self) -> Self::IntoIter {
// ^ no & or &mut here means this function takes ownership of self
self.as_slice().into_iter()
}
}
您仍然可以为
StackVec
结构创建一个非所有者的迭代器,但是您不会使用IntoIterator
进行此操作。相反,只需在您的结构上创建一个名为iter
的方法:pub fn iter(&self) -> impl Iterator<Item=&T> {
self.storage.iter().take(self.len)
}
关于rust - 如何在StackVec上实现IntoIterator,我们在Stack Overflow上找到一个类似的问题:https://stackoverflow.com/questions/58358439/