generics - [T; 之间有什么区别？ N] 和 U 如果 U 总是设置为 [T; N]？

Question

我正在尝试实现 IntoIterator对于 [T; N] .我使用 Default 编写了一个完全安全的版本和 swap (PlayPen)。然后我将它移植到使用 uninitialized , ptr::copy , Drop和 forget (PlayPen)。 我的迭代器结构如下所示:

struct IntoIter<T> {
    inner: Option<[T; N]>,
    i: usize,
}
impl<T> Iterator for IntoIter<T> { ... }

因为我不想为每个 N 的值创建一个 Iterator 结构，我将结构更改为

struct IntoIter<U> {
    inner: Option<U>,
    i: usize,
}
impl<T> Iterator for IntoIter<[T; N]> { ... }

显然我必须调整 Iterator和 Drop实现(PlayPen)。

但现在我以某种方式引入了未定义的行为。 panic 是否发生取决于println s，优化级别或黄道带标志。

thread '<main>' panicked at 'index out of bounds: the len is 5 but the index is 139924442675478', <anon>:25
thread '<main>' panicked at 'index out of bounds: the len is 5 but the index is 140451355506257', <anon>:25
application terminated abnormally with signal 4 (Illegal instruction)

---

要么我的第二个实现已经表现出未定义的行为，要么第二个和第三个实现之间存在差异。查看生成的(未优化的)LLVM-IR，我发现唯一的根本区别发生在以 [[Box<i32>; 5]; 5] 结尾的第三个版本中。类型。我可以看到我可能会不小心创建这样一个类型，但我专门检查了第三个版本是否有这样的错误，但找不到。

Answer 1

我相信您遇到了 #[unsafe_destructor] 的一些错误。我将您的代码缩减为:

#![feature(unsafe_destructor)]

struct IntoIter<U> {
    inner: Option<U>,
}

impl<T> Iterator for IntoIter<[T; 8]> {
    type Item = T;
    fn next(&mut self) -> Option<T> { None }
}

#[unsafe_destructor]
impl<T> Drop for IntoIter<[T; 8]> {
    fn drop(&mut self) {
        // destroy the remaining elements
        for _ in self.by_ref() {}

        unsafe { std::intrinsics::forget(self.inner.take()) }
    }
}

fn main() {
    let arr = [1; 8];
    IntoIter { inner: Some(arr) };
}

然后我编译 (rustc -g unsafe.rs) 并在 rust-lldb 中运行它。我在 drop 实现上设置了一个断点并打印出 self:

(lldb) p self
(unsafe::IntoIter<[[i32; 8]; 8]> *) $0 = &0x7fff5fbff568

你可以看到它认为类型参数是数组的数组，就像你注意到的那样。在这一点上，如果我们真的放弃了，我们就会把内存扔掉。我相信 Rust 仍然会在删除时将内存清零，因此我们可能会在任意内存块上写零。

好的措施:

rustc --verbose --version
rustc 1.0.0-dev (cfea8ec41 2015-03-10) (built 2015-03-10)
binary: rustc
commit-hash: cfea8ec41699e25c8fb524d625190f0cb860dc71
commit-date: 2015-03-10
build-date: 2015-03-10
host: x86_64-apple-darwin
release: 1.0.0-dev