C# 16

C# 16は、Microsoftが開発するプログラミング言語の次期メジャーバージョンである。本バージョンでは、メモリ安全性の向上を目的としたunsafeキーワードの仕様変更が導入される。具体的には、unsafeを単なる構文上の許可証から、呼び出し側への制約を伝播させる「契約」へと再定義する。これにより、Rustのunsafe fnに近いモデルを採用し、危険なメモリ操作の責任の所在をコンパイラが追跡可能にする。また、型全体へのunsafe指定の禁止や、ドキュメントコメントによる安全条件の明示が推奨されるなど、コードレビューや監査の効率化を図る設計が盛り込まれている。