不変オブジェクトタイプ

摘要

タイプ全体が、そのタイプのすべてのインスタンスが不変である場合に、不変であるものと宣言され得るという点で、システムプログラミングにおける安全性を向上させる言語拡張。不変タイプ宣言により、そのタイプのいずれのインスタンスも不変であるものとして自動的に扱われ、インスタンスのすべての直接または間接的に到達可能なメンバ（たとえばフィールド、メソッド、プロパティ）も、不変であるものとして自動的に扱われることになる。さらに、インスタンスのフィールド割り当てを可能にするいずれの構築時間基準も、その作成者がインスタンスにアクセスできるようになる時点を超えて存続し続けることはできない。したがって、このインスタンス、およびその同じタイプの任意の他のインスタンスは、構築時点から不変となる。こうしたすべてのインスタンスを不変として分類できることは、通常はリソースアクセスの安全性により許可されないアクションが、不変な特徴によって許可されるため、有益である。