ボイドセーフティ

void 安全性( null 安全性とも呼ばれる) は、オブジェクト指向プログラミング言語内で、オブジェクト参照にnullまたはvoid値が含まれないことを保証するものです。

オブジェクト指向言語では、オブジェクトへのアクセスは参照(または、同等のポインタ) を通じて行われます。一般的な呼び出しは次の形式になります。

xf(a, ...)

ここで、f は操作を表し、x は何らかのオブジェクトへの参照を表します。ただし、実行時には、参照はvoid (またはnull ) になることがあります。このような場合、上記の呼び出しはvoid 呼び出しとなり、実行時例外が発生し、プログラムが 異常終了することがよくあります。

void 安全性は、void 呼び出しが発生しないことを静的に (コンパイル時に) 保証するものです。

2009 年の講演で、Tony Hoare 氏は、ヌル ポインタの発明がALGOL W言語の設計にまで遡り、それを「間違い」と呼びました。

私はこれを 10 億ドルのミスと呼んでいます。それは 1965 年のヌル参照の発明でした。当時、私はオブジェクト指向言語 (ALGOL W) における参照用の最初の包括的な型システムを設計していました。私の目標は、すべての参照の使用が絶対に安全で、チェックはコンパイラによって自動的に実行されるようにすることでした。しかし、実装が非常に簡単であるという理由だけで、ヌル参照を入れたいという誘惑に抗うことができませんでした。これにより、無数のエラー、脆弱性、システム クラッシュが発生し、過去 40 年間でおそらく 10 億ドルの苦痛と損害が発生しました。^[1]

ベルトラン・マイヤーは「ボイドセーフティ」という用語を導入した。^[2]

void safety を保証するための初期の試みは、 Self プログラミング言語の設計でした。

Eiffel 言語は、ISO - ECMA標準に従って void 安全です。void安全メカニズムは、バージョン 6.1 以降の EiffelStudioに実装され、バージョン 6.4 以降の最新の構文を使用しています。

Microsoft Researchの研究用言語であるSpec#言語には、voidの安全性に対処する「非null型」の概念があります。.NETフレームワーク上で動作するMicrosoft Researchの機能優先言語であるF#言語は、他の.NET言語と相互運用する場合を除き、voidに対して安全です。^[3]

2011 年以降、いくつかの言語では、ユニオン型と交差型をサポートしています。これらを使用すると、コンパイル時に、値 null がその一意のインスタンスである特別なクラス Null を使用して、可能性のある null ポインターを検出できます。

型に基づく null 安全性は、最初にCeylonで登場し、その後すぐにTypeScriptに続きました。

C #言語はバージョン8以降、コンパイル時のnull安全性チェックを実装しています。ただし、言語の古いバージョンとの互換性を保つために、この機能はプロジェクトごとまたはファイルごとにオプトインされています。^[4]

GoogleのDart言語は、2018年8月のバージョン2.0からこれを実装している^{[5] [6]}

デフォルトでnull安全な型を使用する他の言語には、JetBrainsのKotlin、^[7] Rust、^[8] AppleのSwiftなどがあります。

• Null 許容型
• オプションタイプ
• 安全航行オペレーター