应用程序二进制接口(ABI)

abi.md.md
commit: e773318a837092d7b5276bbeaf9fda06cca61cee
本章译文最后维护日期:2021-1-16

本节介绍影响 crate 编译输出的 ABI 的各种特性。

有关为导出函数(exporting functions)指定 ABI 的信息,请参阅(外部函数)extern functions。参阅(外部块)external blocks了解关于指定 ABI 来链接外部库的信息。

used属性

used属性只能用在静态(static)项上。此属性强制编译器将该变量保留在输出对象文件中(.o、.rlib 等,不包括最终的二进制文件),即使该变量没有被 crate 中的任何其他项使用或引用。注意,链接器(linker)仍有权移除此类变量。

下面的示例显示了编译器在什么条件下在输出对象文件中保留静态(static)项。

#![allow(unused)]
fn main() {
// foo.rs

// 将保留,因为 `#[used]`:
#[used]
static FOO: u32 = 0;

// 可移除,因为没实际使用:
#[allow(dead_code)]
static BAR: u32 = 0;

// 将保留,因为这个是公有的:
pub static BAZ: u32 = 0;

// 将保留,因为这个被可达公有函数引用:
static QUUX: u32 = 0;

pub fn quux() -> &'static u32 {
    &QUUX
}

// 可移除,因为被私有且未被使用的函数引用:
static CORGE: u32 = 0;

#[allow(dead_code)]
fn corge() -> &'static u32 {
    &CORGE
}
}
$ rustc -O --emit=obj --crate-type=rlib foo.rs

$ nm -C foo.o
0000000000000000 R foo::BAZ
0000000000000000 r foo::FOO
0000000000000000 R foo::QUUX
0000000000000000 T foo::quux

no_mangle属性

可以在任何程序项上使用 no_mangle属性来禁用标准名称符号名混淆(standard symbol name mangling)。禁用此功能后,此程序项的导出符号(symbol)名将直接是此程序项的原来的名称标识符。

此外,就跟used属性一样,此属性修饰的程序项也将从生成的库或对象文件中公开导出。

link_section属性指定了输出对象文件中函数静态项的内容将被放置到的节点位置。它使用 MetaNameValueStr元项属性句法指定节点名称。

#![allow(unused)]
fn main() {
#[no_mangle]
#[link_section = ".example_section"]
pub static VAR1: u32 = 1;
}

export_name属性

export_name属性指定将在函数静态项上导出的符号的名称。它使用 MetaNameValueStr元项属性句法指定符号名。

#![allow(unused)]
fn main() {
#[export_name = "exported_symbol_name"]
pub fn name_in_rust() { }
}