在前面的「所有權（Ownership）」章節曾經介紹 Rust 是如何透過所有權的轉讓與出借，來決定是否要釋放不再使用的記憶體空間，但其實在介紹所有權的時候，我們有省略了一些東西。

Rust 有「借（Borrow）」的設計，不需要複製整份資料，只要用 & 做個參照或切片，就能透過參照直接取用原本的資料。但是想像一下，如果我做了一個 Slice 指向某個 Vector，萬一那個 Vector 因為某些因素被放掉了，那麼這個 Slice 會參照到什麼東西？原本指向的記憶體位置讓出來之後假設運氣好沒有被其它資料佔用的話，也許有機會拿回來，但萬一被其它資料佔用了呢？Rust 編譯器為了確保程式可以正確執行，所以不會允許這種懸空參照（dangling reference）可能造成的不確定性，在編譯階段就會直接被擋下來。

所以如果要正常運作的話，被指到的 Vector 就不能比參照它的 Slice 還早消失對吧。Rust 的編譯器有一個 Borrow Checker（以下簡稱 BC）的設計，它會檢查參照的生命週期，如果 Rust 編譯器發現參照的資料的生命週期比較短，也就是會比較早消失，編譯就不會通過。雖然 BC 的檢查可能會有點囉嗦甚至難理解，但它可以避免常見的像是「使用後釋放（use-after-free）」或「雙重釋放（double-free）」的記憶體問題，也是它被說是比較「安全」的原因。

除了先前介紹過的 Array、Tuple 以及 Vector 之外，在 Rust 裡還有個很常用的資料結構叫做「結構（Struct）」。因為 Struct 這個字本身就是「結構」的意思，為了避免「在 Rust 裡結構是一種資料結構」這樣看起來有點奇怪的句字，以下我就用 Struct 原文就好。

在上個章節提到可以使用 & 或是 &mut 的方式去借（Borrow）資源來用，因為是借來的所以資源的「所有權（Ownership）」不會改變。在上個章節我用「圖書館借書」的比喻其實有些不太精準，就以「借書」這個行為來比喻沒問題，不過圖書館的書不管能不能被劃線（mutable），因為實體物理限制的關係一次也只能借給一個人，但以 Rust 裡的 Vector 來說沒這種物理限制，只要是 immutable 的話一次可以出借給許多人，唯一的規定就是一次只能有一個 mutable 的參照。

在 Rust 裡「借」東西的時候，有時候候並不需要參照到整塊資料，也許只需要其中的一小塊，Rust 也可以讓你借一小片就好，這正是這個章節想跟大家介紹的，切片（Slice）。

前面幾個章節老實說只要有寫過一陣子程式的網站工程師，大概稍微對照一下語法基本上不會太難學，但從這個章節開始可能會有些不同。「所有權（Ownership）」的設計有點特別，沒意外的話，這可能是網站工程師學習 Rust 的時候第一個遇到的門檻，我不知道各位，但至少對我這種沒有天生神力的一般工程師來說就是個門檻。

這個章節跟 Rust 比較沒直接關連，比較像是計算機概論的科普時間。這個章節我們要跟大家介紹關於記憶體的 Stack 與 Heap。通常 Stack 中文會翻譯成「堆疊」，而 Heap 會翻譯成「堆積」，但我覺得中文翻譯好像沒比較容易懂，所以我們這裡就用英文原文就好。

在別的程式語言裡，我相信各位應該都寫過函數或是用過別人寫的函數，但在開始介紹語法之前，我想先問大家一個很簡單的問題：

什麼是函數（function）？

大家是否曾想過這個問題？還是因為學校老師或是書上說要寫函數就是 function 給它寫下去，還有什麼參數、回傳值什麼的...。我上課的時候很愛問同學們「為什麼」，例如「為什麼要寫函數？」這個問題，我大多會得到差不多是「因為可以重複使用」之類的答案。是沒錯啦，函數可以重複使用的確是使用函數的好處之一。那麼到底什麼是函數？

變數與常數

到這個章節才在介紹變數（Variable）與常數（Constant）似乎有點晚， 其實前面的章節已經在用了。如同其它程式語言的設計，Rust 也有變數跟常數的設計，不過 Rust 的變數有一些比較特別的地方，這也是 Rust 會被說比較「安全」的原因。

前面章節介紹了有純量型（Scalar）的資料型別，這個章節來看看複合型（Compound）的資料型別。複合型主要有陣列（array）跟元組（tuple）這兩種。

也許各位看到陣列會覺得「啊這個我知道，就是用一個中括號...」，基本上是沒錯啦，但 Rust 的陣列會跟你平常在 JavaScript 裡用的陣列不太一樣。