ワークフローへの影響

コードを書く際

  • あらゆる unsafe 関数/トレイトの前提条件を理解していることを確認する
  • 前提条件が満たされていることを確認する
  • safetyコメントに自分の根拠を記録する

コードレビューの強化

  • 自己レビュー → ピアレビュアー → unsafe Rust の専門家(必要に応じて)
  • コードとその根拠を十分に理解できる人にエスカレーションする

「unsafe キーワードはプログラマーにより大きな責任を課す。したがって、 より強固な開発ワークフローが必要になる。

「このクラスでは、コードレビューが必須であり、作成者と主レビュアーが unsafe Rust の専門家にアクセスできる、特定のソフトウェア開発ワークフローを前提としている。」

「作成者と主レビュアーは、単純な unsafe Rust コードは自分たちで検証し、 必要な場合には unsafe の専門家に委ねる。」

「unsafe Rust の専門家はごく少数しかおらず、しかも非常に多忙なので、 その時間を最適に使う必要がある。」