Rust 123 安全の境界 - 型とキーワードで引かれた線

第123章へようこそ。第122章で、式指向を語りました。すべてがを返し、データの流れがコードの表面に見える。今日のテーマは「安全の境界」です。Rustは安全な言語だと言われます。メモリ安全を保証し、データ競合を防ぐ。しかし、Rustのすべてのコードが安全なわけではありません。ハードウェアを直接操作する場面がある。他の言語で書かれたコードを呼び出す場面がある。コンパイラが検証できない不変条件を、人間が保証しなければならない場面がある。Rustはこれらの場面を禁止するのではなく、「安全な領域」と「安全でない領域」の境界を明確に引きます。その境界は、暗黙の規約ではない。unsafeというキーワードと、型システムの構造によって、コードに刻まれている。