rust - 为什么使用rust 使用rsi将参数传递给fn指针

Question

Closed. This question needs details or clarity。它当前不接受答案。












想要改善这个问题吗？添加详细信息，并通过 editing this post来解决问题。

在8个月前关闭。



Improve this question




对于普通功能，rust的行为与x86-64 abi相同，后者通过参数使用以rdi开头的寄存器进行传递，但是对于fn指针rust使用rsi，那么为什么rustc选择这样做？
以这个为例

fn foo(f: fn(u64)) {
    f(10);
}

fn main() {
    foo(|i| {
        i + 1;
    });
}

闭包被编译为

playground::main::{{closure}}:
    sub rsp, 24
    mov qword ptr [rsp + 8], rdi
    mov qword ptr [rsp + 16], rsi
    add rsi, 1
    setb    al
    test    al, 1
    jne .LBB11_2
    add rsp, 24
    ret

它在正常函数 foo编译为

playground::foo:
    sub rsp, 24
    mov qword ptr [rsp + 16], rdi
    mov eax, 10
    mov qword ptr [rsp + 8], rdi
    mov rdi, rax
    mov rax, qword ptr [rsp + 8]
    call    rax
    add rsp, 24
    ret

使用rdi并在 main中调用它是

    lea     rdi, [rip + core::ops::function::FnOnce::call_once]
    call    playground::foo

所以这是通过调用 core::ops::function::FnOnce::call_once完成的

core::ops::function::FnOnce::call_once:
    sub rsp, 40
    mov qword ptr [rsp + 16], rdi
    mov rsi, qword ptr [rsp + 16]
    lea rdi, [rsp + 8]
    call    playground::main::{{closure}}
    jmp .LBB4_1

.LBB4_1:
    jmp .LBB4_2

.LBB4_2:
    add rsp, 40
    ret

最佳答案

纯粹是推测，但闭包可能总是使用带有＆self的固有方法编译为结构，然后生成包装程序以将其转换为函数指针。这将允许固有方法也称为传递数据指针的特征对象。包装器的参数在rdi中传递，然后rdi分配堆栈空间以存储合成的零大小结构。然后，该包装程序在rdi中传递合成的结构，并在下一个参数槽rsi中传递参数。在优化的代码中，可以期望将固有方法内联到包装器中，并且可以消除与寄存器合成奇怪参数的怪异舞步。
简而言之，这是常规系统v的调用约定，但还有一个永远不会读取的额外隐式参数，因此所有实际参数都将从列表沿列表进一步移位一个寄存器。

关于rust - 为什么使用rust 使用rsi将参数传递给fn指针，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/62980863/

上一篇：rust - 在非词句生存期内，何时引用是 'used'？

下一篇：c++ - Rust与C++ : Returning objects from functions

相关文章：

rust - 匹配语句中的 @ 是什么意思？

rust - 匹配表达式中 format!() 的生命周期太短

arrays - 有没有办法使用动态大小来copy_from_slice？

ios - SWIFT ABI 在哪里出现？

c++ - 为什么依赖的应用程序要使用与动态库相同的编译器？

rust - 为什么在返回 "match arms have incompatible types"的函数中出现 `impl Trait` 错误？

struct - Rust:即使使用了作用域，多次借用结构实例作为可变对象也会失败

linux - System V ABI的红区是如何实现的

c++ - 为什么 T* 可以在寄存器中传递，但 unique_ptr<T> 却不能？

rust - 在 FFI 中使用 ptr::NonNull 是否有效？

Answer 1

纯粹是推测，但闭包可能总是使用带有＆self的固有方法编译为结构，然后生成包装程序以将其转换为函数指针。这将允许固有方法也称为传递数据指针的特征对象。包装器的参数在rdi中传递，然后rdi分配堆栈空间以存储合成的零大小结构。然后，该包装程序在rdi中传递合成的结构，并在下一个参数槽rsi中传递参数。在优化的代码中，可以期望将固有方法内联到包装器中，并且可以消除与寄存器合成奇怪参数的怪异舞步。
简而言之，这是常规系统v的调用约定，但还有一个永远不会读取的额外隐式参数，因此所有实际参数都将从列表沿列表进一步移位一个寄存器。