rust - 为克隆的东西派生克隆？

Question

此代码（也在播放中）

use std::sync::Arc;

struct Foo {
    x: isize, // Something complex in actual code, implements Drop
}

#[derive(Clone)]
struct Good {
    a: Option<Arc<Foo>>,
    b: Option<Arc<Foo>>,
    c: Option<Arc<Foo>>,
}

#[derive(Clone)]
struct Bad {
    x: [Option<Arc<Foo>>; 3],
}

fn main() {
    println!("See?");
}

失败Bad了

<anon>:16:5: 16:29 error: the trait `core::marker::Copy` is not implemented for the type `alloc::arc::Arc<Foo>` [E0277]
<anon>:16     x: [Option<Arc<Foo>>; 3],
              ^~~~~~~~~~~~~~~~~~~~~~~~
<anon>:14:10: 14:15 note: in expansion of #[derive_Clone]

但它没有问题Good。

• 这是为什么，
• 有什么解决方法吗？我并不热衷于处理 12 个独立的字段。

Answer 1

问题在于trait的实现Clone：

impl<T> Clone for [T; 4] where T: Copy

这就产生了一个真正的问题：为什么我们需要Copy克隆一个数组？该实现说：

fn clone(&self) -> [T; $N] {
    *self
}

因此，目前，数组的克隆只是源数组的逐位副本。更深层次的原因可能来自更有知识的人。