Rust如何处理结构作为函数参数和返回值？

Question

我有一些C的经验,但我是Rust的新手.当我将结构传递给函数并从函数返回结构时,会发生什么？它似乎不"复制"结构,但如果没有复制,结构在哪里创建？它是在外部函数的堆栈中吗？

struct Point {
    x: i32,
    y: i32,
}

// I know it's better to pass in a reference here, 
// but I just want to clarify the point.
fn copy_struct(p: Point) { 
    // Is this return value created in the outer stack 
    // so it won't be cleaned up while exiting this function?  
    Point {.. p} 
}

fn test() {
    let p1 = Point { x: 1, y: 2 };
    // Will p1 be copied or does copy_struct 
    // just use a reference of the one created on the outer stack?
    let p2 = copy_struct(p1); 
}

Answer 1

很长一段时间C程序员最近也和Rust一起玩,我知道你来自哪里.对我来说,重要的是要理解在Rust值vs引用是关于所有权,并且编译器可以调整调用约定以优化移动语义.

因此,您可以在不在堆栈上复制的情况下传递值,但这会将所有权移动到被调用函数.它仍然在调用函数堆栈框架中,并且从C ABI角度来看它传递指针,但编译器强制执行该值在返回时永远不会再次使用.

还有返回值优化,其中调用函数分配空间并将指针传递给调用者,调用者可以直接在那里填写返回值.这是C程序员用来手动处理的事情.

因此,所有权规则和借用检查器的安全性,加上缺乏固定的保证ABI /调用约定,允许编译器生成有效的呼叫站点.通常你更担心所有权和生命周期,然后需要尝试并且聪明地调用函数调用堆栈行为.