テクノロジー
Microsoft、Rust移行ではなくC#強化へ:unsafe再設計で安全性を底上げ
MicrosoftはC# 16で、メモリ安全性を高めるためunsafeキーワードの意味を大幅に変更する新モデルを発表した。 これにより、unsafeコードが「中で危険なことをする印」から「呼び出す側の契約」へと変わり、危険な操作の所在と責任がコンパイラ診断とドキュメントで追えるようになる。 この変更は、特にライブラリやネイティブ連携など低レベルな開発に影響を与え、レビューと監査の粒度を変える設計だ。