Question

let vec1 = vec![1, 2, 3, 4];
let vec2 = vec![Box::new(1), Box::new(2), Box::new(3), Box::new(4)];

他们之间有什么区别？我已经在堆上分配了vec1。那么vec1的所有元素都不在堆上吗？为什么我需要像在vec2中那样在堆上单独分配它们？

Answer 1

我会画一张图。第一个值是指向堆上连续数字数组的指针。

(stack)    (heap)
┌──────┐   ┌───┐
│ vec1 │──→│ 1 │
└──────┘   ├───┤
           │ 2 │
           ├───┤
           │ 3 │
           ├───┤
           │ 4 │
           └───┘

第二个版本增加了额外的间接性。元素仍然在堆上，但现在它们在堆上的其他地方。

(stack)    (heap)   ┌───┐
┌──────┐   ┌───┐ ┌─→│ 1 │
│ vec2 │──→│   │─┘  └───┘
└──────┘   ├───┤    ┌───┐
           │   │───→│ 2 │
           ├───┤    └───┘
           │   │─┐  ┌───┐
           ├───┤ └─→│ 3 │
           │   │─┐  └───┘
           └───┘ │  ┌───┐
                 └─→│ 4 │
                    └───┘

由于所有权在Rust中的运行方式，您不会遇到任何语义差异。额外的间接性会给你带来更糟的内存使用和缓存局部性。

Answer 2

vec![1, 2, 3, 4]是i32 s的向量。

vec![Box::new(1), Box::new(2), Box::new(3), Box::new(4)]是i32 s拥有指针的向量。 Rust拥有的指针类似于C ++的unique_ptr。

Vec <i32>和Vec <box <i32>＆gt;有什么区别？</box <i32> </i32>

2 个答案: