rust - 为什么 AtomicPtr 不允许动态大小的类型？

Question

我想创建一个 AtomicPtr一片，但我惊讶地发现我不能。

struct MyObject {
    ptr: AtomicPtr<[u32]>
}

产生错误:

error[E0277]: the size for values of type `[u32]` cannot be known at compilation time
 --> src/lib.rs:4:5
  |
4 |     ptr: AtomicPtr<[u32]>
  |     ^^^^^^^^^^^^^^^^^^^^^ doesn't have a size known at compile-time
  |
  = help: the trait `std::marker::Sized` is not implemented for `[u32]`
  = note: to learn more, visit <https://doc.rust-lang.org/book/ch19-04-advanced-types.html#dynamically-sized-types-and-the-sized-trait>
  = note: required by `std::sync::atomic::AtomicPtr`

在 Rust Playground 上查看

我个人不明白为什么会这样，但我可能会遗漏一些东西。有这个限制的原因吗？是否有实现相同功能的解决方法？

Answer 1

AtomicPtr<T>是故意的仅适用于 T: Sized因为在 rust
切片和特征对象是胖指针(大小是普通指针的两倍)。

实际上不可能有T: ?Sized因为这妨碍了原子操作的保证
对于某些平台，例如 ARM。

见 here更多细节。