注意:lang 项目一般是由 Rust 发布的封装提供的,lang 项目本身具有不稳定的接口。最好使用官方发布的封装,不要使用自己编写的 lang 项目。
rustc
编译器具有可插拔的操作功能,它并不是硬编码成语言的,而是被以库的形式实现,并且以特殊标记来告知编译器它的存在。这个标记就是 #[lang = "..."]
,并且有多种多样的值,多种多样的 lang 项目。
例如,Box
指针需要两个 lang 项目,一个是分配,一个是回收。一个使用 Box
的独立程序可以通过 malloc
和 free
来动态的管理内存分配。
#![feature(lang_items, box_syntax, start, no_std, 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 = "stack_exhausted"] extern fn stack_exhausted() {}
#[lang = "eh_personality"] extern fn eh_personality() {}
#[lang = "panic_fmt"] fn panic_fmt() -> ! { loop {} }
注意 abort
的使用:exchange_malloc
lang 项目可以被认为是返回一个有效的指针,且需要内部的检查。
其他的由 lang 项目提供的功能包括: