Rust,和它對安全的關注,提供了兩種不同的在不同類型間轉換的方式。第一個,`as`,用于安全轉換。相反,`transmute`允許任意的轉換,而這是Rust中最危險的功能之一!
## `as`
`as`關鍵字進行了基本的轉換:
~~~
let x: i32 = 5;
let y = x as i64;
~~~
然而,它只允許特定類型的轉換:
~~~
let a = [0u8, 0u8, 0u8, 0u8];
let b = a as u32; // four eights makes 32
~~~
這會報錯:
~~~
error: non-scalar cast: `[u8; 4]` as `u32`
let b = a as u32; // four eights makes 32
^~~~~~~~
~~~
它是一個“混合類型轉換”因為這里我們有多個值:數組的4個元素。這種類型的轉換灰常危險,因為它們假設了多個底層結構的實現方式。為此,我們需要一些更危險的東西。
## `transmute`
`transmute`函數由[編譯器固有功能](http://doc.rust-lang.org/nightly/book/intrinsics.html)提供,它做的工作非常簡單,不過非常可怕。它告訴Rust對待一個類型的值就像它是另一個類型一樣。它這樣做并不管類型檢查系統,并單單完全信任你。
在我們之前的例子中,我們知道一個有4個`u8`的數組可以正常代表一個`u32`,并且我們想要進行轉換。使用`transmute`而不是`as`,Rust允許我們:
~~~
use std::mem;
unsafe {
let a = [0u8, 0u8, 0u8, 0u8];
let b = mem::transmute::<[u8; 4], u32>(a);
}
~~~
為了使它編譯通過我們要把這些操作封裝到一個`unsafe`塊中。技術上講,只有`mem::transmute`調用自身需要位于塊中,不過在這個情況下包含所有相關的內容是有好處的,這樣你就知道該看哪了。在這例子中,`a`的細節也是重要的,所以它們放到了塊中。你會看到各種風格的代碼,有時上下文離得太遠,因此在`unsafe`中包含所有的代碼并不是一個好主意。
雖然`transmute`做了非常少的檢查,至少它確保了這些類型是相同大小的,這個錯誤:
~~~
use std::mem;
unsafe {
let a = [0u8, 0u8, 0u8, 0u8];
let b = mem::transmute::<[u8; 4], u64>(a);
}
~~~
和:
~~~
error: transmute called on types with different sizes: [u8; 4] (32 bits) to u64
(64 bits)
~~~
除了這些,你可以自行轉換!
- 前言
- 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.學院派研究
- 勘誤