为什么文字值在放入堆之前从只读内存复制到堆栈？

Question

当我尝试使用Rust时,我注意到如果从文字中创建一个盒装数组Box::new,则会从只读内存中额外复制到堆栈.为什么Rust编译器不能直接从只读内存复制到堆上分配的空间？

Rust代码的片段:

fn main() {
    let v: Box<[u32]> = Box::new([1u32,2,3456,4,5,6]);
    println!("vector {}", v.len());
}

适当的汇编片段:

00000000000049d4         mov        rax, qword [ds:0x39ad0]
00000000000049db         mov        qword [ss:rsp+arg_F8], rax
00000000000049e3         movaps     xmm0, xmmword [ds:const1050]
00000000000049ea         movaps     xmmword [ss:rsp+arg_E8], xmm0
00000000000049f2         mov        ecx, 0x18
00000000000049f7         mov        edi, ecx                                    ; argument #1 for method _ZN4heap15exchange_malloc20h356508549306a536JeaE
00000000000049f9         mov        ecx, 0x4
00000000000049fe         mov        esi, ecx                                    ; argument #2 for method _ZN4heap15exchange_malloc20h356508549306a536JeaE
0000000000004a00         call       _ZN4heap15exchange_malloc20h356508549306a536JeaE ; heap::exchange_malloc::h356508549306a536Jea
0000000000004a05         mov        rsi, qword [ss:rsp+arg_F8]
0000000000004a0d         mov        qword [ds:rax+0x10], rsi
0000000000004a11         movaps     xmm0, xmmword [ss:rsp+arg_E8]
0000000000004a19         movups     xmmword [ds:rax], xmm0

阵列驻留在0x39ad0与const1050在二进制:

0000000000039ac8         db  0x80 ; '.'
0000000000039ac9         db  0x0d ; '.'
0000000000039aca         db  0x00 ; '.'
0000000000039acb         db  0x00 ; '.'
0000000000039acc         db  0x04 ; '.'
0000000000039acd         db  0x00 ; '.'
0000000000039ace         db  0x00 ; '.'
0000000000039acf         db  0x00 ; '.'
0000000000039ad0         dq  0x0000000600000005                          ; XREF=_ZN4main20h90e2c514439f0097eaaE+52

Answer 1

你的发现是正确的; 这是一个Box::new()常规功能的结果.

将值直接放在堆上的正确方法是使用placement操作符; 但是,目前在Rust中没有这样的东西,但有两个RFC,这个(已接受)和这个(待定,但似乎很可能被接受).此外,如果您每晚使用Rust,则可以使用不稳定的box语法:

let v: Box<[u32]> = box [1u32,2,3456,4,5,6];