“Rust コードの基本原則は、それが健全であるということです。

“まもなく、健全性という用語の正式な定義を示します。それまでの あいだは、健全なコードとは、メモリ安全性の問題を引き起こせない コードだと考えてください。

“健全なコードは、健全な関数 と 健全な操作 で構成されます。

“健全な関数とは、考えられるどの入力も健全性の問題を引き起こしえない 関数のことです。

健全な関数には共通の形があります。

今から見ていくのは、その形です。

“まずは Safe Rust で実装されているものから始め、その後、さまざまな部分に unsafe を導入すると何が起こりうるかを見ていきます。