Lang 项目

注意：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 failedif 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 项目提供的功能包括：

• 基于特征的可重载操作符：操作符 ==, <, * 和 + 都被 lang 项目标记起来。这些特殊的操作符对应于eq,ord,deref 和add.

• 展开堆栈和一般性错误。eh_personality,fail 和fail_bounds_checks lang项目。

• std::marker 中的特点用于表示不同类型，lang 项目send,sync 和copy。

• std::marker中的标记类型和变量指示符，lang 项目有 covariant_type, contravariant_lifetime

lang 项目会被编译器以消极的方式加载。如果用户不使用 Box ，那么就不需要为exchange_malloc 和exchange_free定义函数。当以个lang 项目在当前代码中存在，那么rustc 就会发出错误提示。