Rust的秘訣在於：更精確的類型？

Sun, 14 Sep 2025 00:00:00 +0000

Ralf Levien 以其高效實現的全球最快字形渲染引擎而聞名，該引擎採用了非常巧妙的基於 Rust 的 SIMD 設計。 2023 年我在 Bestechnics 設計 SIMD GPU 時，他的工作給了我很大的啟發。後來，Ralf Levien 也開發了該字形渲染引擎的 GPU 版本。

所以，當我偶然看到他關於「Rust 如何獲勝：追求高效能、高可靠性軟體」的最新演講時，我決定花一個小時觀看演講，並從中汲取任何值得學習的見解。

問題陳述 Link to heading

緊張的部分（也稱為溺水區）大約從 55:00 開始，幻燈片標題為「Rust 秘方：更精確的字體」。

在 56 分 50 秒，Raph 說：“這就是仿射類型發揮作用的地方；你想把（可克隆性）建模為‘存在一個實例’；而這種類型允許你在函數簽名中仔細指定如何處理所有權；最後一個例子我就略過了，不過挺有意思的，對吧……”

我絕對不敢自稱是 Rust 專家，而且我承認自己更偏愛 Go——所以，問題是，我能理解 affine type 的真正意義嗎？能否用簡單易懂的語言解釋一下，而不用讓我淹沒在浩瀚的知識海洋中？

YouTube評論裡也提到了一個問題：最後一個函數的回傳類型應該是Cow<'a, [T]>，而不是Cow<&'a [T]>。說實話，這看起來比量子演算法還要複雜。但也許並非如此！

那麼，讓我們仔細看看這些「更精準的類型秘訣」的例子：