当 T 没有实现 Clone 时，为什么不能为通用 Option<T> 克隆 None ？

Question

给定一个具有泛型的结构，Option<T>其中T可能无法实现Clone为什么不能None被克隆？aNone的类型T和其他的不一样None吗？例如：

struct Foo<T> {
    bar: Vec<Option<T>>,
}

impl <T> Foo<T> {
    fn blank(size: usize) -> Foo<T> {
        Foo {
            bar: vec![None; size],
        }
    }
}

Answer 1

由于其他答案正确地指出了 ouf，这是由于vec!-macro 的实现方式。您可以手动创建Vec的任何Option<T>不要求T是Clone：

let bar = std::iter::repeat_with(|| Option::<T>::None).take(size).collect::<Vec<_>>();

这将创建size-number ofOption::<T>::None并将它们放在 a 中Vec，该 a 将预先分配到适当的大小。这适用于任何T.

Answer 2

Nonea of 类型T与其他类型不一样吗None？

当然不！与基于引用的语言不同，其中 null 通常在内部表示为空指针（地址为 0 的指针），RustOption<T>不引入间接寻址，并且T当选项为 时，内联存储Some。由于所有枚举变体都具有枚举的类型，因此具有相同的大小，因此None变体仍然必须至少占据与 一样多的空间T。

话虽如此，从技术上讲，该None值可以被克隆，而T不仅仅是Clone因为None枚举的变体不包含T，它只存储鉴别器并保留如果变体更改为 则可以包含的空间。但由于 Rust 枚举变体不是单独的类型，因此为枚举定义的特征边界必须涵盖所有变体。TSome

请参阅其他答案，了解如何创建None不可克隆的值向量的更详细的解释和说明Option。