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

Question

我试图为 [T; N] 实施 IntoIterator。我使用 Default 和 swap (PlayPen). Then I ported it to use uninitialized, ptr::copy, Drop and forget (PlayPen) 编写了一个完全安全的版本。我的迭代器结构如下所示：

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

因为我不想为每个值 N 创建迭代器结构，所以我将结构更改为

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

显然我不得不调整 Iterator 和 Drop 实现 (PlayPen)。

但现在我以某种方式引入了未定义的行为。恐慌的发生与否取决于 printlns、优化级别或星座。

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) };
}

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

(lldb) p self
(unsafe::IntoIter<[[i32; 8]; 8]> *) [=11=] = &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

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

What is the difference between [T; N] and U if U is always set to [T; N]?

generics

undefined-behavior

rust