(undefined runtime behavior)」- Rust 陳述式的行為一律會 有定義 – 陣列存取行為會經過邊界檢查。 – 整數溢位的行為是明確的 (恐慌或迴繞)。 • 「現代化的語言特徵」- 具表現力且符合人因工程學的高階語言 – 列舉和模式配對。 – 泛型。 – 沒有 FFI 負擔。 – 零成本的抽象化機制。 – 更好的編譯錯誤描述。 – 內建依附元件管理工具。 – 內建測試支援。 – 卓越的語言伺服器通訊協定支援。 經過該變更後，編譯器會發現系統使用 b 的時間，只會在新可變動項透過 c 借用 a 之前。這是借用 檢查器中的功能，稱為「非詞彙生命週期」(non-lexical lifetimes)。 • 專屬參照的約束力很強。Rust 會利用這類參照，確保資料競爭的情形不會發生；此外，也會「透過」 這項約束，將程式碼最佳化。舉例來說，共用參照背後的值可以在該參照的生命週期內，安全地快取 到暫存器中。 • 借用檢查器