# 語言項
> [lang-items.md](https://github.com/rust-lang/rust/blob/master/src/doc/book/lang-items.md)
commit 464cdff102993ff1900eebbf65209e0a3c0be0d5
> **注意**:語言項通常由Rust發行版的 crate 提供,并且它自身有一個不穩定的接口。建議使用官方發布的 crate 而不是定義自己的版本。
`rustc`編譯器有一些可插入的操作,也就是說,功能不是硬編碼進語言的,而是在庫中實現的,通過一個特殊的標記告訴編譯器它存在。這個標記是`#[lang="..."]`屬性并且有不同的值`...`,也就是不同的“語言項”。
例如,`Box`指針需要兩個語言項,一個用于分配,一個用于釋放。下面是一個獨立的程序使用`Box`語法糖進行動態分配,通過`malloc`和`free`:
~~~
#![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個分別為`eq`,`ord`,`deref`和`add`
- 棧展開和一般故障:`eh_personality`,`fail`和`fail_bounds_checks`語言項
- `std::marker`中用來標明不同類型的特性:`send`,`sync`和`copy`。
- `std::marker`中的標記類型和變化指示器:`covariant_type`和`contravariant_lifetime`等
語言項由編譯器延時加載;例如,如果你從未用過`Box`則就沒有必要定義`exchange_malloc`和`exchange_free`的函數。`rustc`在一個項被需要而無法在當前包裝箱或任何依賴中找到時生成一個錯誤。
- 前言
- 貢獻者
- 1.介紹
- 2.準備
- 3.學習 Rust
- 3.1.猜猜看
- 3.2.哲學家就餐問題
- 3.3.其它語言中的 Rust
- 4.語法和語義
- 4.1.變量綁定
- 4.2.函數
- 4.3.原生類型
- 4.4.注釋
- 4.5.If語句
- 4.6.循環
- 4.7.所有權
- 4.8.引用和借用
- 4.9.生命周期
- 4.10.可變性
- 4.11.結構體
- 4.12.枚舉
- 4.13.匹配
- 4.14.模式
- 4.15.方法語法
- 4.16.Vectors
- 4.17.字符串
- 4.18.泛型
- 4.19.Traits
- 4.20.Drop
- 4.21.if let
- 4.22.trait 對象
- 4.23.閉包
- 4.24.通用函數調用語法
- 4.25.crate 和模塊
- 4.26.const和static
- 4.27.屬性
- 4.28.type別名
- 4.29.類型轉換
- 4.30.關聯類型
- 4.31.不定長類型
- 4.32.運算符和重載
- 4.33.Deref強制多態
- 4.34.宏
- 4.35.裸指針
- 4.36.不安全代碼
- 5.高效 Rust
- 5.1.棧和堆
- 5.2.測試
- 5.3.條件編譯
- 5.4.文檔
- 5.5.迭代器
- 5.6.并發
- 5.7.錯誤處理
- 5.8.選擇你的保證
- 5.9.外部函數接口
- 5.10.Borrow 和 AsRef
- 5.11.發布途徑
- 5.12.不使用標準庫
- 6.Rust 開發版
- 6.1.編譯器插件
- 6.2.內聯匯編
- 6.4.固有功能
- 6.5.語言項
- 6.6.鏈接進階
- 6.7.基準測試
- 6.8.裝箱語法和模式
- 6.9.切片模式
- 6.10.關聯常量
- 6.11.自定義內存分配器
- 7.詞匯表
- 8.語法索引
- 9.參考文獻
- 附錄:名詞中英文對照