KaiserY · 更新于 2018-11-28 11:00:43

语言项

lang-items.md
commit 464cdff102993ff1900eebbf65209e0a3c0be0d5

注意:语言项通常由Rust发行版的 crate 提供,并且它自身有一个不稳定的接口。建议使用官方发布的 crate 而不是定义自己的版本。

rustc编译器有一些可插入的操作,也就是说,功能不是硬编码进语言的,而是在库中实现的,通过一个特殊的标记告诉编译器它存在。这个标记是#[lang="..."]属性并且有不同的值...,也就是不同的“语言项”。

例如,Box指针需要两个语言项,一个用于分配,一个用于释放。下面是一个独立的程序使用Box语法糖进行动态分配,通过mallocfree

#![feature(lang_items, box_syntax, start, libc)]
#![no_std]

extern crate libc;

extern {
    fn abort() -> !;
}

#[lang = "owned_box"]
pub struct Box<T>(*mut T);

#[lang = "exchange_malloc"]
unsafe fn allocate(size: usize, _align: usize) -> *mut u8 {
    let p = libc::malloc(size as libc::size_t) as *mut u8;

    // malloc failed
    if p as usize == 0 {
        abort();
    }

    p
}
#[lang = "exchange_free"]
unsafe fn deallocate(ptr: *mut u8, _size: usize, _align: usize) {
    libc::free(ptr as *mut libc::c_void)
}

#[start]
fn main(argc: isize, argv: *const *const u8) -> isize {
    let x = box 1;

    0
}

#[lang = "eh_personality"] extern fn eh_personality() {}
#[lang = "panic_fmt"] fn panic_fmt() -> ! { loop {} }
# #[lang = "eh_unwind_resume"] extern fn rust_eh_unwind_resume() {}
# #[no_mangle] pub extern fn rust_eh_register_frames () {}
# #[no_mangle] pub extern fn rust_eh_unregister_frames () {}

注意abort的使用:exchange_malloc语言项假设返回一个有效的指针,所以需要在内部进行检查。

其它语言项提供的功能包括:

  • 通过特性重载运算符:==<,解引用(*)和+等运算符对应的特性都有语言项标记;上面4个分别为eqordderefadd
  • 栈展开和一般故障:eh_personalityfailfail_bounds_checks语言项
  • std::marker中用来标明不同类型的特性:sendsynccopy
  • std::marker中的标记类型和变化指示器:covariant_typecontravariant_lifetime

语言项由编译器延时加载;例如,如果你从未用过Box则就没有必要定义exchange_mallocexchange_free的函数。rustc在一个项被需要而无法在当前包装箱或任何依赖中找到时生成一个错误。

上一篇: 固有功能 下一篇: 链接进阶