> **注意**:語言項通常由Rust發行版的包裝箱提供,并且它自身有一個不穩定的接口。建議使用官方發布的包裝箱而不是定義自己的版本。
`rustc`編譯器有一些可插入的操作,也就是說,功能不是硬編碼進語言的,而是在庫中實現的,通過一個特殊的標記告訴編譯器它存在。這個標記是`#[lang="..."]`屬性并且有不同的值`...`,也就是不同的“語言項”。
例如,`Box`指針需要兩個語言項,一個用于分配,一個用于釋放。下面是一個獨立的程序使用`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`語言項假設返回一個有效的指針,所以需要在內部進行檢查。
其它語言項提供的功能包括:
* 通過特性重載運算符:`==`,`<`,解引用(`*`)和`+`等運算符對應的特性都有語言項標記;上面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.準備
- 2.1.安裝Rust
- 2.2.Hello, world!
- 2.3.Hello, Cargo!
- 3.學習Rust
- 3.1.猜猜看
- 3.2.哲學家就餐問題
- 3.3.其它語言中的Rust
- 4.高效Rust
- 4.1.棧和堆
- 4.2.測試
- 4.3.條件編譯
- 4.4.文檔
- 4.5.迭代器
- 4.6.并發
- 4.7.錯誤處理
- 4.8.外部語言接口
- 4.9.Borrow 和 AsRef
- 4.10.發布途徑
- 5.語法和語義
- 5.1.變量綁定
- 5.2.函數
- 5.3.原生類型
- 5.4.注釋
- 5.5.If語句
- 5.6.for循環
- 5.7.while循環
- 5.8.所有權
- 5.9.引用和借用
- 5.10.生命周期
- 5.11.可變性
- 5.12.結構體
- 5.13.枚舉
- 5.14.匹配
- 5.15.模式
- 5.16.方法語法
- 5.17.Vectors
- 5.18.字符串
- 5.19.泛型
- 5.20.Traits
- 5.21.Drop
- 5.22.if let
- 5.23.trait對象
- 5.24.閉包
- 5.25.通用函數調用語法
- 5.26.包裝箱和模塊
- 5.27.`const`和`static`
- 5.28.屬性
- 5.29.`type`別名
- 5.30.類型轉換
- 5.31.關聯類型
- 5.32.不定長類型
- 5.33.運算符和重載
- 5.34.`Deref`強制多態
- 5.35.宏
- 5.36.裸指針
- 6.Rust開發版
- 6.1.編譯器插件
- 6.2.內聯匯編
- 6.3.不使用標準庫
- 6.4.固有功能
- 6.5.語言項
- 6.6.鏈接參數
- 6.7.基準測試
- 6.8.裝箱語法和模式
- 6.9.切片模式
- 6.10.關聯常量
- 7.詞匯表
- 8.學院派研究
- 勘誤