rust - 我可以在操作系统开发中使用 Rust 而不是 C++吗

Question

我想知道 Rust 编译代码中是否包含操作系统相关代码。(不是在谈论打印之类的东西)

例如

let x  = (4i,2i,3i)
let y  = (3i,4i,4i)

现在，如果比较 x == y 是否使用了它的一些库，如果是，则取决于平台。

已编辑:就像在 C++ 中一样，我们不应该使用 new、try catch 或任何标准库。在 Rust 中编写时应该避免哪些事情。

Answer 1

您可以看到 Rust 编译器将为您自己生成的代码片段，甚至无需在本地安装 Rust。

只需访问基于网络的 playpen，然后在其中输入您的代码段。您可以运行该程序(从而通过 print 语句观察它做了什么)，或者，在这种情况下更有用的是，您可以将程序编译成生成的程序集，然后检查它是否调用了底层系统例程。

如果您转到此链接:http://is.gd/Be6YVJ我已经把这样的程序放到了婴儿围栏里。 (有关实际程序文本，请参阅本文底部。)

如果您点击 asm 按钮，您就可以看到每个例程的程序集。 (我已将 inline(never) 属性添加到相关函数，以确保它们不会被编译器优化掉。)

下面是为 bar 生成的程序集，该函数调用高阶函数以获取一对三元组，然后比较它们是否相等:

    .section    .text._ZN3bar20h2bb2fd5b9c9e987beaaE,"ax",@progbits
    .align  16, 0x90
    .type   _ZN3bar20h2bb2fd5b9c9e987beaaE,@function
_ZN3bar20h2bb2fd5b9c9e987beaaE:
    .cfi_startproc
    cmpq    %fs:112, %rsp
    ja  .LBB0_2
    movabsq $56, %r10
    movabsq $0, %r11
    callq   __morestack
    retq
.LBB0_2:
    subq    $56, %rsp
.Ltmp0:
    .cfi_def_cfa_offset 64
    movq    %rdi, %rax
    leaq    8(%rsp), %rdi
    callq   *%rax
    movq    8(%rsp), %rcx
    xorl    %eax, %eax
    cmpq    32(%rsp), %rcx
    jne .LBB0_5
    movq    40(%rsp), %rcx
    cmpq    %rcx, 16(%rsp)
    jne .LBB0_5
    movq    48(%rsp), %rax
    cmpq    %rax, 24(%rsp)
    sete    %al
.LBB0_5:
    addq    $56, %rsp
    retq
.Ltmp1:
    .size   _ZN3bar20h2bb2fd5b9c9e987beaaE, .Ltmp1-_ZN3bar20h2bb2fd5b9c9e987beaaE
    .cfi_endproc

所以你可以看到它唯一调用的是一个辅助例程，__morestack，它检查堆栈溢出(或分配更多堆栈，在支持分段堆栈的系统中)。 (因此对于这样的示例，这是您需要自己提供的唯一核心功能；请注意，您可以让它停止内核。)

这是我放入游戏围栏的程序:

#[inline(never)]
fn bar(f: fn() -> ((int, int, int), (int, int, int))) -> bool {
    let (x, y) = f();
    x == y
}

#[inline(never)]
fn foo_1() -> ((int,int,int), (int,int,int)) {
    let x  = (4i,2i,3i);
    let y  = (3i,4i,4i);
    (x, y)
}

#[inline(never)]
fn foo_2() -> ((int,int,int), (int,int,int)) {
    let x  = (4i,2i,3i);
    (x, x)
}

fn main() {
    println!("bar(foo_1): {}", bar(foo_1));
    println!("bar(foo_2): {}", bar(foo_2));
}